×

Found 12 Software Packages (Results 1–12)

DISCOVERER

Software Authors:   Xia B
Cited in: 57 Publications (1999–2022)
Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

KeYmaera

Software Authors:   Platzer, AndrĂ©; Quesel, Jan-David
Cited in: 47 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)

SYNRAC

Software Authors:   Anai, Hirokazu; Yanami, Hitoshi
Cited in: 27 Publications (2003–2019)
Related Software: Maple; QEPCAD; REDLOG; Mathematica; DISCOVERER; Sostools; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

SACLIB

Software Authors:   David G. Richardson: Werner Krandick
Cited in: 23 Publications (1993–2009)
Related Software: QEPCAD; Maple; FOXBOX; REDUCE; REDLOG; ELIMINO; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

Mjollnir

Software Authors:   D. Monniaux
Cited in: 13 Publications (2011–2021)
Related Software: MiniSat; z3; Spacer; Chaff; SIMPLIFY; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

GUARDIAN

Software Authors:   Dolzmann, Andreas; Sturm, Thomas
Cited in: 5 Publications (1997–2021)
Related Software: REDLOG; QEPCAD; TDDS; DifferentialThomas; Cambridge LCF; RDL; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Ordinary differential equations (34-XX)

MAS

Software Authors:   Kredel, H., Pesch, M
Cited in: 5 Publications (1997–2015)
Related Software: Kan; BERGMAN; Felix; Macaulay2; SINGULAR; Plural; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)

REACH

Software Authors:   Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin
Cited in: 4 Publications (2013–2018)
Related Software: TERMINATOR; Maple; ISOLATE; QEPCAD; iscasMc; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-XX)

TERMINATOR

Software Authors:   Xu, Ming; Li, Zhi-Bin
Cited in: 3 Publications (2013–2016)
Related Software: REACH; DISCOVERER
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Dynamical systems and ergodic theory (37-XX)

CGSQE

Software Authors:   Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke
Cited in: 2 Publications (2016–2019)
Related Software: REDLOG; QEPCAD; PGB; SYNRAC; Maple
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Computer science (68-XX)

Sturm-Tarski Theorem

Software Authors:   Wenda Li
Cited in: 1 Publication (2020)
Related Software: Winding_Number_Eval; Count Complex Roots; Archive Formal Proofs; HOL; Mizar; Isabelle/HOL; …
Main Fields: Functions of a complex variable (30-XX); Computer science (68-XX)

Vass

Software Authors:   Sakaguchi, K.
Cited in: 1 Publication (2019)
Related Software: GitHub; z3; Coq
Main Fields: Convex and discrete geometry (52-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)