Popular repositories Loading

1. tarski tarski Public

   A system for computing with Tarski Formulas / Semi-Algebraic Sets.

   SMT 5 2

2. saclib saclib Public

   A library of computer algebra functions due to George E. Collins and his many students and collaborators.

   C 3 4

3. qepcad qepcad Public

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

   C 3 2

4. chipboard chipboard Public

   Roff 1

5. webCal webCal Public

   C++

6. cryptodemo cryptodemo Public

   JavaScript