Julien Narboux es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 6 votos
¿El cuarto postulado de Euclides es redundante?
el 25 de Mayo, 2018 6 votos - 2 votos
Postulado paralelo del axioma de Playfair
el 5 de Octubre, 2015 2 votos - 1 votos
¿Pruebas de geometría del instituto y lógica de primer orden?
el 13 de Octubre, 2015 1 votos - 5 votos
Riguroso libros sobre geometría
el 11 de Mayo, 2015 5 votos - 2 votos
Geometría sintética rigurosa sin axiomas de Hilbert
el 11 de Mayo, 2015 2 votos - 1 votos
¿Qué significa la prueba de una prueba?
el 18 de Mayo, 2015 1 votos - 9 votos
Estado de avance de la comprobación automatizada de pruebas
el 15 de Mayo, 2015 9 votos
Etiquetas favoritas
- 6 x geometría
- 5 x euclidean-geometría
- 2 x solicitud-de-referencia
- 2 x axioma
- 2 x lógica
- 1 x computational-geometría
- 1 x la-computabilidad