/qepcad

QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.

Primary LanguageC

No issues in this repository yet.