Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation.

Andrej Bauer, Edmund M. Clarke, Xudong Zhao

Browse the full AISC paper archive.