×

Found 6 Software Packages (Results 1–6)

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)