Applications of computer algebra in solid modelling.

Adrian Bowyer James H. Davenport Philip S. Milne Julian A. Padget Andrew F. Wallis

Published in: EUROCAL (1987)

Keyphrases

computer algebra
theorem prover
three dimensional
computer algebra systems
automated theorem provers
genetic algorithm
information systems
natural language
conceptual modelling
supervised learning
special case
evolutionary algorithm
real time
multiscale
feature selection
real world
databases