WorldCat Identities

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
 
moreShow More Titles
fewerShow Fewer Titles
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 well-known 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
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
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 in-depth 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 ex-students 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
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
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
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
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
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
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
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
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
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
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 low-level 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 16-22, 1979 by A. P Ershov( Book )
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 high-level 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
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
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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.00 for Records, 1 ... to 1.00 for Oral histo ...)
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
English (1,052)
Japanese (17)
Polish (9)
French (8)
German (7)
Italian (2)
Chinese (1)
Spanish (1)
Covers