Equations for formally real meadows.

Jan A. Bergstra Inge Bethke Alban Ponse

Published in: CoRR (2013)

Keyphrases

real world
neural network
mathematical model
computational complexity
differential equations
information retrieval
artificial intelligence
artificial neural networks
linear equations
nonlinear equations