Login / Signup
Arithmetic in Metamath, Case Study: Bertrand's Postulate.
Mario Carneiro
Published in:
CICM (Work in Progress) (2015)
Keyphrases
</>
case study
lessons learned
belief revision
arithmetic operations
belief change
machine learning
data sets
floating point
problem based learning
design process
software development
real world
knowledge management
multiresolution
multi agent systems
artificial intelligence
real time