Hispanopedia WikiOren Patashnik (nacido en 1954) [1] es un informático estadounidense. Fue uno de los creadores de BibTeX y uno de los autores de Concrete Mathematics: A Foundation for Computer Science .
Mientras trabajaba en Bell Labs en 1980, Patashnik demostró que el primer jugador siempre puede ganar Qubic . Utilizando 1500 horas de tiempo de computadora, la prueba de Patashnik 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