Top : Science : Math : Geometry : Algebraic Geometry :
Software
Websites
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.
site exerpt
CASA The system has been developed since 1990. CASA is the ongoing product of the Computer Algebra Group at the Research Institute for Symbolic Computation (RISC-Linz the University of Linz, Austria, under the direction of Prof. Winkler. The system is built...Mathematica program which calculates instanton numbers and other data for Calabi-Yau complete intersections in toric varieties by A. Klemm.
site exerpt
It works in two modes for the cases: a Hypersurfaces and complete intersections in non singular (products of weighted) projective spaces, such as the Quintic or the Tian-Yau manifold. Load the program in a Mathematica session List lpw=Select[lpw,Plus 1 h*z[u...A tool to visualize real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces.
site exerpt
surf Home The algorithms should be stable enough not to be confused by curve/surface singularities in codimension greater than one and the degree of the surface or curve. This has been achieved quite a bit. We have drawn curves of degree up...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.
site exerpt
Programs for certain computations on genus 2 curves and their Jacobians The programs below can be used to do the following: 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...C code which computes the Hodge number of complete intersection Calabi-Yau manifolds embedded in products of ordinary projective spaces.
site exerpt
The program prompts you for the dimension of the complete intersection, the number and dimensions of factor CP's in the embedding space and the degrees of homogeneity of the constraint equations. It then produces the tangent- and normal-bundle valued spectral...Algebraic geometry tookit for the computation and visualization of algebraic equations. FTP download.
site exerpt
Ganith H is an algebraic geometry tookit, used for the computation and visualization of algebraic equations. It also provides the computational mathematics infrastructure for the Shastra toolkits. Example applications of this for geometric modeling and computer graphics are algebraic curve and...Algorithms coded in Maple for computing with algebraic curves. The main algorithm computes an integral basis of an algebraic function field using Puiseux expansions.
site exerpt
IntBasis A more recent version of the code below is contained in Maple V release 5, and is available here. IntBasis is a maple package which contains a number of algorithms for computing with algebraic curves. The purpose of this html...Examples, test files, plots, documentation.
site exerpt
The algcurves package in Maple. Help page for the algcurves package Source code of algcurves in Maple V Release 5. Older version (called IntBasis) of this software and some more examples and plots. Other sources of software: the algebraic geometry package CASA. If you have...Magma package files by Michael Stoll.
site exerpt
Index of /stoll/magma I used for the demonstrations I gave at the Magma workshop at the Institut Henri Poincare in Paris in the first week of October 2004. They are designed to work with Magma version 2.11; the precise behavior will depend on...Package for Algebraic Function Fields in one variable. Based on Axiom. Source code is available.
site exerpt
Package for Algebraic Function Fields in one variable F is a package written in Axiom and one of its many purpose is to construct geometric Goppa codes (also called algebraic geometric codes or AG-codes I wrote this package in the frame work of my doctorate thesis on Effective...A Computational Algebra system for algebra, number theory and geometry.
site exerpt
Magma Computational Algebra System Home Page It provides a mathematically rigorous environment for computing with algebraic, number-theoretic, combinatoric and geometric objects. Recent Notices: August 18, 2005: The programme for the MAGMA Workshop on Group Theory and Algebraic Geometry in Warwick, UK is now available. July 8,...