Note: Combinatorial Alexander Duality - A Short and Elementary Proof.

Anders Björner Martin Tancer

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

Keyphrases

linear programming
theorem prover
neural network
theorem proving
multiscale
artificial intelligence
search engine
image processing
clustering algorithm
high level
linear logic
logical rules