Axiomatizing Mathematical Theories: Multiplication.

Published in: CoRR (2016)

Keyphrases

mathematical models
theoretical framework
causal inferences
floating point
database
real time
real world
decision trees
mathematical model
computer algebra