Questions of decidability and undecidability in number theory
Journal of Symbolic Logic
An algorithm of Katz and its application to the inverse Galois problem
Journal of Symbolic Computation - Algorithmic methods in Galois Theory
Discrete & Computational Geometry
From an approximate to an exact absolute polynomial factorization
Journal of Symbolic Computation
Hi-index | 5.23 |
The Hodge conjecture implies decidability of the question whether a given topological cycle on a smooth projective variety over the field of algebraic complex numbers can be represented by an algebraic cycle. We discuss some details concerning this observation, and then propose that it suggests going on to actually implement an algorithmic search for algebraic representatives of classes which are known to be Hodge classes.