Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4945995 | Journal of Symbolic Computation | 2017 | 41 Pages |
Abstract
In practice, the methodology has been implemented to automatically certify implicit induction proofs generated by the SPIKE theorem prover as well as reductive-free cyclic proofs built by the same system but in a less automatic way.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Sorin Stratulat,