A Geometric Proof of the Colored Tverberg Theorem.

Jirí Matousek Martin Tancer Uli Wagner

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

Keyphrases

interactive theorem proving
geometry theorem proving
theorem proving
neural network
geometric information
digital topology
proof planning
database
databases
artificial intelligence
three dimensional
image sequences
expert systems
logic programming
linear logic
geometric reasoning