Maple Cited in 5,487 Documents (1983–2024) Software Authors: Waterloo Maple Inc. Related Software: Mathematica; Matlab; Magma; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
REDUCE Cited in 746 Documents (1970–2024) Software Authors: Hearn, Anthony C.; Rayna, Gerhard; Schöpf, Rainer; Sturm, Thomas Related Software: Maple; Mathematica; MACSYMA; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Sostools Cited in 344 Documents (2002–2024) Software Authors: Prajna, Stephen; Papachristodoulou, Antonis; Seiler, Peter; Parrilo, Pablo A. Related Software: SeDuMi; YALMIP; GloptiPoly; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HyTech Cited in 325 Documents (1996–2024) Software Authors: Henzinger, Tom; Ho, Pei-Hsin; Wong-Toi., Howard Related Software: Uppaal; PHAVer; Kronos; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
QEPCAD Cited in 302 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); …
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); …
SMT-LIB Cited in 233 Documents (2004–2024) Software Authors: Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare Related Software: z3; CVC4; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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); …
REDLOG Cited in 171 Documents (1997–2024) Software Authors: Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker Related Software: QEPCAD; z3; Maple; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-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 92 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); …
MathSAT5 Cited in 83 Documents (2013–2024) Software Authors: Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto Related Software: z3; CVC4; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
RSOLVER Cited in 78 Documents (2003–2023) Software Authors: Ratschan, Stefan Related Software: HSolver; Benchmarks; QEPCAD; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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); …
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); …
MetiTarski Cited in 58 Documents (2008–2024) Software Authors: Akbarpour, Behzad; Paulson, Lawrence C. Related Software: QEPCAD; z3; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
AIDA Cited in 51 Documents (2007–2014) Software Authors: Hubert, Evelyn Related Software: DIFFALG; Maple; FGb; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX); …
PENBMI Cited in 57 Documents (2007–2024) Software Authors: GbR, PENOPT Related Software: YALMIP; SeDuMi; HIFOO; … Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); …
Binomials.m2 Cited in 39 Documents (2010–2022) Software Authors: Kahle, T. Related Software: Macaulay2; 4ti2; SINGULAR; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
d/dt Cited in 40 Documents (2002–2022) Software Authors: Asarin, Eugene; Dang, Thao; Maler, Oded Related Software: HyTech; PHAVer; SpaceEx; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
GeneratingFunctions Cited in 34 Documents (2000–2024) Software Authors: Mallinger, Christian Related Software: gfun; SIGMA; ore_algebra; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …
SYNRAC Cited in 29 Documents (2003–2024) Software Authors: Anai, Hirokazu; Yanami, Hitoshi Related Software: QEPCAD; Maple; REDLOG; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
PGB Cited in 26 Documents (1996–2024) Software Authors: Nabeshima, Katsusuke Related Software: SINGULAR; dpgb; Risa/Asir; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Partial differential equations (35-XX); …
SMT-RAT Cited in 26 Documents (2013–2024) Software Authors: Corzilius, F.; Kremer, G.; Junges, S.; Schupp, S.; Ábrahám, E. Related Software: z3; SMT-LIB; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …
SACLIB Cited in 23 Documents (1993–2009) Software Authors: Richardson, David G.; Krandick, Werner Related Software: QEPCAD; Maple; FOXBOX; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
MESSI Cited in 24 Documents (2018–2023) Software Authors: Millán, Mercedes Pérez; Dickenstein, Alicia Related Software: REDLOG; QEPCAD; Maple; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …
JavaView Cited in 17 Documents (2002–2019) Software Authors: Polthier, K.; Preuss, E.; Hildebrandt, K.; Reitebuch, U. Related Software: polymake; cdd; Macaulay2; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX); …
Orbital library Cited in 19 Documents (2008–2024) Software Authors: Platzer, André Related Software: z3; KeYmaera; QEPCAD; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
SumCracker Cited in 18 Documents (2006–2022) Software Authors: Kauers, Manuel Related Software: GeneratingFunctions; Mathematica; QEPCAD; … Main Fields: Combinatorics (05-XX); Special functions (33-XX); Difference and functional equations (39-XX); …
AQCS Cited in 15 Documents (2000–2023) Software Authors: Ratschan, S Related Software: QEPCAD; IbexOpt; Numerica; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-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); …
Resultants Cited in 14 Documents (2014–2024) Software Authors: Staglianò, Giovanni Related Software: Macaulay2; GitHub; SparseResultants; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Aligator Cited in 13 Documents (2008–2024) Software Authors: Kovács, Laura Related Software: Mathematica; fastZeil; Dependencies; … Main Fields: Combinatorics (05-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …
DSGRN Cited in 13 Documents (2016–2024) Software Authors: Harker, Shaun Related Software: GitHub; JBool; OpenOrd; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Ordinary differential equations (34-XX); …
LINLBF Cited in 11 Documents (1990–2023) Software Authors: Khibnik, A.I. Related Software: AUTO; CANDYS/QA; REDUCE; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
SDeval Cited in 11 Documents (2013–2020) Software Authors: Heinle, A.; Levandovskyy, V. Related Software: SymbolicData; SINGULAR; Maple; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …
TDDS Cited in 11 Documents (2019–2023) Software Authors: Gerdt, Vladimir P.; Lange-Hegermann, Markus; Robertz, Daniel Related Software: DifferentialThomas; Maple; Janet; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-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); …
Theoryguru Cited in 10 Documents (2018–2024) Software Authors: Mulligan, Casey B.; Davenport, James H.; England, Matthew Related Software: QEPCAD; Scikit; SATzilla; … Main Fields: Algebraic geometry (14-XX); Statistics (62-XX); Numerical analysis (65-XX); …
BOTTEMA Cited in 9 Documents (1969–2020) Software Authors: Lu, YANG; Shi-Hong, XIA Related Software: Maple; DISCOVERER; QEPCAD; … Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Geometry (51-XX); …
ProjectionCAD Cited in 8 Documents (2014–2020) Software Authors: England, Matthew; Wilson, David; Bradford, Russell; Davenport, James H. Related Software: RegularChains; QEPCAD; MetiTarski; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-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); …
PoCaB Cited in 7 Documents (2012–2015) Software Authors: Samal, Satya Swarup; Errami, Hassan; Weber, Andreas Related Software: BioModels; polymake; z3; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
GeoGebra Discovery Cited in 5 Documents (2021–2024) Software Authors: Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar Related Software: GeoGebra; Tarski; realgeom; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Geometry (51-XX); …
Tarski Cited in 5 Documents (2018–2024) Software Authors: Brown, Christopher W. Related Software: GeoGebra Discovery; GeoGebra; QEPCAD; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Geometry (51-XX); …
BranchCuts Cited in 5 Documents (2013–2019) Software Authors: England, Matthew; Bradford, Russell; Davenport, James H.; Wilson, David Related Software: MetiTarski; QEPCAD; Maple; … Main Fields: Algebraic geometry (14-XX); Computer science (68-XX)
ConstructibleSetTools Cited in 5 Documents (2008–2019) Software Authors: – Related Software: ParametricSystemTools; RegularChains; Maple; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …
GUARDIAN Cited in 5 Documents (1997–2021) Software Authors: Dolzmann, Andreas; Sturm, Thomas Related Software: REDLOG; QEPCAD; TDDS; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); …
ParametricSystemTools Cited in 5 Documents (2008–2019) Software Authors: – Related Software: ConstructibleSetTools; RegularChains; Maple; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …
PHCpack Cited in 5 Documents (2013–2024) Software Authors: Gross, Elizabeth; Petrović; Verschelde, Jan Related Software: PHCpack; DISCOVERER; Macaulay2; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-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); …
CoincidentRootLoci Cited in 3 Documents (2018–2021) Software Authors: Brambilla, Maria Chiara; Staglianò, Giovanni Related Software: Macaulay2; Resultants; Cremona; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX)
realgeom Cited in 2 Documents (2021–2024) Software Authors: Vajda, R.; Kovács, Z. Related Software: GeoGebra Discovery; GeoGebra; REDLOG; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Geometry (51-XX); …
Algebraic Numbers Cited in 2 Documents (2019–2022) Software Authors: Thiemann, René; Yamada, Akihisa; Joosten, Sebastiaan Related Software: Isabelle; Archive Formal Proofs; Isabelle/HOL; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …
CGSQE Cited in 2 Documents (2016–2019) Software Authors: Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke Related Software: REDLOG; QEPCAD; PGB; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Computer science (68-XX)
QERRC Cited in 1 Document (1999) Software Authors: Dolzmann, Andreas; Sturm, Thomas Related Software: REDLOG; QEPCAD Main Fields: Commutative algebra (13-XX); Computer science (68-XX)