Tutte's spring theorem.

Carsten Thomassen

Published in: J. Graph Theory (2004)

Keyphrases

von neumann
interactive theorem proving
databases
data mining
machine learning
computer vision
information systems
three dimensional
high level
face recognition
multi agent
data streams
computational complexity