Arithmetic in Metamath, Case Study: Bertrand's Postulate.

Published in: CoRR (2015)

Keyphrases

case study
arithmetic operations
lessons learned
real world
information systems
belief revision
objective function
business process
knowledge management
software development
video sequences
floating point
nash equilibrium
cooperative
data sets
image sequences
feature selection
information retrieval
neural network