A Proof of Tuite's Trinity Theorem and a New Determinant Formula.

Kenneth A. Berman

Published in: SIAM J. Algebraic Discret. Methods (1980)

Keyphrases

interactive theorem proving
neural network
genetic algorithm
von neumann
database
real world
theorem prover
natural deduction
complete axiomatization