| 1. | CASA 2.3 | | | Computer Algebra Software for constructive Algebraic geometry. Designed for performing computations and reasoning about geometric objects in classical algebraic geometry, in particular affine and projective algebraic geometry over an algebraically closed field of characteristic 0.
www.risc.uni-linz.ac.at |
| 2. | INSTANTON | | | Mathematica program which calculates instanton numbers and other data for Calabi-Yau complete intersections in toric varieties by A. Klemm.
www.th.physik.uni-bonn.de |
| 3. | surf | | | A tool to visualize real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces.
surf.sourceforge.net |
| 4. | Computing with the Jacobian of a Genus 2 Curve | | | Pari/GP and Mathematica code to: Compute an equation for a genus 2 curve with a given Jacobian; Move points between the analytic Jacobian (as a torus) and the algebraic Jacobian (as a variety); Work with a fundamental domain for 2 dimensional Siegel upper half-space.
www.math.lsu.edu |
| 5. | TESS | | | C code which computes the Hodge number of complete intersection Calabi-Yau manifolds embedded in products of ordinary projective spaces.
www.th.physik.uni-bonn.de |
| 6. | Ganith | | | Algebraic geometry tookit for the computation and visualization of algebraic equations. FTP download.
www.ticam.utexas.edu |
| 7. | IntBasis | | | Algorithms coded in Maple for computing with algebraic curves. The main algorithm computes an integral basis of an algebraic function field using Puiseux expansions.
www.math.fsu.edu |
| 9. | PAFF | | | Package for Algebraic Function Fields in one variable. Based on Axiom. Source code is available.
www-rocq.inria.fr |
| | |