×

Found 60 Software Packages (Results 1–60)

Maple

Cited in 5,468 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); …

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); …

REDLOG

Cited in 172 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 133 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 91 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); …

primdec

Cited in 80 Documents (2005–2023)
Software Authors: Decker, W.; Laplagne, S.; Pfister, G.; Schönemann, H. A.
Related Software: SINGULAR; FGb; Mathematica; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …

DISCOVERER

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

CoCoALib

Cited in 66 Documents (2006–2022)
Software Authors: Abbott, John; Bigatti, Anna M.
Related Software: CoCoA; Macaulay2; SINGULAR; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-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); …

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); …

Epsilon

Cited in 51 Documents (2002–2023)
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); …

OreModules

Cited in 44 Documents (2004–2023)
Software Authors: Chyzak, Frédéric; Quadrat, Alban; Robertz, Daniel
Related Software: SINGULAR; Plural; OreMorphisms; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Numerical analysis (65-XX); …

Janet

Cited in 37 Documents (2005–2021)
Software Authors: Blinkov, Y.; Cid, C.; Gerdt, V.; Plesken, W.; Robertz, D.
Related Software: SINGULAR; Maple; OreModules; …
Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Partial differential equations (35-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); …

SymbolicData

Cited in 29 Documents (2004–2020)
Software Authors: Gräbe, Hans-Gert
Related Software: SINGULAR; SDeval; SageMath; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

DifferentialThomas

Cited in 29 Documents (2012–2023)
Software Authors: Bächler, T.; Lange-Hegermann, M.
Related Software: Maple; Janet; AlgebraicThomas; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Partial differential equations (35-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); …

OSCAR

Cited in 20 Documents (2020–2024)
Software Authors: Decker, Wolfram; Fieker, Claus; Horn, Max; Joswig, Michael; et al.
Related Software: SINGULAR; Julia; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX); …

BLAD

Cited in 22 Documents (2007–2023)
Software Authors: Boulier, François
Related Software: Maple; DAISY; SIAN; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Computer science (68-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); …

Paramotopy

Cited in 15 Documents (2013–2024)
Software Authors: Bates, Daniel; Brake, D.; Niemerg, M.
Related Software: Bertini; PHCpack; HOM4PS; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

BPAS

Cited in 11 Documents (2010–2023)
Software Authors: Chen, Changbo; Mansouri, Farnam; Maza, Marc Moreno; Xie, Ning; Xie, Yuzhen
Related Software: RegularChains; Magma; FLINT; …
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); …

OreMorphisms

Cited in 12 Documents (2007–2020)
Software Authors: Cluzeau, T.; Quadrat, A
Related Software: OreModules; OreAlgebraicAnalysis; Macaulay2; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

msolve

Cited in 8 Documents (2022–2024)
Software Authors: Berthomieu, Jérémy; Eder, Christian; Din, Mohab Safey El
Related Software: SINGULAR; Magma; OSCAR; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-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; Epsilon; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

grobcov.lib

Cited in 10 Documents (2011–2020)
Software Authors: Montes, Antonio; Schoenemann, Hans
Related Software: SINGULAR; GeoGebra; PLA-PFGLM.mpl; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Algebraic geometry (14-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: General and overarching topics; collections (00-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); …

CAP

Cited in 9 Documents (2017–2023)
Software Authors: Gutsche, Sebastian; Posur, Sebastian; Barakat, Mohamed; Skartsæterhagen, Øystein
Related Software: ModulePresentationsForCAP; GeneralizedMorphismsForCAP; LinearAlgebraForCAP; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Database of Polynomial Systems

Cited in 9 Documents (2003–2023)
Software Authors: Verschelde, J.
Related Software: PoSSo; gmp; PHCpack; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Numerical analysis (65-XX); …

Ginv

Cited in 9 Documents (2006–2023)
Software Authors: Blinkov, Yu.A.; Gerdt, V.P.
Related Software: Janet; Maple; AlgebraicThomas; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Partial differential equations (35-XX); …

CUMODP

Cited in 8 Documents (2006–2017)
Software Authors: Haque, Sardar Anisul; Li, Xin; Mansouri, Farnam; Maza, Marc Moreno; Pan, Wei; Xie, Ning
Related Software: Maple; Magma; RegularChains; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

DifferentialElimination

Cited in 8 Documents (2019–2022)
Software Authors: Ovchinnikov, Alexey; Pogudin, Gleb; Vo, Thieu N.
Related Software: SIAN; RegularChains; Kronecker; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-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); …

