
Paramotopy
 Referenced in 11 articles
[sw08781]
 long been known in the numerical algebraic geometry community that parameter homotopies provide a powerful...

OpenGeoProver
 Referenced in 9 articles
[sw07179]
 integrated into existing geometry tools. Of algebraic geometry theorem provers it implements...

Surfer
 Referenced in 10 articles
[sw00931]
 program to visualize real algebraic geometry in realtime. The surfaces visualized are given...

Surf
 Referenced in 8 articles
[sw04923]
 tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections...

GANITH
 Referenced in 9 articles
[sw10142]
 GANITH algebraic geometry toolkit. We are building a generalpurpose tool for computing and visualizing ... solutions to systems of algebraic equations. Diverse algorithms exist for this problem and related...

Bertini.m2
 Referenced in 8 articles
[sw08784]
 Bertini for Macaulay2. Numerical algebraic geometry is the field of computational mathematics concerning the numerical...

Vessiot
 Referenced in 6 articles
[sw12351]
 Java applets for classification problems in geometry and algebra. I briefly describe an ongoing ... classification problems in geometry and algebra. The first problem we are currently working on deals ... classification of low dimensional Lie algebras. The software which supports our work on these ... Maple programs for computations in differential geometry, Lie algebras and the variational calculus...

Zeta
 Referenced in 7 articles
[sw13746]
 Programme “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory...

Polyhedra
 Referenced in 7 articles
[sw12128]
 important role in numerous areas of algebraic geometry. The package Polyhedra enables one to work ... create convex polyhedral objects from some algebraic objects...

StronglyStableIdeals
 Referenced in 7 articles
[sw27084]
 tool in commutative algebra and algebraic geometry. These ideals have nice combinatorial properties that make...

FINSLER
 Referenced in 12 articles
[sw00290]
 FINSLER: a computer algebra package for Finsler geometries: Symbolic Finsler geometry. The paper presents ... Finsler package, a computer algebra program based on Maple, which proposes itself as a tool ... mathematical modelling based on differential geometry and/or ordinary differential equations in diverse fields of science...

GRAPE
 Referenced in 83 articles
[sw07516]
 analysing graphs related to groups, finite geometries, and designs. The vast majority of GRAPE functions ... Brendan McKay’s nauty package. Computer algebra system...

brnoeth.lib
 Referenced in 6 articles
[sw10905]
 RiemannRoch problem and applications in Algebraic Geometry codes. The computation of Weierstrass semigroups...

MathCheck
 Referenced in 6 articles
[sw13642]
 topic (e.g., graph and number theory, algebra, geometry, etc.) supported by the underlying CAS system...

Stacks Project
 Referenced in 3 articles
[sw31299]
 source textbook and reference work on algebraic geometry. The Stacks project is an ever growing ... work on algebraic stacks and the algebraic geometry needed to define them. Here are some ... graduate students and researchers in algebraic geometry. The aim is to build algebraic geometry...

SARAG
 Referenced in 3 articles
[sw00826]
 software library for real algebraic geometry written in the free computer algebra system Maxima ... stands for “Some Algorithms in Real Algebraic Geometry” and has two main applications: extending ... Maxima in the field of real algebraic geometry and being part of the interactive version ... book “Algorithms in Real Algebraic Geometry” by S. Basu, R. Pollack, M.F. Roy [Berlin...

GRTensorII
 Referenced in 40 articles
[sw00393]
 computer algebra package for performing calculations in the general area of differential geometry. Its purpose ... stand alone package, but requires an algebraic engine. The program was originally developed for MapleV.GRTensorII...

Lugares
 Referenced in 17 articles
[sw09861]
 dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized ... consists of the link between the dynamic geometry paradigm and a symbolic approach to automatic ... geometry. Through this link Lugares determines as a locus almost any algebraic curve specified...

Singularity
 Referenced in 5 articles
[sw20306]
 Many tools and techniques from computational algebraic geometry have been used to develop Singularity. However...

DifferentialGeometry
 Referenced in 18 articles
[sw07593]
 calculus on manifolds, differential geometry, tensor calculus, spinor calculus, Lie algebras, Lie groups, transformation groups...