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)

Related topics

Related topics

7 relations
ACM SIGACTComputer scienceGödel PrizeSecure multi-party computation

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Stories of Drug Trafficking in Rural Mexico: Territories, Drugs and Cartels in Michoacán
In the international media, drug-related violence, corruption and militarization have received much attention. While this is… 
2011
2011
F q -pseudoreguli of PG ( 3 , q 3 ) and scattered semifields of order q 6
In this paper, we study rank two semifields of order q that are of scattered type. The known examples of such semifields are some… 
2009
2009
Counting the spanning trees of a directed line graph
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-On the History of Fermat ’ s Last Theorem : A Down-to-Earth Approach
1 . Introduction .............................................................................................................. 1… 
2005
2005
Taxonomic Revision of Geranium sect. Dissecta (Geraniaceae)
Abstract Geranium section Dissecta (Geraniaceae) consists of four species centered in Eurasia, between the Mediterranean region… 
2001
2001
Logicographic Symbols: A New Feature in Theorema
Theorema is a mathematical software system emphasizing computer-supported theorem proving. Theorema is implemented in Mathematica… 
2001
2001
Some new classes of finite parallelisms
Some new constructions of parallelisms in are given that produce parallelisms consisting of one Desarguesian spread and derived… 
1998
1998
Oscillating Tableaux , S p × S q-modules , and Robinson-Schensted-Knuth correspondence Extended
The Robinson-Schensted-Knuth correspondence (RSK, see [8] and Corollary 2.5 below) is a bijection between pairs of semi-standard… 
1981
1981
Field Testing the Transformational Question Answering (TQA) System
The Transformatlonal question Answering (TqA) system was developed over a period of time beginning in the early part of the last… 
1974
1974
Structured programming, programming teaching and the language Pascal
5tructured pr09ramm1n9, pr09ramm1n9 teach1n9 and the 1an9ua9e Pa5ca1 011v1er Lecarme D6partement d • 1nf0rmat14ue Un1ver51t6 de… 
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)