Login / Signup

Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check.

Pierre Roux
Published in: J. Autom. Reason. (2016)
Keyphrases
  • error bounds
  • formal proofs
  • data sets
  • theoretical analysis
  • worst case
  • genetic algorithm
  • artificial intelligence
  • machine learning
  • feature space
  • special case
  • decision support
  • semi automatic