Font Size:
a
A
A
Keyword [machine proof]
Result: 1 - 10 | Page: 1 of 1
1.
The Basis Of Geometric Algebra And Readable Machine Proof For Mass Point Geometry
2.
Machine Proofs For Affine Geometric Theorems Of Constructive Type Based On Mass Point Method
3.
Machine Proof Of Particle Geometry Theorem
4.
Machine Proof Of Prime Infinite Theorem Based On Interactive Theorem Proving Tool Coq
5.
Coq-based Formal System For Topological Space Connectivity
6.
Formalization Of The Basic Framework Of Ring And Field Theory Based On Coq
7.
Title:machine Proof System Of Linear Algebra In The View Of "Module" Based On Coq
8.
Formalization Of The Basic Framework Of Ring And Field Theory Based Of Coq
9.
Formalization Of Polynomial Theory Based On Coq
10.
A Machine Proof System Of The Third Generation Calculus In Coq
<<First
<Prev Next>
Last>>
Jump to
