A combinatorial proof of the Cayley-Hamilton theorem.

Howard Straubing

Published in: Discret. Math. (1983)

Keyphrases

interactive theorem proving
von neumann
theorem prover
artificial intelligence
theorem proving
linear logic
proof planning
real time
information retrieval
face recognition
multiscale
search algorithm
mobile robot
mathematical proofs