Knuth, Donald Ervin 1938
Overview
Works:  430 works in 2,220 publications in 8 languages and 23,479 library holdings 

Genres:  Conference proceedings Terminology 
Roles:  Author, Editor, Honoree, Author of introduction, Translator, Creator 
Classifications:  QA39.2, 686.22544 
Publication Timeline
.
Most widely held works about
Donald Ervin Knuth
 Oral history interview with Donald E. Knuth by Donald Ervin Knuth Donald Ervin Knuth( )
 The living legends: a discussion about the establishment of the Computer Science Department at Stanford University : ( )
 Martin Gardner papers by Martin Gardner Martin Gardner( )
 Computer Science at Stanford; the impact of the first ten years : by Stanford UniversityStanford University( )
 George Polya papers by George Pólya George Pólya( )
 Stanford University, Euler Project, records by Stanford UniversityStanford University( )
 Robert W. Floyd papers by Robert W Floyd Robert W Floyd( )
 Richard Southall papers by Richard Southall Richard Southall( )
 System Development Foundation records by Calif.) System Development Foundation (Palo Alto Calif.) System Development Foundation (Palo Alto( )
 John McCarthy papers by John McCarthy John McCarthy( )
 Donald E. Knuth papers by Donald Ervin Knuth Donald Ervin Knuth( )
 by John McCarthy John McCarthy( )
 by Robert W Floyd Robert W Floyd( )
 by Stanford UniversityStanford University( )
more
fewer
Most widely held works by
Donald Ervin Knuth
The art of computer programming
by
Donald Ervin Knuth(
Book
)
479 editions published between 1968 and 2014 in 7 languages and held by 5,919 WorldCat member libraries worldwide
Donald Knuth is Professor Emeritus of the Art of Computer Programming at Stanford University, and is wellknown worldwide as the creator of the Tex typesetting language. Here he presents the second volume of his guide to computer programming
479 editions published between 1968 and 2014 in 7 languages and held by 5,919 WorldCat member libraries worldwide
Donald Knuth is Professor Emeritus of the Art of Computer Programming at Stanford University, and is wellknown worldwide as the creator of the Tex typesetting language. Here he presents the second volume of his guide to computer programming
Concrete mathematics : a foundation for computer science
by
Ronald L Graham(
Book
)
101 editions published between 1988 and 2012 in 4 languages and held by 1,926 WorldCat member libraries worldwide
101 editions published between 1988 and 2012 in 4 languages and held by 1,926 WorldCat member libraries worldwide
The TeXbook
by
Donald Ervin Knuth(
Book
)
134 editions published between 1953 and 2012 in 4 languages and held by 1,371 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
134 editions published between 1953 and 2012 in 4 languages and held by 1,371 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
Mathematics for the analysis of algorithms
by
Daniel H Greene(
Book
)
46 editions published between 1981 and 2008 in English and German and held by 1,101 WorldCat member libraries worldwide
"A quantitative study of the efficiency of computer methods requires an indepth understanding of both mathematics and computer science. This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, emphasizing the more difficult notions. The authors cover recurrence relations, operator methods, and asymptotic analysis in a format that is terse enough for easy reference yet detailed enough for those with little background. Approximately half the book is devoted to original problems and solutions from examinations given at Stanford."Publisher's website
46 editions published between 1981 and 2008 in English and German and held by 1,101 WorldCat member libraries worldwide
"A quantitative study of the efficiency of computer methods requires an indepth understanding of both mathematics and computer science. This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major paradigms used in the precise analysis of algorithms, emphasizing the more difficult notions. The authors cover recurrence relations, operator methods, and asymptotic analysis in a format that is terse enough for easy reference yet detailed enough for those with little background. Approximately half the book is devoted to original problems and solutions from examinations given at Stanford."Publisher's website
Surreal numbers : how two exstudents turned on to pure mathematics and found total happiness : a mathematical novelette
by
Donald Ervin Knuth(
Book
)
23 editions published between 1974 and 2011 in 3 languages and held by 720 WorldCat member libraries worldwide
23 editions published between 1974 and 2011 in 3 languages and held by 720 WorldCat member libraries worldwide
Mathematical writing
by
Donald Ervin Knuth(
Book
)
21 editions published between 1988 and 1996 in 3 languages and held by 649 WorldCat member libraries worldwide
21 editions published between 1988 and 1996 in 3 languages and held by 649 WorldCat member libraries worldwide
The METAFONTbook
by
Donald Ervin Knuth(
Book
)
47 editions published between 1953 and 2012 in English and Japanese and held by 606 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
47 editions published between 1953 and 2012 in English and Japanese and held by 606 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
TEX : the program
by
Donald Ervin Knuth(
Book
)
47 editions published between 1983 and 2012 in English and Undetermined and held by 562 WorldCat member libraries worldwide
Volume B
47 editions published between 1983 and 2012 in English and Undetermined and held by 562 WorldCat member libraries worldwide
Volume B
The Stanford GraphBase : a platform for combinatorial computing
by
Donald Ervin Knuth(
Book
)
23 editions published between 1993 and 2009 in English and held by 469 WorldCat member libraries worldwide
The Stanford GraphBase: A Platform for Combinatorial Computing represents the first fruits of Donald E. Knuth's preparation for Volume 4 of The Art of Computer Programming. The book's first goal is to demonstrate, through about 30 examples, the art of literate programming. Each example is a programmatic essay, a short story that can be read and enjoyed by human beings as readily as it can be read and interpreted by machines. In these essays/programs, Knuth makes new contributions to the exposition of several important algorithms and data structures, so the programs are of special interest for their content as well as for their style. The book's second goal is to provide a useful means for comparing combinatorial algorithms and for evaluating methods of combinatorial computing. To this end, Knuth's programs offer standard freely available sets of data  the Stanford GraphBase  that may be used as benchmarks to test competing methods. The data sets are both interesting in themselves and applicable to a wide variety of problem domains. With objective tests here made possible, Knuth hopes to bridge the gap between theoretical computer scientists and programmers' who have real problems to solve. As with all of Knuth's writings, this book is appreciated not only for the author's unmatched insight, but also for the fun and the challenge of his work, in which he invites us to participate. He illustrates many of the most significant and most beautiful combinatorial algorithms that are presently known and provides demonstration programs that can lead to hours of amusement. In showing how the Stanford GraphBase can generate an almost exhaustible supply of challenging problems, some of which may lead to the discovery of new and improved algorithms, Knuth proposes friendly competitions. His own initial entries into such competitions are included in the book, and readers are challenged to do better
23 editions published between 1993 and 2009 in English and held by 469 WorldCat member libraries worldwide
The Stanford GraphBase: A Platform for Combinatorial Computing represents the first fruits of Donald E. Knuth's preparation for Volume 4 of The Art of Computer Programming. The book's first goal is to demonstrate, through about 30 examples, the art of literate programming. Each example is a programmatic essay, a short story that can be read and enjoyed by human beings as readily as it can be read and interpreted by machines. In these essays/programs, Knuth makes new contributions to the exposition of several important algorithms and data structures, so the programs are of special interest for their content as well as for their style. The book's second goal is to provide a useful means for comparing combinatorial algorithms and for evaluating methods of combinatorial computing. To this end, Knuth's programs offer standard freely available sets of data  the Stanford GraphBase  that may be used as benchmarks to test competing methods. The data sets are both interesting in themselves and applicable to a wide variety of problem domains. With objective tests here made possible, Knuth hopes to bridge the gap between theoretical computer scientists and programmers' who have real problems to solve. As with all of Knuth's writings, this book is appreciated not only for the author's unmatched insight, but also for the fun and the challenge of his work, in which he invites us to participate. He illustrates many of the most significant and most beautiful combinatorial algorithms that are presently known and provides demonstration programs that can lead to hours of amusement. In showing how the Stanford GraphBase can generate an almost exhaustible supply of challenging problems, some of which may lead to the discovery of new and improved algorithms, Knuth proposes friendly competitions. His own initial entries into such competitions are included in the book, and readers are challenged to do better
A=B
by
Marko Petkovšek(
Book
)
2 editions published in 1996 in English and held by 465 WorldCat member libraries worldwide
In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This autonomy means that not only is it possible to use a PC to find such a proof, but also the proof can be checked easily. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations and if there is no such simplification they will prove this to be the case. The authors present the underlying mathematical theory of these methods, the principle theorems and proofs, and include a package of computer programs that can do these tasks
2 editions published in 1996 in English and held by 465 WorldCat member libraries worldwide
In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This autonomy means that not only is it possible to use a PC to find such a proof, but also the proof can be checked easily. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations and if there is no such simplification they will prove this to be the case. The authors present the underlying mathematical theory of these methods, the principle theorems and proofs, and include a package of computer programs that can do these tasks
Axioms and hulls
by
Donald Ervin Knuth(
Book
)
18 editions published in 1992 in English and held by 448 WorldCat member libraries worldwide
"One way to advance the science of computational geometry is to make a comprehensive study of fundamental operations that are used in many different algorithms. This monograph attempts such an investigation in the case of two basic predicates: the counterclockwise relation pqr, which states that the circle through points (p, q, r) is traversed counterclockwise when we encounter the points in cyclic order p, q, r, p, ... ; and the incircle relation pqrs, which states that s lies inside that circle if pqr is true, or outside that circle if pqr is false. The author, Donald Knuth, is one of the greatest computer scientists of our time. A few years ago, he and some of his students were looking at amap that pinpointed the locations of about 100 cities. They asked, "Which ofthese cities are neighbors of each other?" They knew intuitively that some pairs of cities were neighbors and some were not; they wanted to find a formal mathematical characterization that would match their intuition. This monograph is the result."PUBLISHER'S WEBSITE
18 editions published in 1992 in English and held by 448 WorldCat member libraries worldwide
"One way to advance the science of computational geometry is to make a comprehensive study of fundamental operations that are used in many different algorithms. This monograph attempts such an investigation in the case of two basic predicates: the counterclockwise relation pqr, which states that the circle through points (p, q, r) is traversed counterclockwise when we encounter the points in cyclic order p, q, r, p, ... ; and the incircle relation pqrs, which states that s lies inside that circle if pqr is true, or outside that circle if pqr is false. The author, Donald Knuth, is one of the greatest computer scientists of our time. A few years ago, he and some of his students were looking at amap that pinpointed the locations of about 100 cities. They asked, "Which ofthese cities are neighbors of each other?" They knew intuitively that some pairs of cities were neighbors and some were not; they wanted to find a formal mathematical characterization that would match their intuition. This monograph is the result."PUBLISHER'S WEBSITE
Computer modern typefaces
by
Donald Ervin Knuth(
Book
)
29 editions published between 1986 and 2000 in 3 languages and held by 441 WorldCat member libraries worldwide
Volume E
29 editions published between 1986 and 2000 in 3 languages and held by 441 WorldCat member libraries worldwide
Volume E
METAFONT : the program
by
Donald Ervin Knuth(
Book
)
29 editions published between 1953 and 2000 in English and held by 439 WorldCat member libraries worldwide
Volume D
29 editions published between 1953 and 2000 in English and held by 439 WorldCat member libraries worldwide
Volume D
TEX and METAFONT : new directions in typesetting
by
Donald Ervin Knuth(
Book
)
14 editions published in 1979 in English and held by 432 WorldCat member libraries worldwide
14 editions published in 1979 in English and held by 432 WorldCat member libraries worldwide
MMIXware : a RISC computer for the third millennium
by
Donald Ervin Knuth(
Book
)
20 editions published between 1999 and 2000 in English and held by 426 WorldCat member libraries worldwide
"The main purpose of this book is to provide a complete documentation of the MMIX computer and its assembly language, together with all necessary lowlevel details such as the format of MMMIX object files. A secondary purpose is to provide literate programs of interest in their own right." "All programs of this book are in the public domain, and their latest versions can be downloaded from MMIX's home page together with dozens of example programs from The Art of Computer Programming."Jacket
20 editions published between 1999 and 2000 in English and held by 426 WorldCat member libraries worldwide
"The main purpose of this book is to provide a complete documentation of the MMIX computer and its assembly language, together with all necessary lowlevel details such as the format of MMMIX object files. A secondary purpose is to provide literate programs of interest in their own right." "All programs of this book are in the public domain, and their latest versions can be downloaded from MMIX's home page together with dozens of example programs from The Art of Computer Programming."Jacket
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 1622, 1979
by
A. P Ershov(
Book
)
12 editions published in 1981 in 3 languages and held by 403 WorldCat member libraries worldwide
12 editions published in 1981 in 3 languages and held by 403 WorldCat member libraries worldwide
Literate programming
by
Donald Ervin Knuth(
Book
)
20 editions published between 1982 and 2001 in 3 languages and held by 390 WorldCat member libraries worldwide
Literate programming is a programming methodology that combines a programming language with a documentation language, making programs more robust, more portable, and more easily maintained than programs written only in a highlevel language. Computer programmers already know both kinds of languages; they need only learn a few conventions about alternating between languages to create programs that are works of literature. A literate programmer is an essayist who writes programs for humans to understand, instead of primarily writing instructions for machines to follow. When programs are written in the recommended style, they can be transformed into documents by a document compiler and into efficient code by an algebraic compiler. This anthology of essays from the inventor of literate programming includes Knuth's early papers on related topics such as structured programming, as well as the Computer Journal article that launched literate programming itself
20 editions published between 1982 and 2001 in 3 languages and held by 390 WorldCat member libraries worldwide
Literate programming is a programming methodology that combines a programming language with a documentation language, making programs more robust, more portable, and more easily maintained than programs written only in a highlevel language. Computer programmers already know both kinds of languages; they need only learn a few conventions about alternating between languages to create programs that are works of literature. A literate programmer is an essayist who writes programs for humans to understand, instead of primarily writing instructions for machines to follow. When programs are written in the recommended style, they can be transformed into documents by a document compiler and into efficient code by an algebraic compiler. This anthology of essays from the inventor of literate programming includes Knuth's early papers on related topics such as structured programming, as well as the Computer Journal article that launched literate programming itself
Things a computer scientist rarely talks about
by
Donald Ervin Knuth(
Book
)
11 editions published between 2001 and 2003 in English and Japanese and held by 385 WorldCat member libraries worldwide
How does a computer scientist understand infinity? What can probability theory teach us about free will? This book contains six informal lectures by computer scientist Donald E. Knuth exploring the relationship between his vocation and his faith
11 editions published between 2001 and 2003 in English and Japanese and held by 385 WorldCat member libraries worldwide
How does a computer scientist understand infinity? What can probability theory teach us about free will? This book contains six informal lectures by computer scientist Donald E. Knuth exploring the relationship between his vocation and his faith
Selected papers on computer science
by
Donald Ervin Knuth(
Book
)
15 editions published between 1996 and 2004 in English and held by 375 WorldCat member libraries worldwide
15 editions published between 1996 and 2004 in English and held by 375 WorldCat member libraries worldwide
Selected papers on analysis of algorithms
by
Donald Ervin Knuth(
Book
)
13 editions published in 2000 in English and held by 355 WorldCat member libraries worldwide
13 editions published in 2000 in English and held by 355 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Algorithms Combinations Combinatorial analysis Combinatorial analysisData processing Combinatorial identitiesData processing Computer algorithms Computer architecture Computer graphics Computerized typesetting Computer network architectures Computer programming Computer programs Computers Computers and civilization Computer science Computer scienceMathematics ComputersMoral and ethical aspects Computer software Convex polytopes Font editors Geometry Information storage and retrieval systems Knuth, Donald Ervin, Logic, Symbolic and mathematical Mathematics MathematicsAuthorship Mathematics printing Mathematics printingComputer programs Matroids METAFONT Miller, William F Number concept Number theory Printing Programming (Mathematics) Reduced instruction set computers Religion and science SciencePhilosophy Software engineering Sorting (Electronic computers) Stanford GraphBase Structured programming Surreal numbers Technical writing Technical writingStudy and teaching TeX (Computer file) Type and typefoundingData processing Typesetting Universities and collegesFaculty WEB (Computer program language)
Alternative Names
Ervin Knuth Donald
Knut, D.
Knut, D. 1938
Knut, E.
Knuth, D.
Knuth, D. 1938
Knuth, D. (Donald), 1938
Knuth, D. E.
Knuth, D. E. 1938
Knuth, Don 1938
Knuth, Donald
Knuth, Donald 1938
Knuth, Donald E.
Knuth, Donald E. 1938
Knuth, Donald Ervin
Knuth, Donalʹd Ėrvin 1938
Kunūsu, Donarudo E. 1938
Кнут, Д 1938
Кнут, Дональд Э 1938
クヌース, ドナルド・E
Languages
Covers