Dei: A Theorem Prover for Terms with Integer Exponents.

Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Browse the full CADE paper archive.