KeYmaera Software Authors: Platzer, André; Quesel, Jan-David Cited in: 48 Publications (2008–2022) Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)
Epsilon Software Authors: Wang, Dongming Cited in: 45 Publications (2002–2023) Related Software: Maple; ISOLATE; RegularChains; Kronecker; GeoGebra; PGB; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Ordinary differential equations (34-XX)
BLAD Software Authors: Boulier, François Cited in: 20 Publications (2007–2022) Related Software: Maple; DAISY; DIFFALG; RegularChains; Epsilon; SIAN; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Computer science (68-XX)
DifferentialAlgebra Software Authors: Boulier, François; Lemaire, François Cited in: 11 Publications (2010–2021) Related Software: Maple; DIFFALG; DifferentialThomas; BLAD; Epsilon; prs.spad; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Partial differential equations (35-XX)
DifferentialElimination Software Authors: Ovchinnikov, Alexey; Pogudin, Gleb; Vo, Thieu N. Cited in: 8 Publications (2019–2022) Related Software: SIAN; CASA; NesSomos; Bertini; RegularChains; Kronecker; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)
TDDS Software Authors: Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz Cited in: 8 Publications (2020–2023) Related Software: DifferentialThomas; Janet; RegularChains; LDA; AlgebraicThomas; GUARDIAN; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX)
CDiffElim Software Authors: Wittkopf, Allan D.; Reid, Gregory J. Cited in: 3 Publications (2001–2014) Related Software: PHCpack; Janet; SADE; GeM; CRACKSTAR; Maple Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX)
DECOR Software Authors: Pal, M.; Saha, S.; Bandyopadhyay, S. Cited in: 3 Publications (2019–2020) Related Software: MOEA/D; MOMBI; DMaOEA; HypE; SPEA2; SMS-EMOA; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)
MapDE Software Authors: Mohammadi, Zahra; Reid, Gregory J.; Huang, Tracy Shih-lung Cited in: 3 Publications (2019–2021) Related Software: GeM; DifferentialGeometry; LieAlgebrasOfVectorFields; SADE; CRACK; DifferentialAlgebra; … Main Fields: Field theory and polynomials (12-XX); Partial differential equations (35-XX); Computer science (68-XX)
BIDEAL Software Authors: Nishchal K. Verma, T. Sharma, S. Dixit, P. Agrawal, S. Sengupta, V. Singh Cited in: 0 Publications Related Software: BiVisu; BicNET; EXPANDER; BicOverlapper; FABIA; bibench; … Main Fields: –
Landau.jl Software Authors: Mizera, Sebastian; Telen, Simon Cited in: 1 Publication (2022) Related Software: HomotopyContinuation; Polymake.jl; Macaulay2; Julia; PHCpack Main Fields: Quantum theory (81-XX)