704
Reputación
Reputación
Nombre : tomoe
Miembro desde : 11 de Noviembre, 2014
tomoe es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Dos veces diferenciable implica igualdad de los parciales mixtos?
el 25 de Diciembre, 2015 4 votos - 1 resp
Equivalencia de las definiciones de diferenciabilidad multivariable
el 17 de Abril, 2019 4 votos - 4 resp
Matriz definida positiva sobre un campo de Arquímedes no
el 3 de Noviembre, 2018 7 votos
Últimas Respuestas
- 2 votos
Construir una función a partir de una proposición truncada
el 5 de Abril, 2020 2 votos - 6 votos
¿Cómo se relacionan los grupos de homotopía sintética con los grupos de homotopía habituales?
el 15 de Junio, 2019 6 votos - 8 votos
Tipo inductivo superior: ¿para qué?
el 17 de Marzo, 2019 8 votos - 4 votos
En la HoTT de Cauchy Reales
el 11 de Junio, 2016 4 votos - 8 votos
Modelo de teoría de tipos de homotopía en ZFC
el 25 de Diciembre, 2015 8 votos - 2 votos
Error en Bartle la prueba de la Merluza del Teorema?
el 6 de Marzo, 2014 2 votos - 10 votos
Hay una distinción fundamental entre los objetos y sus tipos?
el 3 de Enero, 2015 10 votos
Etiquetas favoritas
- 8 x homotopy-type-teoría
- 3 x fundaciones
- 2 x cálculo
- 2 x teoría-homotopía
- 2 x analisis-real
- 2 x type-teoría
- 1 x potenciómetro
