The equivalence of the torus and the product of two circles in homotopy type theory.

Kristina Sojakova

Published in: CoRR (2015)

Keyphrases

theoretical framework
database
decision trees
computational model
life cycle
neural network
social networks
expert systems
computational models
product design
product development