Localization in Gromov - Witten Theory of Toric Varieties in a Computer Algebra System.

Giosuè Muratore

Published in: ICMS (2024)

Keyphrases

computer algebra
theorem prover
face recognition
learning algorithm
information systems
theoretical framework
first order logic
hausdorff distance
computer algebra systems