A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula.

Jean-François Dufourd

Published in: SAC (2007)

Keyphrases

computer aided
computer assisted
computer aided diagnosis
expert systems
computer aided design
machine learning
image processing
three dimensional
d objects
design tools
cad systems