×

Found 10 Software Packages (Results 1–10)

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)

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: EXPANDER; BicOverlapper; FABIA; bibench; BicPAMS; CoClust; …
Main Fields:

Landau.jl

Software Authors:   Mizera, Sebastian; Telen, Simon
Cited in: 1 Publication (2022)
Related Software: Polymake.jl; HomotopyContinuation; Macaulay2; Julia; PHCpack
Main Fields: Quantum theory (81-XX)