Equations for formally real meadows.

Jan A. Bergstra Inge Bethke Alban Ponse

Published in: J. Appl. Log. (2015)

Keyphrases

mathematical model
real world
information systems
wide range
special case
database
artificial intelligence
multiscale
support vector
real life
differential equations