Login / Signup

Elements of Mathematical Analysis in PVS.

Bruno Dutertre
Published in: TPHOLs (1996)
Keyphrases
  • mathematical analysis
  • database
  • databases
  • machine learning
  • e learning
  • theorem proving
  • formal verification
  • information retrieval
  • case study
  • image segmentation
  • search algorithm
  • object recognition
  • xml schema