Demostración automática de teoremas app

Nuestro proyecto consiste de crear una comunidad social y una interfaz gráfica para la demostración automática de teoremas , esta aplicación generara un archivo de salida con la demostración del teorema que puede ser subida opcionalmente a una biblioteca publica virtual de teoremas demostrados, la idea es crear una comunidad que permita avanzar en la demostración de teoremas no resueltos, con un espacio de discusión para cada teorema, queremos proporcionar una herramienta que motive e inspire a los estudiantes o aficionados a demostrar los misterios más ocultos y profundos de la matemática como la conjetura de Goldbach y la hipótesis de Riemann.
Galería de imagenes

¿Crees que esta idea es
positiva para el mundo?

Apoyar idea

Entrega tu apoyo a "Demostración automática de teoremas app"

Colabora

Regístrate o ingresa para ayudar a Gonzalo a mejorar su propuesta.

Regístrate o ingresa para comentar esta propuesta

Regístrate o ingresa para reportar este comentario

No olvides de viralizar para seguir juntando "apoyo", que equivale a un 10% de las evaluaciones! Hoy cierra la convocatoria! Éxito!
Responder
Reportar
hace 9 años
Hola Gonzalo! Primero que todo quería felicitarte por tu participación en la convocatoria. Me quedan algunas dudas con respecto a tu proyecto que te agradecería me pudieras responder: Ya está implementado? o han hecho una prueba beta para obtener la devolución de los estudiantes? Cómo piensan promocionarlo? A través de las mismas mallas curriculares negociándolo con los colegios o algo así como actividades extraprogramáticas? Quedo atenta a tus respuestas! Abrazo!
Responder
Reportar
hace 9 años
Hola Carolina El proyecto aun no esta implementado sin embargo su desarrollo ya esta en curso considerando que ya existen algunas herramientas para sistemas unix que tienen codificaciones bastante sencillas el trabajo inicialmente consiste en una integración movil orientada al estudio investigativo para estudiantes o aficionados entablando una interfaz sencilla y difundirlo en forma libre que funcione a donación la idea es que no tenga fronteras regionales , posteriormente mejorar técnica en s
Responder
Reportar
hace 9 años

¿Crees que esta idea es
positiva para el mundo?

Apoyar idea

Entrega tu apoyo a "Demostración automática de teoremas app"

#DesafíoApréndelo

¿Tienes propuestas para mejorar la educación utilizando la tecnología? Súbelas al #DesafíoApréndelo. Organiza Samsung Chile en alianza con

Participar Propuestas