Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,930 papers from all fields of science
Search
Sign In
Create Free Account
Knuth Prize
Known as:
Knuth Prize laureates
, Donald Knuth Prize
, The Donald E. Knuth Prize
Expand
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)
Create Alert
Alert
Related topics
Related topics
7 relations
ACM SIGACT
Computer science
Gödel Prize
Secure multi-party computation
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Chi si prepara a sfidare Donald Moderato o radicale
Giuseppe Sarcina
,
corrispondente da Washington
2018
Corpus ID: 189543063
2016
2016
Conservar, conjugación del verbo con fondos textiles de museos militares
E. Domínguez
2016
Corpus ID: 194416358
espanol“El presente solo se forma del pasado, y lo que se encuentra en el efecto estaba ya en la causa” (Henri Bergson…
Expand
2015
2015
The Robinson-Schensted-Knuth Correspondence : Properties , Applications , and Generalizations
Connor Ahlbach
2015
Corpus ID: 15987992
Since it was originally defined by Schensted [19] in 1961 to study increasing and decreasing subsequences of permutations, the…
Expand
2012
2012
Markers to construct DC free (d, k) constrained balanced block codes using Knuth's inversion
H. C. Ferreira
,
J. Weber
,
C. H. Heymann
,
Kees A. Schouhamer Immink
2012
Corpus ID: 1191801
In this reported work, Knuth's balancing scheme, which was originally developed for unconstrained binary codewords is adapted…
Expand
2009
2009
Counting the spanning trees of a directed line graph
H. Bidkhori
,
S. Kishore
2009
Corpus ID: 115159727
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…
Expand
2007
2007
- 1-On the History of Fermat ’ s Last Theorem : A Down-to-Earth Approach
L. Corry
,
Simon Singh
,
J. Lynch
2007
Corpus ID: 53376497
1 . Introduction .............................................................................................................. 1…
Expand
2001
2001
Logicographic Symbols: A New Feature in Theorema
B. Buchberger
2001
Corpus ID: 10157370
Theorema is a mathematical software system emphasizing computer-supported theorem proving. Theorema is implemented in Mathematica…
Expand
1998
1998
Oscillating Tableaux , S p × S q-modules , and Robinson-Schensted-Knuth correspondence Extended
I. Pak
,
A. Postnikov
1998
Corpus ID: 857960
The Robinson-Schensted-Knuth correspondence (RSK, see [8] and Corollary 2.5 below) is a bijection between pairs of semi-standard…
Expand
1995
1995
From "Beetle Monoculture" to the "German Model": the Transformation of Volkswagen, 1967-1991
Steven Tomday
1995
Corpus ID: 18989688
The German automobile industry, and particularly the Volkswagen company (VW), has been a crucial part of Germany's post-war…
Expand
1976
1976
Knuth's Constants to 1000 Decimal and 1100 Octal Places
R. Brent
1976
Corpus ID: 121281135
In appendices to The Art of Computer Programming [3], Knuth lists 33 mathematical constants to 40 decimal and 44 octal places. In…
Expand