A new proof of Balinski's theorem on the connectivity of polytopes.

Guillermo Pineda-Villavicencio

Published in: Discret. Math. (2021)

Keyphrases

interactive theorem proving
convex hull
theorem proving
connected components
proof planning
linear logic
theorem prover
automated theorem proving
von neumann
databases
website
artificial neural networks
search algorithm
multiscale
brain connectivity
genetic algorithm
geometry theorem proving
data mining