Alessandro-Barbieri/qepcad
QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
C
No issues in this repository yet.
QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
C
No issues in this repository yet.