QEPCAD Software Authors: Hoon Hong; Brown, Christopher W. Cited in: 286 Publications (1991–2023) Related Software: REDLOG; Maple; RSOLVER; MetiTarski; DISCOVERER; z3; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
CylindricalAlgebraicDecompose Software Authors: Chen, Changbo; Moreno Maza, Marc Cited in: 4 Publications (2014–2021) Related Software: RegularChains; Theoryguru; raSAT; SMT-RAT; SATzilla; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-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)
SymProve3 Software Authors: Chen, Shengli; Chen, Liangyu Cited in: 2 Publications (2013–2017) Related Software: BOTTEMA; QEPCAD; Maple Main Fields: Geometry (51-XX); Computer science (68-XX)
EXPLORER Software Authors: Xia, Bican Cited in: 1 Publication (1998) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
libpoly Software Authors: Jovanovic, D., Dutertre, B. Cited in: 1 Publication (2022) Related Software: Zephyrus2; dReal; raSAT; SMT-RAT; MathSAT5; CVC4; … Main Fields: Computer science (68-XX)