Stacks Project

Cited in 8 Documents (2016–2022)
Software Authors: columbia.edu
Related Software: SINGULAR; CAP; RegularChains; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Algebraic topology (55-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); …

Dagwood

Cited in 7 Documents (1988–2020)
Software Authors: Freeman, Timothy S.; Imirzian, Gregory M.; Kaltofen, Erich; Yagati, Lakshman
Related Software: Kronecker; FOXBOX; tangent Graeffe; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

AlgebraicThomas

Cited in 6 Documents (2010–2021)
Software Authors: Bächler, Thomas
Related Software: DifferentialThomas; RegularChains; Maple; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Ordinary differential equations (34-XX); …

control.lib

Cited in 6 Documents (2005–2020)
Software Authors: Iena, Oleksandr; Becker, Markus; Levandovskyy, Viktor
Related Software: OreModules; SINGULAR; Plural; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); …

Phcmaple

Cited in 6 Documents (2005–2016)
Software Authors: Leykin, A.; Verschelde, J.
Related Software: PHCpack; RegularChains; Mathematica; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Numerical analysis (65-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); …

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); …

Audi

Cited in 2 Documents (2012–2023)
Software Authors: Izzo, Dario; Biscani, Francesco
Related Software: gmp; Eigen; ADOL-C; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Numerical analysis (65-XX); …

Jets

Cited in 4 Documents (2001–2015)
Software Authors: Barakat, Mohamed
Related Software: DifferentialThomas; OreMorphisms; Janet; …
Main Fields: Associative rings and algebras (16-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); …

MABSys

Cited in 4 Documents (2010–2016)
Software Authors: Lemaire, François; Ürgüplü, Asli
Related Software: RegularChains; Indiff; AIDA; …
Main Fields: Commutative algebra (13-XX); Real functions (26-XX); Ordinary differential equations (34-XX); …

FRISCO

Cited in 3 Documents (1999–2016)
Software Authors: Consortium, FRISCO
Related Software: PoSSo; SymbolicData; PHCpack; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Real functions (26-XX); …

Indiff

Cited in 3 Documents (2006–2012)
Software Authors: Mansfield, E.
Related Software: RegularChains; MABSys; AIDA; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Differential geometry (53-XX); Computer science (68-XX); …

LocalizeRingForHomalg

Cited in 3 Documents (2010–2022)
Software Authors: Barakat, Mohamed; Lange-Hegermann, Markus
Related Software: homalg; SINGULAR; GAP; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); …

MultivariatePowerSeries

Cited in 2 Documents (2021–2022)
Software Authors: Asadi, Mohammadali; Brandt, Alexander; Kazemi, Mahsa; Maza, Marc Moreno; Postma, Erik
Related Software: SageMath; Maple; GitHub; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

ZariskiFrames

Cited in 3 Documents (2021–2023)
Software Authors: Barakat, Mohamed; Kuhmichel, Tom; Lange-Hegermann, Markus
Related Software: homalg; CAP; SINGULAR; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

PowerSeries

Cited in 1 Document (2016)
Software Authors: Alvandi, Parisa; Kazemi, Mahsa; Maza, Marc Moreno
Related Software: RegularChains; Mathematica; SageMath; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Real functions (26-XX); …

AlgebraicGeometryTools

Cited in 1 Document (2014)
Software Authors: Alvandi, Parisa; Maza, Marc Moreno; Vrbik, Paul; et al.
Related Software: Wsolve; RegularChains; Epsilon
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

InvolutiveBases

Cited in 1 Document (2014)
Software Authors: Robertz, D.
Related Software: REDUCE; AlgebraicThomas; CoCoA; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

Locales

Cited in 1 Document (2022)
Software Authors: Barakat, Mohamed; Lange-Hegermann, Markus; Kuhmichel, Tom
Related Software: CAP; SINGULAR; RegularChains; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

RealComprehensiveTriangularize

Cited in 1 Document (2014)
Software Authors: Chen, Changbo; Moreno Maza, Marc
Related Software: Maple; RegularChains
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field