TUGBOAT Volume 23, Number 3/4 / 2002
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. -
Typeset MMIX Programs with TEX Udo Wermuth Abstract a TEX Macro
TUGboat, Volume 35 (2014), No. 3 297 Typeset MMIX programs with TEX Example: In section 9 the lines \See also sec- tion 10." and \This code is used in section 24." are given. Udo Wermuth No such line appears in section 10 as it only ex- tends the replacement code of section 9. (Note that Abstract section 10 has in its headline the number 9.) In section 24 the reference to section 9 stands for all of ATEX macro package is presented as a literate pro- the eight code lines stated in sections 9 and 10. gram. It can be included in programs written in the If a section is not used in any other section then languages MMIX or MMIXAL without affecting the it is a root and during the extraction of the code a assembler. Such an instrumented file can be pro- file is created that has the name of the root. This file cessed by TEX to get nicely formatted output. Only collects all the code in the sequence of the referenced a new first line and a new last line must be entered. sections from the code part. The collection process And for each end-of-line comment a flag is set to for all root sections is called tangle. A second pro- indicate that the comment is written in TEX. cess is called weave. It outputs the documentation and the code parts as a TEX document. How to read the following program Example: The following program has only one The text that starts in the next chapter is a literate root that is defined in section 4 with the headline program [2, 1] written in a style similar to noweb [7]. -
Math Symbol Tables
APPENDIX A I Math symbol tables A.I Hebrew letters Type: Print: Type: Print: \aleph ~ \beth :J \daleth l \gimel J All symbols but \aleph need the amssymb package. 346 Appendix A A.2 Greek characters Type: Print: Type: Print: Type: Print: \alpha a \beta f3 \gamma 'Y \digamma F \delta b \epsilon E \varepsilon E \zeta ( \eta 'f/ \theta () \vartheta {) \iota ~ \kappa ,.. \varkappa x \lambda ,\ \mu /-l \nu v \xi ~ \pi 7r \varpi tv \rho p \varrho (} \sigma (J \varsigma <; \tau T \upsilon v \phi ¢ \varphi 'P \chi X \psi 'ljJ \omega w \digamma and \ varkappa require the amssymb package. Type: Print: Type: Print: \Gamma r \varGamma r \Delta L\ \varDelta L.\ \Theta e \varTheta e \Lambda A \varLambda A \Xi ~ \varXi ~ \Pi II \varPi II \Sigma 2: \varSigma E \Upsilon T \varUpsilon Y \Phi <I> \varPhi t[> \Psi III \varPsi 1ft \Omega n \varOmega D All symbols whose name begins with var need the amsmath package. Math symbol tables 347 A.3 Y1EX binary relations Type: Print: Type: Print: \in E \ni \leq < \geq >'" \11 « \gg \prec \succ \preceq \succeq \sim \cong \simeq \approx \equiv \doteq \subset c \supset \subseteq c \supseteq \sqsubseteq c \sqsupseteq \smile \frown \perp 1- \models F \mid I \parallel II \vdash f- \dashv -1 \propto <X \asymp \bowtie [Xl \sqsubset \sqsupset \Join The latter three symbols need the latexsym package. 348 Appendix A A.4 AMS binary relations Type: Print: Type: Print: \leqs1ant :::::; \geqs1ant ): \eqs1ant1ess :< \eqs1antgtr :::> \lesssim < \gtrsim > '" '" < > \lessapprox ~ \gtrapprox \approxeq ~ \lessdot <:: \gtrdot Y \111 «< \ggg »> \lessgtr S \gtr1ess Z < >- \lesseqgtr > \gtreq1ess < > < \gtreqq1ess \lesseqqgtr > < ~ \doteqdot --;- \eqcirc = .2.. -
P Font-Change Q UV 3
p font•change q UV Version 2015.2 Macros to Change Text & Math fonts in TEX 45 Beautiful Variants 3 Amit Raj Dhawan [email protected] September 2, 2015 This work had been released under Creative Commons Attribution-Share Alike 3.0 Unported License on July 19, 2010. You are free to Share (to copy, distribute and transmit the work) and to Remix (to adapt the work) provided you follow the Attribution and Share Alike guidelines of the licence. For the full licence text, please visit: http://creativecommons.org/licenses/by-sa/3.0/legalcode. 4 When I reach the destination, more than I realize that I have realized the goal, I am occupied with the reminiscences of the journey. It strikes to me again and again, ‘‘Isn’t the journey to the goal the real attainment of the goal?’’ In this way even if I miss goal, I still have attained goal. Contents Introduction .................................................................................. 1 Usage .................................................................................. 1 Example ............................................................................... 3 AMS Symbols .......................................................................... 3 Available Weights ...................................................................... 5 Warning ............................................................................... 5 Charter ....................................................................................... 6 Utopia ....................................................................................... -
The Begingreek Package
The begingreek package Claudio Beccari – claudio dot beccari at gmail dot com Version v.1.5 of 2015/02/16 Contents 5 The new greek environment 3 1 Introduction 1 6 The command \greektxt 4 2 Usage 2 7 Font shapes and series 4 8 Examples 5 3 Incomplete fonts and differ- ent encoding 3 9 Acknowledgements 5 4 Default font control 3 10 The code 6 Abstract This small extension module defines the environment greek to be used with pdfLaTeX so as to imitate the similar environment defined in polyglossia. A corresponding command, \greektxt, is also defined. Of course there are some differences, but it has been used extensively and it is useful. 1 Introduction When using pdfLaTeX and babel, language changes are done with babel’s lan- guage switching commands \selectlanguage, \foreignlanguage or with the environments otherlanguage and otherlanguage*. They work fine, but some- times it is better to have a more “agile” command or environment that can be used at least in place of the last three commands or environments. Some more extra functionalities may be desirable, such as the possibility of specifying a different default font family or to switch font family for a particular stretch of Greek text. This small module does exactly what is described above; it has been created only to be used with pdfLaTeX, therefore if it gets loaded with a package that will be run with XeLaTeX or LuaLaTex it will complain loudly and its loading will be aborted; no, not simply that: the only way to exit from this wrong situation is to quit compilation. -
Steps-In-Scala.Pdf
This page intentionally left blank STEPS IN SCALA An Introduction to Object-Functional Programming Object-functional programming is already here. Scala is the most prominent rep- resentative of this exciting approach to programming, both in the small and in the large. In this book we show how Scala proves to be a highly expressive, concise, and scalable language, which grows with the needs of the programmer, whether professional or hobbyist. Read the book to see how to: • leverage the full power of the industry-proven JVM technology with a language that could have come from the future; • learn Scala step-by-step, following our complete introduction and then dive into spe- cially chosen design challenges and implementation problems, inspired by the real-world, software engineering battlefield; • embrace the power of static typing and automatic type inference; • use the dual object and functional oriented natures combined at Scala’s core, to see how to write code that is less “boilerplate” and to witness a real increase in productivity. Use Scala for fun, for professional projects, for research ideas. We guarantee the experience will be rewarding. Christos K. K. Loverdos is a research inclined computer software profes- sional. He holds a B.Sc. and an M.Sc. in Computer Science. He has been working in the software industry for more than ten years, designing and implementing flex- ible, enterprise-level systems and making strategic technical decisions. He has also published research papers on topics including digital typography, service-oriented architectures, and highly available distributed systems. Last but not least, he is an advocate of open source software. -
Implementation of a MIX Emulator: a Case Study of the Scala Programming Language Facilities
ISSN 2255-8691 (online) Applied Computer Systems ISSN 2255-8683 (print) December 2017, vol. 22, pp. 47–53 doi: 10.1515/acss-2017-0017 https://www.degruyter.com/view/j/acss Implementation of a MIX Emulator: A Case Study of the Scala Programming Language Facilities Ruslan Batdalov1, Oksana Ņikiforova2 1, 2 Riga Technical University, Latvia Abstract – Implementation of an emulator of MIX, a mythical synchronous manner, possible errors in a program may remain computer invented by Donald Knuth, is used as a case study of unnoticed. In the authors’ opinion, these checks are useful in the features of the Scala programming language. The developed mastering how to write correct programs because similar emulator provides rich opportunities for program debugging, such as tracking intermediate steps of program execution, an errors often occur in a modern program despite all changes in opportunity to run a program in the binary or the decimal mode hardware and software technologies. Therefore, it would be of MIX, verification of correct synchronisation of input/output helpful if an emulator supported running programs in different operations. Such Scala features as cross-compilation, family modes and allowed checking that the execution result was the polymorphism and support for immutable data structures have same in all cases. proved to be useful for implementation of the emulator. The The programming language chosen by the authors for the authors of the paper also propose some improvements to these features: flexible definition of family-polymorphic types, implementation of an emulator supporting these features is integration of family polymorphism with generics, establishing Scala. This choice is arbitrary to some extent and rather full equivalence between mutating operations on mutable data dictated by the authors’ interest in the features of this types and copy-and-modify operations on immutable data types. -
Tutorium Quercopolitanum
Katholische Universität Eichstätt-Ingolstadt Geschichts- und Gesellschaftswissenschaftliche Fakultät Lehrstuhl für Alte Geschichte TUTORIUM QUERCOPOLITANUM Ein althistorisches Proseminar © Andreas Hartmann, Eichstätt 10-2009 http://www.gnomon.ku-eichstaett.de/LAG/proseminar TUTORIUM QUERCOPOLITANUM – ANDREAS HARTMANN VORWORT 1 VORWORT Das vorliegende Tutorium hat eine komplexe Entstehungsgeschichte, die schon in sich ein ge- eignetes Objekt für „German Quellenforschung“ wäre: Bis vor etlichen Jahren wurde in den althistorischen Proseminaren an der Katholischen Universität Eichstätt-Ingolstadt ein „Alt- historisches Proseminarheft“ eingesetzt, das im Kern von Kai Brodersen für die Universitäten München bzw. Mannheim erstellt, dann von Beate Greif und vor allem Gregor Weber auf die Eichstätter Verhältnisse angepasst und aktualisiert wurde. Dieses Proseminarheft, das auch über Eichstätt hinaus eine sehr positive Resonanz erfahren hat, steht mittlerweile in einer aktualisierten Version auf den Seiten des Lehrstuhls für Alte Geschichte an der Universität Augsburg (http://www.philhist.uni-augsburg.de/lehrstuehle/geschichte/alte/links/Studienhilfe) zur Verfügung und wurde auch vom Seminar für Alte Geschichte der Universität Freiburg in geringfügig adaptierter Form übernommen (http://www.sag.uni-freiburg.de/materialien-zu- den-lehrveranstaltungen/proseminare/proseminarheft/view). Als der Autor im Wintersemester 2002/03 erstmals das Proseminar in Eichstätt durchführte, war zunächst daran gedacht, einfach das vorliegende „Proseminarheft“ dafür -
Literate Programming and Reproducible Research
JSS Journal of Statistical Software January 2012, Volume 46, Issue 3. http://www.jstatsoft.org/ A Multi-Language Computing Environment for Literate Programming and Reproducible Research Eric Schulte Dan Davison University of New Mexico Counsyl Thomas Dye Carsten Dominik University of Hawai`i University of Amsterdam Abstract We present a new computing environment for authoring mixed natural and com- puter language documents. In this environment a single hierarchically-organized plain text source file may contain a variety of elements such as code in arbitrary program- ming languages, raw data, links to external resources, project management data, working notes, and text for publication. Code fragments may be executed in situ with graphical, numerical and textual output captured or linked in the file. Export to LATEX, HTML, LATEX beamer, DocBook and other formats permits working reports, presentations and manuscripts for publication to be generated from the file. In addition, functioning pure code files can be automatically extracted from the file. This environment is implemented as an extension to the Emacs text editor and provides a rich set of features for authoring both prose and code, as well as sophisticated project management capabilities. Keywords: literate programming, reproducible research, compendium, WEB, Emacs. 1. Introduction There are a variety of settings in which it is desirable to mix prose, code, data, and compu- tational results in a single document. Scientific research increasingly involves the use of computational tools. -
Classical Greek Fonts Free Download
Classical greek fonts free download Classical Greek Fonts and Utilities for the PC, with information on If you have any comments or queries, please feel free to email me at. RECOMMENDATION FOR GREEK STUDENTS: Download and use SPIonic. It's free, it's supported on Perseus, it works on Windows or Mac, it's a A dedicated ancient Greek font allows you to compose diacritical marks on the fly, from. The Classical Greek Font package is a free Macintosh font containing TrueType, PostScript Type 1 and bitmaps for 12, 14 and 24 points (for both classical and. Download the windows installer for main Gentium fonts, saving the file to your desktop when prompted. The following are two free alternatives. Type Greek directly into Microsoft Word. Set up a polytonic Greek keyboard (a one-time task). We have 27 free greek fonts to offer for direct downloading · Fonts is your favorite site for free fonts since Ancient Geek - Thou shouldst eat to live, not live to eat. Ancient GodbyMagique Fonts · DownloadDonate. Ancient God Bold.Google Web · Sans-serif · Gods · Comic. What Greek fonts should I use on my PC/Mac? accents necessary for writing and displaying ancient Greek (it depends upon the font version). Kris J. Udd has created a beautiful collection of fonts that imitate the writing styles of ancient scribes in a series of important ancient Greek texts. For Free Download: All 10 Fonts · Archaic Greek (8th c. BC). Rosetta Stone ( BC). The Vusillus Old Face font allows the display of Unicode classical Greek in the OSX operating system. -
TUGBOAT Volume 29, Number 2 / 2008
TUGBOAT Volume 29, Number 2 / 2008 General Delivery 231 From the president / Karl Berry 232 Editorial comments / Barbara Beeton TEX 3.1415926 is here, and other Knuthian references; Phyllis Winkler, RIP; New domain name for CervanTEX; Interactive typography courses by Jonathan Hoefler; A helpful CTAN feature: “get”; Recreating the Gutenberg press; Copy-editing the wayward apostrophe; A font game for your amusement 233 The TEX tuneup of 2008 / Donald Knuth 239 Hyphenation exception log / Barbara Beeton Typography 240 Typographers’ Inn / Peter Flynn 242 The Greek Font Society / Vassilios Tsagkalos 246 Designing and producing a reference book with LATEX: The Engineer’s Quick Reference Handbook / Claudio Beccari and Andrea Guadagni 255 Suggestions on how not to mishandle mathematical formulæ / Massimo Guiggiani and Lapo Mori Electronic Documents 264 Wikipublisher: A Web-based system to make online and print versions of the same content / John Rankin 270 Character encoding / Victor Eijkhout Fonts 278 lxfonts:LATEX slide fonts revived / Claudio Beccari 283 Reshaping Euler: A collaboration with Hermann Zapf / Hans Hagen, Taco Hoekwater and Volker RW Schaa Software & Tools 288 Asymptote: A vector graphics language / John Bowman and Andy Hammerlindl 295 The Luafication of TEX and ConTEXt / Hans Hagen 303 Porting TEX Live to OpenBSD / Edward Barrett LATEX 305 Good things come in little packages: An introduction to writing .ins and .dtx files / Scott Pakin ConTEXt 315 ConTEXt basics for users: Indentation / Aditya Mahajan Multilingual MetaPost 317 -
Regole E Consigli Per Comporre La Matematica Delle Scienze Sperimentali
Claudio Beccari Regole e consigli per comporre la matematica delle scienze sperimentali o Utiliz p za p t u o r r i G ? ? ? g It ? It u al X iani di TE Versione 2.;.22 del 4243-26-26 Associati anche tu al guIt Fai click per associarti L’associazione per la diffusione di TEX in Italia, riconosciuta uffi- cialmente in ambito internazionale, si sostiene unicamente con le quote sociali. Se anche tu trovi che questa guida tematica gratuita ti sia stata utile, il mezzo principale per ringraziare gli autori è diventare socio. Divenendo soci si ricevono gratuitamente: • l’abbonamento alla rivista ArsTEX nica; • il DVD TEX Collection; • un eventuale oggetto legato alle attività del guIt. L’adesione al guIt prevede un quota associativa compresa tra 34,22 e e 92,22 e a seconda della tipologia di adesione prescelta e ha validità per l’anno solare in corso. Regole e consigli per comporre la matematica delle scienze sperimentali Copyright © 4243, Claudio Beccari Questa documentazione è soggetta alla licenza LPPL (LATEX Project Public Licence), versione 3.5 o successive; il testo della licenza è sem- pre contenuto in qualunque distribuzione del sistema TEX e nel sito http://www.latex-project.org/lppl.txt. Questo documento è curato da Claudio Beccari. Presentazione La composizione della matematica è uno dei punti forti del sistema TEX. Quando D.E. Knuth nel 3;9: ha prodotto la prima versione sperimentale per la composizione tipografica al calcolatore, aveva proprio in mente la composizione della matematica, perché anno dopo anno vedeva che i compositori professionisti si adagiavano sulle funzionalità dei software professionali, essenzialmente concentrati sul testo, e perdevano le loro conoscenze in merito alla composizione della matematica.