Searching for "Matrix-based Constructive Theorem Proving." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Matrix-Based Constructive Theorem Proving
- …. KREITZ, J. OTTEN, S. SCHMITT, AND B. PIENTKA MATRIX-BASED CONSTRUCTIVE THEOREM PROVING 1. INTRODUCTION…
- Cited by 4 (3 self) – Add To MetaCart
-
Matrix-based Inductive Theorem Proving
- …Matrix-based Inductive Theorem Proving Christoph Kreitz 1 & Brigitte Pientka 2 1 Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Connection-Driven Inductive Theorem Proving
- … for combining rippling techniques with matrix-based constructive theorem proving and show how to use…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 3.
