Algorithmic Proof

Author
Thor Laack-Veeder
License
Other (as stated in the work)
Abstract