Oren Patashnik
Oren Patashnik (nacido en 1954) [1] es un informático estadounidense. Fue cocreador de BibTeX y coautor de Concrete Mathematics: A Foundation for Computer Science .
Mientras trabajaba en Bell Labs en 1980, Patashnik demostró que el primer jugador que ganaba en Qubic siempre podía ganar. La prueba de Patashnik, que empleó 1500 horas de tiempo de computadora, es un ejemplo temprano de una prueba asistida por computadora . [2]
En 1985, Patashnik creó el sistema de bibliografía BibTeX en colaboración con Leslie Lamport , el creador de LaTeX . LaTeX es un sistema y lenguaje de programación para formatear documentos, especialmente diseñado para documentos matemáticos. BibTeX es una herramienta de formato de bibliografía ampliamente utilizada para LaTeX. [3]
Patashnik ayudó a Ronald Graham y Donald Knuth a escribir el libro de texto de 1988 Concrete Mathematics: A Foundation for Computer Science . [4]
Patashnik se convirtió en estudiante de doctorado de Andrew Yao en la Universidad de Stanford , donde completó su doctorado en 1990. [5]
Referencias
- ^ "Oren Patashnik", VIAF , consultado el 10 de julio de 2024
- ^ (PDF) "Cómo ganar al tres en raya" (Mathellaneous, julio de 2005, Universidad de Melbourne): artículo de 11 páginas con una sección que relata el esfuerzo de Patashnik en Qubic.
- ^ Gratzer, George (2024), Texto y matemáticas en LaTeX , Springer Nature, pág. 465, ISBN 9783031552816
- ^ Stengel, Alan (noviembre de 2010), "Revisión de matemáticas concretas", MAA Reviews , archivado desde el original el 19 de abril de 2024
- ^ Oren Patashnik en el Proyecto de Genealogía Matemática
 | Este artículo biográfico sobre un informático es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
