Mathematics and computer science: The interplay

De WikiGLC
Saltar a: navegación, buscar

C.E. Veni Madhavan Mathematics and computer science: The interplay. Current Science, Vol. 88, No. 3, pp. 397-404, 10 Febraury 2005.

En este trabajo se estudia algunas interrelaciones entre matemáticas y computación. Fundamentalmente las relaciones entre demostraciones y algoritmos.

Compara la búsqueda de demostraciones cortas, elegantes y constructivas en matemáticas con la bísqueda de algoritmos elegantes, eficientes y prácticos en computación. Como ejemplo de demostraciones se refiere a las seleccionadas por Aigner y Ziegler en Proofs from THE BOOK y propone unos algoritmos del LIBRO.

Como muestra del mutuo enriquecimiento de los dos campos muestra problemas de la matemática combinatoria.

Como ideas interesantes del trabajo apunto la posibilidad de verificar formalmente con Isar las demostraciones de el Libro y el análogo para algoritmos.

José A. Alonso 10:39, 12 November 2008 (CET)

Obtenido de «https://www.glc.us.es/web/index.php?title=Mathematics_and_computer_science:_The_interplay&oldid=405»