Reasoning About the Reals: The Marriage of HOL and Maple.

John Harrison Laurent Théry

Published in: LPAR (1993)

Keyphrases

constraint databases
qualitative reasoning
formal theory
data sets
theorem prover
formal methods
spatial reasoning
natural deduction
real world
machine learning
multiscale
software engineering
theorem proving
causal reasoning
higher order logic