×

Found 55 Software Packages (Results 1–55)

Bertini

Cited in 306 Documents (2008–2024)
Software Authors: Bates, D.; Hauenstein, J.; Sommese, A.; Wampler, C.
Related Software: PHCpack; Macaulay2; HOM4PS; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

QEPCAD

Cited in 304 Documents (1991–2024)
Software Authors: Hong, Hoon; Brown, Christopher W.
Related Software: REDLOG; Maple; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

LEDA

Cited in 272 Documents (1990–2024)
Software Authors: Mehlhorn, Kurt; Näher, Stefan
Related Software: CGAL; CPLEX; Hull; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PHCpack

Cited in 256 Documents (1999–2024)
Software Authors: Verschelde, Jan
Related Software: Bertini; Macaulay2; HOM4PS; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

FGb

Cited in 252 Documents (1998–2023)
Software Authors: Faugère, J. C.
Related Software: Magma; SINGULAR; Maple; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

ISOLATE

Cited in 243 Documents (1999–2024)
Software Authors: Rouillier, Fabrice; Zimmermann, Paul
Related Software: Kronecker; FGb; Maple; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Kronecker

Cited in 134 Documents (2000–2024)
Software Authors: M. Giusti, G. Lecerf; B. Salvy; Eric Schost, Lutz Lehmann, Xavier Suraud
Related Software: ISOLATE; RAGlib; FGb; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

RegularChains

Cited in 93 Documents (2005–2023)
Software Authors: Lemaire, F.; Moreno Maza, M.; Xie, Y.
Related Software: Maple; SINGULAR; QEPCAD; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

na20

Cited in 83 Documents (2000–2024)
Software Authors: Bini, Dario Andrea; Fiorentino, Giuseppe
Related Software: na10; ISOLATE; mctoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Functions of a complex variable (30-XX); …

DISCOVERER

Cited in 72 Documents (1999–2024)
Software Authors: Xia, B.
Related Software: QEPCAD; Maple; REDLOG; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

alphaCertified

Cited in 71 Documents (2011–2024)
Software Authors: Hauenstein, Jonathan D.; Sottile, Frank
Related Software: Bertini; Macaulay2; PHCpack; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

RAGlib

Cited in 70 Documents (2003–2023)
Software Authors: Faugere, Jean-Charles; Din, Mohab Safey El
Related Software: Kronecker; FGb; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

DIFFALG

Cited in 62 Documents (2000–2020)
Software Authors: Boulier, F.; Hubert, E
Related Software: AIDA; Maple; DifferentialThomas; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

CHomP

Cited in 61 Documents (2006–2024)
Software Authors: http://chomp.rutgers.edu/People.html
Related Software: GAP; RedHom; CAPD; …
Main Fields: Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); …

na10

Cited in 55 Documents (1996–2024)
Software Authors: Bini, Dario Andrea
Related Software: na20; mctoolbox; ISOLATE; …
Main Fields: Field theory and polynomials (12-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); …

Epsilon

Cited in 52 Documents (2002–2024)
Software Authors: Wang, Dongming
Related Software: Maple; RegularChains; ISOLATE; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

MPFI

Cited in 50 Documents (1979–2023)
Software Authors: Revol, Nathalie; Rouillier, Fabrice
Related Software: MPFR; C-XSC 2.0; gmp; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

SingSurf

Cited in 34 Documents (1994–2024)
Software Authors: Morris, R
Related Software: SINGULAR; Mantissa; AIM@SHAPE; …
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); …

F5C

Cited in 34 Documents (2010–2023)
Software Authors: Eder, C.; Perry, J.
Related Software: SINGULAR; Maple; Magma; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …

insulate

Cited in 26 Documents (2005–2024)
Software Authors: Seidel, Raimund; Wolpert, Nicola
Related Software: Axel; ISOLATE; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Axel

