
Magma
 Referenced in 3137 articles
[sw00540]
 wellsupported software package designed for computations in algebra, number theory, algebraic geometry and algebraic...

SageMath
 Referenced in 1859 articles
[sw00825]
 opensource math software that supports research and teaching in algebra, geometry, number theory, cryptography...

Macaulay2
 Referenced in 1841 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra...

Bertini
 Referenced in 243 articles
[sw06683]
 Bertini™: Software for Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using...

Cinderella
 Referenced in 153 articles
[sw00127]
 Interactive Geometry Software. Besides support for dynamic geometry, Cinderella.2 has many features that broaden...

Cabrigeometry
 Referenced in 114 articles
[sw04928]
 Cabrigeometry is a software for learning geometry mainly at school. Now Cabri software ... mathematicians, education specialists, and practising teachers. Cabrigeometry is used for teaching secondary school geometry...

GeoGebra
 Referenced in 374 articles
[sw04203]
 platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing ... package. It has received several educational software awards in Europe and the USA. Quick Facts...

polymake
 Referenced in 312 articles
[sw00724]
 polymake is open source software for research in polyhedral geometry. It deals with polytopes, polyhedra...

Voronoi
 Referenced in 82 articles
[sw21795]
 page or the Directory of Computational Geometry Software...

COMSOL
 Referenced in 435 articles
[sw04091]
 simulation software environment facilitates all steps in the modeling process − defining your geometry, meshing, specifying...

SparseMatrix
 Referenced in 686 articles
[sw04629]
 those that typically do not have such geometry (optimization, circuit simulation, economic and financial modeling ... other networks and graphs). We provide software for accessing and managing the Collection, from MATLAB...

GEX
 Referenced in 35 articles
[sw09961]
 Geometry Expert (GEX) is a software for dynamic diagram drawing and automated geometry theorem ... proving and discovering. As a dynamic geometry software, GEX can be used to build dynamic ... software, we can build dynamic logic models which can do reasoning themselves. 1) Geometry Expert ... geometry throerms. 2) By dynamic visual models, we mean models built by computer softwares that...

HOM4PS
 Referenced in 78 articles
[sw00410]
 Michael E. (ed.) et al., Software for algebraic geometry. Papers of a workshop, Minneapolis...

FGb
 Referenced in 246 articles
[sw00286]
 algorithms. Secondly, in conjunction with other software, the FGb library has been used in various ... applications (Robotic, Signal Theory, Biology, Computational Geometry, . . . ) and more recently to a wide range...

GeoThms
 Referenced in 25 articles
[sw06216]
 exploring geometrical knowledge that integrates dynamic geometry software (DGS), automatic theorem provers ... system aimed at supporting studying and teaching geometry via internet. GeoThms is a publicly accessible...

URDME
 Referenced in 25 articles
[sw10400]
 processes in complex geometries. We have developed URDME, a flexible software framework for general stochastic ... triangular and tetrahedral meshes to resolve general geometries, and relies on the ReactionDiffusion Master ... interface to a mature geometry and mesh handling external software (Comsol Multiphysics) provides ... computational efficiency. The connection to the geometry handling software is realized via a Matlab interface...

LEDA
 Referenced in 262 articles
[sw00509]
 structures, graph and network algorithms, and computational geometry  LEDA is the first library to cover ... worldwide on a variety of hardware, the software is installed at hundreds of sites. This ... researchers in algorithms, data structures and computational geometry...

CandS
 Referenced in 108 articles
[sw07308]
 Originally the software consisted of 17 Mathematica Packages written by Alfred Gray ... connection with his book ”Modern Differential Geometry of Curves and Surfaces” and collected ... Rolf Sulanke. Thus now, with the software CandS, we have more than 200 functions ... surfaces collected by Alfred Gray complete the software as a useful tool for Mathematica users...

GeoProof
 Referenced in 17 articles
[sw05737]
 This program is an interactive geometry software with proof related features. The project consist ... producing an interactive proof software for geometry. GeoProof can communicate with the Coq proof assistant...

elsA
 Referenced in 36 articles
[sw07602]
 also available for complex geometry configurations. elsA software package includes an important software module dealing...