A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.

Anna Lubiw Zuzana Masárová Uli Wagner

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

Keyphrases

edge information
edge detection
theorem prover
search algorithm
edge detector
disjoint paths
geometry theorem proving
data sets
databases
image processing
multi agent
image gradient
multiple scales
linear logic
orbit determination