Login / Signup
Another Proof of the Two-Dimensional Cayley-Hamilton Theorem.
Bostjan Vilfan
Published in:
IEEE Trans. Computers (1973)
Keyphrases
</>
interactive theorem proving
three dimensional
theorem prover
theorem proving
linear logic
multi dimensional
proof planning
databases
mathematical proofs
information systems
hidden markov models
packing problem
von neumann
automated theorem proving
intuitionistic logic