Login / Signup

Rigorous Polynomial Approximation Using Taylor Models in Coq.

Nicolas BrisebarreMioara JoldesÉrik Martin-DorelMicaela MayeroJean-Michel MullerIoana PascaLaurence RideauLaurent Théry
Published in: NASA Formal Methods (2012)
Keyphrases
  • polynomial approximation
  • decision trees
  • training data
  • probabilistic model
  • model selection