Font Size:
a
A
A
Keyword [theorem proving]
Result: 1 - 16 | Page: 1 of 1
1.
Generalized Lattice-Valued Modal Logic System And Resolution Automated Reasoning Based On Lattice Implication Algebra
2.
The Research Of The Automatic Verification Of The Answers Of Elementary Algebra Proying
3.
Mechanical Theorem Proving In Differential Geometry About Curves On Surface
4.
The Function Differential, Difference, Difference Quotient And Continued Fraction In Mizar
5.
Odd Function And Even Function And Periodic Funtion In Mizar
6.
Mechanization Of General Topology And Related Problems In Automatic Deduction Based On Isabelle
7.
A Complete Axiomatization For Propositional Projection Temporal Logic And Formal Verifications
8.
Symbolic Computation And Its Applications In Computational Biology
9.
Optimal Control Of The Prey-predator Fishery Model And Systematic Adjusting Analysis
10.
Machine Proof Of Prime Infinite Theorem Based On Interactive Theorem Proving Tool Coq
11.
Automated Proving Particle Geometry Theorems Involving Ratios Of Particles Volume
12.
Formalization Of Laplace Transform In Coq And Its Application In Flight Control System Verification
13.
Automated theorem proving in the ProTem programming language
14.
Formalization Of Graph Theory In Theorem Prover HOL4
15.
Verifying Quantum Circuits And Quantum Programs In Coq
16.
Formalization Of Point Geometry Algebra System Based On Coq
<<First
<Prev Next>
Last>>
Jump to
