Formalizing Scientifically Applicable Mathematics in a Definitional Framework.

Arnon Avron Liron Cohen

Published in: J. Formaliz. Reason. (2016)

Keyphrases

main contribution
software architecture
key features
computational framework
databases
machine learning
metadata
computer science
framework enables