Login / Signup
Designing a Calculational Proof of Cantor's Theorem.
Edsger W. Dijkstra
Jayadev Misra
Published in:
Am. Math. Mon. (2001)
Keyphrases
</>
theorem proving
interactive theorem proving
theorem prover
proof planning
nonlinear dynamical systems
computer vision
genetic algorithm
image segmentation
video sequences
search algorithm
control system
von neumann
linear logic