Oren Patashnik (born 1954)[1] is an American computer scientist. He co-created BibTeX and co-authored Concrete Mathematics: A Foundation for Computer Science.
While working at Bell Labs in 1980, Patashnik proved that Qubic can always be won by the first player. Using 1500 hours of computer time, Patashnik's proof is an early example of a computer-assisted proof.[2]
In 1985, Patashnik created the bibliography-system, BibTeX, in collaboration with Leslie Lamport, the creator of LaTeX. LaTeX is a system and programming language for formatting documents, which is especially designed for mathematical documents. BibTeX is a widely used bibliography-formatting tool for LaTeX.[3]
Patashnik assisted Ronald Graham and Donald Knuth in writing the 1988 textbook Concrete Mathematics: A Foundation for Computer Science.[4]
Patashnik became a doctoral student of Andrew Yao at Stanford University, where he completed his Ph.D. in 1990.[5]
References
edit- ^ "Oren Patashnik", VIAF, retrieved 2024-07-10
- ^ (PDF) "How to Win at Tic-Tac-Toe" (Mathellaneous, July 2005, University of Melbourne) - 11-page article with a section relating Patashnik's effort on Qubic
- ^ Gratzer, George (2024), Text and Math Into LaTeX, Springer Nature, p. 465, ISBN 9783031552816
- ^ Stengel, Alan (November 2010), "Review of Concrete Mathematics", MAA Reviews, archived from the original on 2024-04-19
- ^ Oren Patashnik at the Mathematics Genealogy Project
 | This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |