Login / Signup
A new proof of laman's theorem.
Tiong-Seng Tay
Published in:
Graphs Comb. (1993)
Keyphrases
</>
interactive theorem proving
von neumann
hidden markov models
machine learning
theorem prover
linear logic
real time
databases
computer vision
multiscale
evolutionary algorithm
natural deduction
proof theory
intuitionistic logic