Sign in
Formalization of the fundamental group in untyped set theory using auto2.
Bohua Zhan
Published in:
CoRR (2017)
Keyphrases
</>
set theory
partial order
fuzzy set theory
rough sets
first order logic
mathematical morphology
algebraic geometry
fuzzy sets
probability theory
pattern recognition
real time
edge detection
rough set theory
knowledge representation
data analysis
data structure
information retrieval
data mining