• Magma

  • Referenced in 3137 articles [sw00540]
  • well-supported software package designed for computations in algebra, number theory, algebraic geometry and algebraic...
  • SageMath

  • Referenced in 1859 articles [sw00825]
  • open-source 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...
  • Cabri-geometry

  • Referenced in 114 articles [sw04928]
  • Cabri-geometry is a software for learning geometry mainly at school. Now Cabri software ... mathematicians, education specialists, and practising teachers. Cabri-geometry 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 Reaction-Diffusion 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...