|
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=12):
# C
( Fp ) > p+1 - 2g*sqrt(p)
(> 0 if p>572);
|
| * |
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.
|
|