via a calculus of coercions.

Giulio Manzonetto Paolo Tranquilli

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

Keyphrases

automated deduction
data sets
computer algebra
three dimensional
multiscale
complex objects
type checking
automated theorem proving
algebraic structure
provably correct