Formalization of the Fundamental Group in Untyped Set Theory Using Auto2.

Published in: ITP (2017)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
algebraic geometry
mathematical morphology
pattern recognition
rough sets
fuzzy sets
genetic algorithm
decision making
cooperative
knowledge representation
computational intelligence
description logics