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)
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)
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)
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)
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)
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)
REACH Software Authors: Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Cited in: 4 Publications (2013–2018) Related Software: iscasMc; z3; REDLOG; MRMC; PRISM; TERMINATOR; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-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)
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)
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)
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)
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)