Sign in
A Short Proof of Mader's sigma-Paths Theorem.
Alexander Schrijver
Published in:
J. Comb. Theory, Ser. B (2001)
Keyphrases
</>
interactive theorem proving
theorem prover
three dimensional
databases
path finding
path length
von neumann
machine learning
multi agent
dynamic environments
shortest path
first order logic
optimal path
linear logic
geometry theorem proving