On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths.
Tiago Mendonça Lucena de VerasArthur F. RamosRuy J. G. B. de QueirozAnjolina Grisi de OliveiraPublished in: CoRR (2018)
Keyphrases
- theoretical basis
- quantum mechanics
- genetic algorithm
- social networks
- general theory
- theoretical framework
- cluster analysis
- information theory
- fixed point
- similar objects
- optimal path
- computational power
- belief functions
- mathematical programming
- data sets
- computational model
- information technology
- expert systems
- lower bound
- website
- databases