Login / Signup
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations.
Anna Lubiw
Zuzana Masárová
Uli Wagner
Published in:
CoRR (2017)
Keyphrases
</>
edge detection
weighted graph
edge information
linear logic
database
data sets
edge detector
theorem prover
information retrieval
information systems
theorem proving
multiple scales
disjoint paths