Proof of a Conjecture of Bárány, Katchalski and Pach.

Márton Naszódi

Published in: Discret. Comput. Geom. (2016)

Keyphrases

lecture notes in artificial intelligence
linear logic
mathematical proofs
neural network
information systems
theorem prover
theorem proving
real time
artificial intelligence
decision making
metadata
automated theorem proving
provably correct
proof planning