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 |