• Surf

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

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

  • Referenced in 8 articles [sw07179]
  • integrated into existing geometry tools. Of algebraic geometry theorem provers it implements...
  • GANITH

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

  • Referenced in 6 articles [sw12351]
  • Java applets for classification problems in geometry and algebra. I briefly describe an on-going ... 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...
  • Surfer

  • Referenced in 7 articles [sw00931]
  • program to visualize real algebraic geometry in real-time. The surfaces visualized are given...
  • Bertini.m2

  • Referenced in 7 articles [sw08784]
  • Bertini for Macaulay2. Numerical algebraic geometry is the field of computational mathematics concerning the numerical...
  • 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 78 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]
  • Riemann-Roch problem and applications in Algebraic Geometry codes. The computation of Weierstrass semigroups...
  • 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...
  • Lugares

  • Referenced in 16 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...
  • GRTensorII

  • Referenced in 36 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...
  • Singularity

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

  • Referenced in 4 articles [sw03223]
  • Intersection algorithms for geometry based IT-applications using approximate algebraic methods” combines knowledge from Computer ... Aided Geometric Design (CAGD) and classical algebraic geometry to improve intersection algorithms for Computer Aided...
  • DifferentialGeometry

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