|
Needs
|
Theoretical: | *
|
simple facts from algebraic geometry, singularity theory,
finite fields;
|
| * |
theorem of Hasse-Weil, estimating the number of
rational points on an absolutely irreducible
projective curve C defined over a finite field (g=arithmetic genus=25):
# C
( Fp ) > p+1 - 2g*sqrt(p)
(> 0 if p>2530);
|
| * |
simple facts from the theory of standard bases;
|
|
Computational: | * |
Gröbner basis computations without content
extractions
|
| * |
multivariate factorization
|
| * |
resolution of plane curve singularities
|
| * |
primary decomposition
|
|