Cited in 24 Documents (2005–2024)
Software Authors: Wintz, Julien; Mourrain, Bernard; Ducoffe, Anaïs; Perrinel, Meriadeg; Mantzaflaris, Angelos
Related Software: insulate; SINGULAR; SYNAPS; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX); …

EXACUS

Cited in 21 Documents (2001–2011)
Software Authors: Berberich, Eric; Eigenwillig, Arno; Hemmer, Michael; Hert, Susan; Kettner, Lutz; Mehlhorn, Kurt; Reichel, Joachim; Schmitt, Susanne; Schömer, Elmar; Wolpert, Nicola
Related Software: CGAL; LEDA; ISOLATE; …
Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

SYNAPS

Cited in 24 Documents (2002–2009)
Software Authors: Mourrain, B.; Pavone, J. P.; Trebuchet, Ph.; Tsigaridas, E.
Related Software: ISOLATE; na10; SINGULAR; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

MAPC

Cited in 23 Documents (1999–2012)
Software Authors: Keyser, J.; Culver, T.; Manocha, D.; Krishnan., S.
Related Software: LEDA; CGAL; EXACUS; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); …

CharacteristicClasses

Cited in 21 Documents (2015–2024)
Software Authors: Helmer, M.; Jost, C.
Related Software: Macaulay2; CSM-A; FMPIntersectionTheory; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

POLSYS_PLP

Cited in 18 Documents (1999–2014)
Software Authors: Wise, Steven M.; Sommese, Andrew J.; Watson, Layne T.
Related Software: PHCpack; HOMPACK90; PHoM; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Lgp

Cited in 17 Documents (2009–2023)
Software Authors: Cheng, J. S.; Gao, X. S.; Li, J.
Related Software: ISOLATE; insulate; CGAL; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Functions of a complex variable (30-XX); …

Projective Noether

Cited in 17 Documents (2000–2024)
Software Authors: Giusti, Marc; Hägele, Klemens; Lecerf, Grégoire; Marchand, Joël; Salvy, Bruno
Related Software: Kronecker; SINGULAR; FGb; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

ANewDsc

Cited in 15 Documents (2016–2023)
Software Authors: Kobel, Alexander; Rouillier, Fabrice; Sagraloff, Michael
Related Software: ISOLATE; Ccluster; Arb; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Functions of a complex variable (30-XX); …

Bertini_real

Cited in 15 Documents (2014–2023)
Software Authors: Brake, Daniel A.; Bates, Daniel J.; Hao, Wenrui; Hauenstein, Jonathan D.; Sommese, Andrew J.; Wampler, CharlesW.
Related Software: Bertini; Kronecker; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

modpn

Cited in 14 Documents (2009–2022)
Software Authors: Li, Xin; Moreno Maza, Marc; Rasheed, Raqeeb; Schost, Éric
Related Software: Magma; Maple; ISOLATE; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

SqFreeEVAL

Cited in 13 Documents (2012–2024)
Software Authors: Burr, Michael A.; Krahmer, Felix
Related Software: ISOLATE; na20; gmp; …
Main Fields: Algebraic geometry (14-XX); Real functions (26-XX); Functions of a complex variable (30-XX); …

ESOLID

Cited in 11 Documents (2005–2023)
Software Authors: Keyser, J.; Culver, T.; Foskey, M.; Krishnan, S.; Manocha, D.
Related Software: MAPC; ISOLATE; EXACUS; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …

intpakX

Cited in 12 Documents (2003–2023)
Software Authors: Krämer, Walter
Related Software: Maple; INTLAB; C-XSC 2.0; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

FMPIntersectionTheory

Cited in 10 Documents (2017–2023)
Software Authors: Harris, C.
Related Software: CharacteristicClasses; CSM-A; Macaulay2; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

RealCertify

Cited in 10 Documents (2018–2023)
Software Authors: Magron, Victor; Din, Mohab Safey El
Related Software: TSSOS; SeDuMi; Mosek; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

SPECTRA

