Formalizing mathematics in higher-order logic: A case study in geometric modelling.

François Puitg Jean-François Dufourd

Published in: Theor. Comput. Sci. (2000)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
case study
computer science
genetic programming