Mathematics and computer science: The interplay
Revisión del 09:40 23 oct 2008 de Jalonso (discusión | contribuciones) (New page: C.E. Veni Madhavan ''[http://www.iisc.ernet.in/currsci/feb102005/397.pdf Mathematics and computer science: The interplay]''. Current Science, Vol. 88, No. 3, pp. 397-404, 10 Febraury 2005....)
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.