Cited in 10 Documents (2016–2024)
Software Authors: Henrion, Didier; Naldi, Simone; Din, Mohab Safey El
Related Software: FGb; Maple; Kronecker; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); …

Chordal

Cited in 10 Documents (2016–2023)
Software Authors: Cifuentes, Diego; Parrilo, Pablo A.
Related Software: SINGULAR; DISCOVERER; DifferentialThomas; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Wsolve

Cited in 10 Documents (2005–2023)
Software Authors: Wang, D.K
Related Software: RegularChains; Maple; Epsilon; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Xcas

Cited in 10 Documents (2010–2018)
Software Authors: Parisse, B.
Related Software: Giac; SINGULAR; SageMath; …
Main Fields: Number theory (11-XX); Geometry (51-XX); Numerical analysis (65-XX); …

NoetherianOperators

Cited in 7 Documents (2022–2023)
Software Authors: Chen, Justin; Cid-Ruiz, Yairon; Härkönen, Marc; Krone, Robert; Leykin, Anton
Related Software: Macaulay2; primdecSYCI.lib; syci.m2; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX); …

CylindricalAlgebraicDecompose

Cited in 7 Documents (2014–2022)
Software Authors: Chen, Changbo; Moreno Maza, Marc
Related Software: RegularChains; SMT-LIB; Theoryguru; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

NumericalCertification

Cited in 6 Documents (2019–2023)
Software Authors: Lee, Kisun
Related Software: Macaulay2; alphaCertified; PHCpack; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

SegreClasses

Cited in 7 Documents (2020–2024)
Software Authors: Helmer, Martin; Harris, Corey
Related Software: Macaulay2; CharacteristicClasses; CSM-A; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

primdecSYCI.lib

Cited in 5 Documents (2011–2023)
Software Authors: Noro, M.
Related Software: syci.m2; Macaulay2; Risa/Asir; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Special functions (33-XX); …

SARAG

Cited in 5 Documents (2003–2008)
Software Authors: Caruso, Fabrizio
Related Software: FGb; QEPCAD; RAGlib; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

syci.m2

Cited in 5 Documents (2011–2023)
Software Authors: Noro, M.
Related Software: primdecSYCI.lib; Macaulay2; Risa/Asir; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Special functions (33-XX); …

MILONGA

Cited in 2 Documents (2002–2008)
Software Authors: Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R.
Related Software: Projective Noether; Kronecker; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

PTOPO

Cited in 2 Documents (2020–2023)
Software Authors: Katsamaki, Christina; Rouillier, Fabrice; Tsigaridas, Elias; Zafeirakopoulos, Zafeirakis
Related Software: ISOLATE; Maple
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)

Xalci

Cited in 2 Documents (2008–2013)
Software Authors: Emeliyanenko, Pavel; Kerber, Michael
Related Software: 2D Arrangement; CGAL; CUDA; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX)

Algebraic kernel

Cited in 1 Document (2013)
Software Authors: Berberich, E.; Hemmer, M.; Lazard, S.; Peñaranda, L.; Teillaud, M.
Related Software: CUDA; 2D Arrangement; Maple; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)

DetNorPos.mpl

Cited in 1 Document (2020)
Software Authors: M.-Alizadeh, Benyamin; Hashemi, Amir
Related Software: ISOLATE; Bertini; Kronecker
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

galeDuality

Cited in 1 Document (2016)
Software Authors: Bates, D.J.; Hauenstein, J.D.; Niemerg, M.E.; Sottile, F.
Related Software: ISOLATE; alphaCertified; Bertini
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX)

NumericSolutions

Cited in 1 Document (2020)
Software Authors: Menini, L.; Possieri, C.; Tornambe, A.
Related Software: ISOLATE; PHCpack; Mathematica; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX); Systems theory; control (93-XX)

RS3

Cited in 1 Document (2019)
Software Authors: Rouillier, Fabrice
Related Software: ISOLATE; RAGlib; MPFI; …
Main Fields: Commutative algebra (13-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field