Click'n Prove: Interactive Proofs within Set Theory.
Jean-Raymond AbrialDominique CansellPublished in: TPHOLs (2003)
Keyphrases
- set theory
- first order logic
- fuzzy set theory
- partial order
- web search
- rough sets
- fuzzy sets
- algebraic geometry
- mathematical morphology
- rough set theory
- search engine
- theorem prover
- probability theory
- user interaction
- image analysis
- gray scale
- probabilistic model
- artificial neural networks
- multiscale
- feature extraction
- computer vision
- machine learning