Formalization of the Fundamental Group in Untyped Set Theory Using Auto2.
Bohua ZhanPublished in: J. Autom. Reason. (2019)
Keyphrases
- set theory
- first order logic
- partial order
- fuzzy set theory
- rough sets
- rough set theory
- fuzzy sets
- mathematical morphology
- image analysis
- decision making
- real time
- morphological operations
- binary images
- algebraic geometry
- probability theory
- description logics
- knowledge discovery
- expert systems
- artificial intelligence