Websites targeting keyword homotopy
3 websites are using keyword homotopy in their content.
Total results: 3
Domains on this page: 3
Results:
Konrad Voelkel «http://portalrankings.com/info/konradvoelkel.com
Konrad Voelkel is a postdoc in mathematics at the University of Osnabrück. His research is between homotopy theory and algebraic geometry.
- Google+ User ID: 104842226082961773918
- Google Analytics code: 5689244-8
- Updated On (Date): 2017-Oct-31
- Expiration time: 2018-Nov-30
- Website Registered On (Date): 2010-Nov-30
Homotopy Type Theoryhttp://portalrankings.com/info/homotopytypetheory.org
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new interpretation of Martin-Löf's system of intensional, constructive type theory into abstract homotopy theory. Propositional equality is interpreted as homotopy and…
- Updated On (Date): 2016-Dec-23
- Expiration time: 2018-Mar-13
- Website Registered On (Date): 2011-Mar-13