×

Found 39 Software Packages (Results 1–39)

REDUCE

Cited in 744 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); …

QEPCAD

Cited in 303 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); …

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

Risa/Asir

Cited in 124 Documents (1992–2024)
Software Authors: Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university.
Related Software: SINGULAR; Macaulay2; Kan; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-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); …

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

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

BioModels

Cited in 32 Documents (2008–2022)
Software Authors: Le Novere, N.; Bornstein, B.; Broicher, A.; Courtot, M.; Donizelli, M.; Dharuri, H.; Li, L.; Sauro, H.; Schilstra, M.; Shapiro, B.; Snoep, J.L.; Hucka, M
Related Software: COPASI; KEGG; z3; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-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); …

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 25 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: David G. Richardson: Werner Krandick
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); …

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

dpgb

Cited in 18 Documents (2006–2024)
Software Authors: Manubens, Montserrat; Montes, Antonio
Related Software: SINGULAR; PGB; Risa/Asir; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-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); …

JAS

Cited in 15 Documents (2008–2023)
Software Authors: Kredel, Heinz
Related Software: SINGULAR; AXIOM; Plural; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-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); …

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

Aligator

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

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

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

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

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

Polynomials

Cited in 6 Documents (2017–2021)
Software Authors: Sternagel, Christian; Thiemann, René; Maletzky, Alexander; Immler, Fabian; Haftmann, Florian; Lochbihler, Andreas; Bentkamp, Alexander
Related Software: Isabelle/HOL; Groebner_Bases; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Tarski

Cited in 6 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); …

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

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

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

MAS

Cited in 5 Documents (1997–2015)
Software Authors: Kredel, H.; Pesch, M
Related Software: Kan; BERGMAN; Felix; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-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); …

realgeom

Cited in 3 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); …

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)

Filter Results by …

all top 5

Related Software

all top 3

Main Field