An Interview with Donald Knuth 33
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae Available Online
Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae available Online Bio BIO Donald Ervin Knuth is an American computer scientist, mathematician, and Professor Emeritus at Stanford University. He is the author of the multi-volume work The Art of Computer Programming and has been called the "father" of the analysis of algorithms. He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces. As a writer and scholar,[4] Knuth created the WEB and CWEB computer programming systems designed to encourage and facilitate literate programming, and designed the MIX/MMIX instruction set architectures. As a member of the academic and scientific community, Knuth is strongly opposed to the policy of granting software patents. He has expressed his disagreement directly to the patent offices of the United States and Europe. (via Wikipedia) ACADEMIC APPOINTMENTS • Professor Emeritus, Computer Science HONORS AND AWARDS • Grace Murray Hopper Award, ACM (1971) • Member, American Academy of Arts and Sciences (1973) • Turing Award, ACM (1974) • Lester R Ford Award, Mathematical Association of America (1975) • Member, National Academy of Sciences (1975) 5 OF 44 PROFESSIONAL EDUCATION • PhD, California Institute of Technology , Mathematics (1963) PATENTS • Donald Knuth, Stephen N Schiller. "United States Patent 5,305,118 Methods of controlling dot size in digital half toning with multi-cell threshold arrays", Adobe Systems, Apr 19, 1994 • Donald Knuth, LeRoy R Guck, Lawrence G Hanson. -
Modified Moments for Indefinite Weight Functions [2Mm] (A Tribute
Modified Moments for Indefinite Weight Functions (a Tribute to a Fruitful Collaboration with Gene H. Golub) Martin H. Gutknecht Seminar for Applied Mathematics ETH Zurich Remembering Gene Golub Around the World Leuven, February 29, 2008 Martin H. Gutknecht Modified Moments for Indefinite Weight Functions My education in numerical analysis at ETH Zurich My teachers of numerical analysis: Eduard Stiefel [1909–1978] (first, basic NA course, 1964) Peter Läuchli [b. 1928] (ALGOL, 1965) Hans-Rudolf Schwarz [b. 1930] (numerical linear algebra, 1966) Heinz Rutishauser [1917–1970] (follow-up numerical analysis course; “selected chapters of NM” [several courses]; computer hands-on training) Peter Henrici [1923–1987] (computational complex analysis [many courses]) The best of all worlds? Martin H. Gutknecht Modified Moments for Indefinite Weight Functions My education in numerical analysis (cont’d) What did I learn? Gauss elimination, simplex alg., interpolation, quadrature, conjugate gradients, ODEs, FDM for PDEs, ... qd algorithm [often], LR algorithm, continued fractions, ... many topics in computational complex analysis, e.g., numerical conformal mapping What did I miss to learn? (numerical linear algebra only) QR algorithm nonsymmetric eigenvalue problems SVD (theory, algorithms, applications) Lanczos algorithm (sym., nonsym.) Padé approximation, rational interpolation Martin H. Gutknecht Modified Moments for Indefinite Weight Functions My first encounters with Gene H. Golub Gene’s first two talks at ETH Zurich (probably) 4 June 1971: “Some modified eigenvalue problems” 28 Nov. 1974: “The block Lanczos algorithm” Gene was one of many famous visitors Peter Henrici attracted. Fall 1974: GHG on sabbatical at ETH Zurich. I had just finished editing the “Lectures of Numerical Mathematics” of Heinz Rutishauser (1917–1970). -
Mathematical Circus & 'Martin Gardner
MARTIN GARDNE MATHEMATICAL ;MATH EMATICAL ASSOCIATION J OF AMERICA MATHEMATICAL CIRCUS & 'MARTIN GARDNER THE MATHEMATICAL ASSOCIATION OF AMERICA Washington, DC 1992 MATHEMATICAL More Puzzles, Games, Paradoxes, and Other Mathematical Entertainments from Scientific American with a Preface by Donald Knuth, A Postscript, from the Author, and a new Bibliography by Mr. Gardner, Thoughts from Readers, and 105 Drawings and Published in the United States of America by The Mathematical Association of America Copyright O 1968,1969,1970,1971,1979,1981,1992by Martin Gardner. All riglhts reserved under International and Pan-American Copyright Conventions. An MAA Spectrum book This book was updated and revised from the 1981 edition published by Vantage Books, New York. Most of this book originally appeared in slightly different form in Scientific American. Library of Congress Catalog Card Number 92-060996 ISBN 0-88385-506-2 Manufactured in the United States of America For Donald E. Knuth, extraordinary mathematician, computer scientist, writer, musician, humorist, recreational math buff, and much more SPECTRUM SERIES Published by THE MATHEMATICAL ASSOCIATION OF AMERICA Committee on Publications ANDREW STERRETT, JR.,Chairman Spectrum Editorial Board ROGER HORN, Chairman SABRA ANDERSON BART BRADEN UNDERWOOD DUDLEY HUGH M. EDGAR JEANNE LADUKE LESTER H. LANGE MARY PARKER MPP.a (@ SPECTRUM Also by Martin Gardner from The Mathematical Association of America 1529 Eighteenth Street, N.W. Washington, D. C. 20036 (202) 387- 5200 Riddles of the Sphinx and Other Mathematical Puzzle Tales Mathematical Carnival Mathematical Magic Show Contents Preface xi .. Introduction Xlll 1. Optical Illusions 3 Answers on page 14 2. Matches 16 Answers on page 27 3. -
Fundamental Theorems in Mathematics
SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635]. -
The Annals of the UK TEX Users' Group Editor: Editor
Baskerville The Annals of the UK TEX Users’ Group Editor: Editor: Sebastian Rahtz Vol. 4 No. 6 ISSN 1354–5930 February 1998 Articles may be submitted via electronic mail to [email protected], or on MSDOS-compatible discs, to Sebastian Rahtz, Elsevier Science Ltd, The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, to whom any correspondence concerning Baskerville should also be addressed. This reprint of Baskerville is set in Times Roman, with Computer Modern Typewriter for literal text; the source is archived on CTAN in usergrps/uktug. Back issues from the previous 12 months may be ordered from UKTUG for £2 each; earlier issues are archived on CTAN in usergrps/uktug. Please send UKTUG subscriptions, and book or software orders, to Peter Abbott, 1 Eymore Close, Selly Oak, Birmingham B29 4LB. Fax/telephone: 0121 476 2159. Email enquiries about UKTUG to uktug- [email protected]. –1– I Editorial This is the first edition of Baskerville entirely devoted to a single topic. It arose from discussion within your committee of what we might reasonably do which helps our members, but which isn’t already done elsewhere. We hope it will prove useful to you. We would welcome comments on the utility or otherwise of the article, and on ways it could be improved; letters to the editor are always welcome. Future uses of this edition could include inserting it into a ‘new members pack’, publishing updated questions, and possibly republishing the whole thing. This edition of Baskerville was processed using a testing copy of the December 1994 release of LATEX2ε, but none of the answers to questions assume that that version is available (it’s scheduled for public release in the middle of December). -
§1 1 1. Comments on Yac2o2's Readmev1 .1 File — Date
x1 READMEV1.1 COMMENTS ON Yac2o2'S READMEV1 :1 FILE | DATE: February 16, 2015 1 1. Comments on Yac2o2's READMEv1 :1 file | Date: February 16, 2015. Project: Yac2o2 | Multi-threaded lr(1) Compiler/compiler system Distributed under license: Mozilla Public License, v. 2.0. Distribution Date: February 16, 2015 Distribution version: 1.1 Comments: Currently for the Unix flavoured Platforms Author: Dave Bone Support email: [email protected] Contributors list: Dave Bone The distribution contains the programs: compiler/compiler O2 and its linker O2linker, along with its runtime library yacco2. There are build scripts for platforms: Apple, GNU, Solaris. Various documents, grammars, reference manual, quality assurance suites, and generated c++ source code are included. These items are elaborated upon further within this document. 2. License. Yac2o2's distributed source code is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, you can obtain one at http://mozilla.org/MPL/2.0/. As best as I could, the \Literate programming" w type files contain a reference to this license along with their generated documents. The c++ source files generated from the w files do not and will not have any comments referencing this license but are also subject to its terms. The ctangle program generating the c++ code does not emit programmer c type comments. It emits \#line" macro references to the w file and only c comments to its gened document's section number. Any discovered license omissions required to be referenced within Yac2o2's Project files are still covered by this license and will be corrected in future distributions. -
The Treasure Chest for Compatibility with Texpower and Seminar
TUGboat, Volume 22 (2001), No. 1/2 67 the concept of pdfslide, but completely rewritten The Treasure Chest for compatibility with texpower and seminar. ifsym: in fonts Fonts with symbols for alpinistic, electronic, mete- orological, geometric, etc., usage. A LATEX2ε pack- age simplifies usage. Packages posted to CTAN jas99_m.bst: in biblio/bibtex/contrib “What’s in a name?” I did not realize that Jan Update of jas99.bst,modifiedforbetterconfor- Tschichold’s typographic standards lived on in the mity to the American Meteorological Society. koma-script package often mentioned on usenet (in LaTeX WIDE: in nonfree/systems/win32/LaTeX_WIDE comp.text.tex) until I happened upon the listing A demonstration version of an integrated editor for it in a previous edition of “The Treasure Chest”. and shell for TEX— free for noncommercial use, but without registration, customization is disabled. This column is an attempt to give TEX users an on- : LAT X2ε macro package of simple, “little helpers” going glimpse of the trove which is CTAN. lhelp E converted into dtx format. Includes common units This is a chronological list of packages posted with preceding thinspaces, framed boxes, start new to CTAN between June and December 2000 with odd or even pages, draft markers, notes, condi- descriptive text pulled from the announcement and tional includes (including EPS files), and versions edited for brevity — however, all errors are mine. of enumerate and itemize which allow spacing to Packages are in alphabetic order and are listed only be changed. in the last month they were updated. Individual files makecmds Provides commands to make commands, envi- / partial uploads are listed under their own name if ronments, counters and lengths. -
COMPUTERSCIENCE Science
BIBLIOGRAPHY DEPARTMENT OF COMPUTER SCIENCE TECHNICAL REPORTS, 1963- 1988 Talecn Marashian Nazarian Department ofComputer Science Stanford University Stanford, California 94305 1 X Abstract: This report lists, in chronological order, all reports published by the Stanford Computer Science Department (CSD) since 1963. Each report is identified by CSD number, author's name, title, number of pages, and date. If a given report is available from the department at the time of this Bibliography's printing, price is also listed. For convenience, an author index is included in the back of the text. Some reports are noted with a National Technical Information Service (NTIS) retrieval number (i.e., AD-XXXXXX), if available from the NTIS. Other reports are noted with Knowledge Systems Laboratory {KSL) or Computer Systems Laboratory (CSL) numbers (KSL-XX-XX; CSL-TR-XX-XX), and may be requested from KSL or (CSL), respectively. 2 INSTRUCTIONS In the Bibliography which follows, there is a listing for each Computer Science Department report published as of the date of this writing. Each listing contains the following information: " Report number(s) " Author(s) " Tide " Number ofpages " Month and yearpublished " NTIS number, ifknown " Price ofhardcopy version (standard price for microfiche: $2/copy) " Availability code AVAILABILITY CODES i. + hardcopy and microfiche 2. M microfiche only 3. H hardcopy only 4. * out-of-print All Computer Science Reports, if in stock, may be requested from following address: Publications Computer Science Department Stanford University Stanford, CA 94305 phone: (415) 723-4776 * 4 % > 3 ALTERNATIVE SOURCES Rising costs and restrictions on the use of research funds for printing reports have made it necessary to charge for all manuscripts. -
A Literate Programming Approach for Hardware Description Language In- Struction
Paper ID #26263 A Literate Programming Approach for Hardware Description Language In- struction Dr. J.W. Bruce, Tennessee Technological University J.W. Bruce is with the Department of Electrical & Computer Engineering at Tennessee Technological University in Cookeville, Tennessee USA Dr. Bryan A. Jones, Mississippi State University Bryan A. Jones received the B.S.E.E. and M.S. degrees in electrical engineering from Rice University, Houston, TX, in 1995 and 2002, respectively, and the Ph.D. degree in electrical engineering from Clemson University, Clemson, SC, in 2005. He is currently an Associate Professor at Mississippi State University, Mississippi State, MS. From 1996 to 2000, he was a Hardware Design Engineer with Compaq, where he specialized in board lay- out for high-availability redundant array of independent disks (RAID) controllers. His research interests include engineering education, robotics, and literate programming. Dr. Mahnas Jean Mohammadi-Aragh, Mississippi State University Dr. Jean Mohammadi-Aragh is an assistant professor in the Department of Electrical and Computer Engi- neering at Mississippi State University. Dr. Mohammadi-Aragh investigates the use of digital systems to measure and support engineering education, specifically through learning analytics and the pedagogical uses of digital systems. She also investigates fundamental questions critical to improving undergraduate engineering degree pathways. She earned her Ph.D. in Engineering Education from Virginia Tech. In 2013, Dr. Mohammadi-Aragh was honored as a promising new engineering education researcher when she was selected as an ASEE Educational Research and Methods Division Apprentice Faculty. c American Society for Engineering Education, 2019 A Literate Programming Approach for Hardware Description Language Instruction INTRODUCTION Digital devices are ubiquitous in modern life. -
Herbert S. Wilf (1931–2012)
Herbert S. Wilf (1931–2012) Fan Chung, Curtis Greene, Joan Hutchinson, Coordinating Editors received both the Steele Prize for Seminal Contri- butions to Research (from the AMS, 1998) and the Deborah and Franklin Tepper Haimo Award for Dis- tinguished Teaching (from the MAA, 1996). During his long tenure at Penn he advised twenty-six PhD students and won additional awards, including the Christian and Mary Lindback Award for excellence in undergraduate teaching. Other professional honors and awards included a Guggenheim Fellow- ship in 1973–74 and the Euler Medal, awarded in 2002 by the Institute for Combinatorics and its Applications. Herbert Wilf’s mathematical career can be divided into three main phases. First was numerical analysis, in which he did his PhD dissertation Photo courtesy of Ruth Wilf. (under Herbert Robbins at Columbia University Herb Wilf, Thanksgiving, 2009. in 1958) and wrote his first papers. Next was complex analysis and the theory of inequalities, in particular, Hilbert’s inequalities restricted to n Herbert S. Wilf, Thomas A. Scott Emeritus Professor variables. He wrote a cluster of papers on this topic, of Mathematics at the University of Pennsylvania, some with de Bruijn [1] and some with Harold died on January 7, 2012, in Wynnewood, PA, of Widom [2]. Wilf’s principal research focus during amyotrophic lateral sclerosis (ALS). He taught at the latter part of his career was combinatorics. Penn for forty-six years, retiring in 2008. He was In 1965 Gian-Carlo Rota came to the University widely recognized both for innovative research of Pennsylvania to give a colloquium talk on his and exemplary teaching: in addition to receiving then-recent work on Möbius functions and their other awards, he is the only mathematician to have role in combinatorics. -
The UK Tex FAQ Your 469 Questions Answered Version 3.28, Date 2014-06-10
The UK TeX FAQ Your 469 Questions Answered version 3.28, date 2014-06-10 June 10, 2014 NOTE This document is an updated and extended version of the FAQ article that was published as the December 1994 and 1995, and March 1999 editions of the UK TUG magazine Baskerville (which weren’t formatted like this). The article is also available via the World Wide Web. Contents Introduction 10 Licence of the FAQ 10 Finding the Files 10 A The Background 11 1 Getting started.............................. 11 2 What is TeX?.............................. 11 3 What’s “writing in TeX”?....................... 12 4 How should I pronounce “TeX”?................... 12 5 What is Metafont?........................... 12 6 What is Metapost?........................... 12 7 Things with “TeX” in the name.................... 13 8 What is CTAN?............................ 14 9 The (CTAN) catalogue......................... 15 10 How can I be sure it’s really TeX?................... 15 11 What is e-TeX?............................ 15 12 What is PDFTeX?........................... 16 13 What is LaTeX?............................ 16 14 What is LaTeX2e?........................... 16 15 How should I pronounce “LaTeX(2e)”?................. 17 16 Should I use Plain TeX or LaTeX?................... 17 17 How does LaTeX relate to Plain TeX?................. 17 18 What is ConTeXt?............................ 17 19 What are the AMS packages (AMSTeX, etc.)?............ 18 20 What is Eplain?............................ 18 21 What is Texinfo?............................ 19 22 Lollipop................................ 19 23 If TeX is so good, how come it’s free?................ 19 24 What is the future of TeX?....................... 19 25 Reading (La)TeX files......................... 19 26 Why is TeX not a WYSIWYG system?................. 20 27 TeX User Groups............................ 21 B Documentation and Help 21 28 Books relevant to TeX and friends................... -
Luatex Reference Manual
LuaTEX Reference Manual stable April 2021 Version 1.13 LuaTEX Reference Manual copyright : LuaTEX development team more info : www.luatex.org version : April 11, 2021 Contents Introduction 13 1 Preamble 17 2 Basic TEX enhancements 19 2.1 Introduction 19 2.1.1 Primitive behaviour 19 2.1.2 Version information 19 2.2 UNICODE text support 20 2.2.1 Extended ranges 20 2.2.2 \Uchar 21 2.2.3 Extended tables 21 2.3 Attributes 21 2.3.1 Nodes 21 2.3.2 Attribute registers 22 2.3.3 Box attributes 22 2.4 LUA related primitives 23 2.4.1 \directlua 23 2.4.2 \latelua and \lateluafunction 25 2.4.3 \luaescapestring 25 2.4.4 \luafunction, \luafunctioncall and \luadef 25 2.4.5 \luabytecode and \luabytecodecall 26 2.5 Catcode tables 27 2.5.1 Catcodes 27 2.5.2 \catcodetable 27 2.5.3 \initcatcodetable 27 2.5.4 \savecatcodetable 27 2.6 Suppressing errors 28 2.6.1 \suppressfontnotfounderror 28 2.6.2 \suppresslongerror 28 2.6.3 \suppressifcsnameerror 28 2.6.4 \suppressoutererror 28 2.6.5 \suppressmathparerror 28 2.6.6 \suppressprimitiveerror 29 2.7 Fonts 29 2.7.1 Font syntax 29 2.7.2 \fontid and \setfontid 29 2.7.3 \noligs and \nokerns 29 2.7.4 \nospaces 30 2.8 Tokens, commands and strings 30 2.8.1 \scantextokens 30 2.8.2 \toksapp, \tokspre, \etoksapp, \etokspre, \gtoksapp, \gtokspre, \xtoksapp, \xtokspre 30 2.8.3 \csstring, \begincsname and \lastnamedcs 31 1 2.8.4 \clearmarks 31 2.8.5 \alignmark and \aligntab 31 2.8.6 \letcharcode 31 2.8.7 \glet 32 2.8.8 \expanded, \immediateassignment and \immediateassigned 32 2.8.9 \ifcondition 33 2.9 Boxes, rules and leaders