Login / Signup

Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives.

Sylvie BoldoCatherine LelayGuillaume Melquiond
Published in: CPP (2012)
Keyphrases
  • user friendly
  • statistical analysis
  • software package
  • user interface
  • highly interactive
  • back end
  • expert systems
  • graphical user interface
  • graphical interface
  • interactive data mining
  • artificial intelligence