Skip to search formSkip to main contentSkip to account menu

Knuth Prize

Known as: Knuth Prize laureates, Donald Knuth Prize, The Donald E. Knuth Prize 
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
espanol“El presente solo se forma del pasado, y lo que se encuentra en el efecto estaba ya en la causa” (Henri Bergson… 
2012
2012
In this reported work, Knuth's balancing scheme, which was originally developed for unconstrained binary codewords is adapted… 
2009
2009
The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967… 
2007
2007
1 . Introduction .............................................................................................................. 1… 
2001
2001
Theorema is a mathematical software system emphasizing computer-supported theorem proving. Theorema is implemented in Mathematica… 
1998
1998
The Robinson-Schensted-Knuth correspondence (RSK, see [8] and Corollary 2.5 below) is a bijection between pairs of semi-standard… 
1995
1995
The German automobile industry, and particularly the Volkswagen company (VW), has been a crucial part of Germany's post-war… 
1984
1984
Les grammaires par attribut, introduites en premier par Knuth sont des outils puissants pour definir la semantique d'un langage… 
1980
1980
Jean Sammet’s Roster of Programming Languages for 1974-75 (Sammet 1976) includes 167 different programming languages which were… 
1976
1976
In appendices to The Art of Computer Programming [3], Knuth lists 33 mathematical constants to 40 decimal and 44 octal places. In…