Ver el código de «Mathematics and computer science: The interplay»

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.
----
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 [http://en.wikipedia.org/wiki/Proofs_from_THE_BOOK 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.