I am the developer of the following tools:
Multiplier Verification
| AMulet 2.1 | Improved Successor of AMulet. | Source | Data | Paper |
| TeluMA 1.0 | AMulet2 including Dual Variables | Source | Data | Paper |
| AMulet 1.5 | A Multiplier Verification Tool. | Source | Data | Paper |
Algebraic Proof Checker
| PACheck 2.0 | A proof checker for the linear practical algebraic calculus. | Source | Data | Paper |
| PACheck | A proof checker for the practical algebraic calculus. | Source | Data | Paper |
| Nuss-Checker | A proof checker for algebraic proofs in the Nullstellensatz format. | Source | Data | Paper |