Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,381,120 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.
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
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
1984
1984
Top-down Semantic Analysis
G. Adorni
,
A. Boccalatte
,
M. Manzo
1984
Corpus ID: 62030959
Les grammaires par attribut, introduites en premier par Knuth sont des outils puissants pour definir la semantique d'un langage…
Expand
1980
1980
THE DESIGN AND USE OF CONVENTIONAL PROGRAMMING LANGUAGES
M. Jackson
1980
Corpus ID: 3252448
Jean Sammet’s Roster of Programming Languages for 1974-75 (Sammet 1976) includes 167 different programming languages which were…
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE