Proof of the nonintersection conjecture of Hoffmann and Peters.

Thomas Hermann Gábor Lukács

Published in: Comput. Aided Geom. Des. (1998)

Keyphrases

artificial intelligence
theorem proving
real time
information technology
linear logic
automated theorem proving
proof planning
neural network
machine learning
social networks
computer vision
search space
mobile robot