Oren Patashnik

The Oren Patashnik topic has been an inexhaustible source of debate and interest throughout history. Since its origins, Oren Patashnik has captured the collective imagination and has aroused the curiosity of millions of people around the world. Its impact on society and its relevance in different areas such as culture, politics, science or technology make it a topic of universal interest. In this article we will explore the multiple aspects of Oren Patashnik, from its origin to its influence in today's world, analyzing its implications and its evolution over time.

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

  1. ^ "Oren Patashnik", VIAF, retrieved 2024-07-10
  2. ^ (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
  3. ^ Gratzer, George (2024), Text and Math Into LaTeX, Springer Nature, p. 465, ISBN 9783031552816
  4. ^ Stengel, Alan (November 2010), "Review of Concrete Mathematics", MAA Reviews, archived from the original on 2024-04-19
  5. ^ Oren Patashnik at the Mathematics Genealogy Project
Stub icon

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

Wikious
Boobota
Sagapedia