DOCSLIB.ORG

I/O Vivat 26.4

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
I/O Vivat 26.4 I/O VIVAT JAARGANG 26 NUMMER 4 Micro vs. Monolitische kernels ‘Hét debat’ tussen de grondleggers van Linux en Minix Leven op het web Hebben wij desktopapplicaties nog wel nodig? VerCors project Programma’s met meerdere executie- threads, maar zonder fouten Bad programming habbits Wie heeft ze niet? Kingpin Het verhaal van een alleenheersen- de hacker En verder... Werking/beveiliging OV-chipkaart Software hergebruik bij agile ontwikkelomgevingen X86 versus ARM Van de voorzitter CλaSH Katern: Immorailty Advertentie ING Colofon Jaargang 26, nummer 4, juni 2011 ISSN: 1389-0468 I/O Vivat is het populair-we- tenschappelijke tijdschrift van I/O VIVAT I.C.T.S.V. Inter-Actief, de stu- dievereniging voor Technische Informatica, Bedrijfsinformatie- technologie en Telematica van de Redactioneel Universiteit Twente. I/O Vivat ver- Microsoft liet vandaag nieuws vrij over de aankondiging van een nieuwe versie van schijnt vier maal per jaar en heeft Windows. Daarbij zette het uiteen wat haar visie was over “technology transitions” door de jaren heen: van logge desktopcomputers bedoeld voor tekstverwerking een oplage van 1800 exemplaren. zijn we overgestapt naar in-house client/serversystemen en verder naar internet en cloud-applicaties. Vandaag de dag zouden we in overstap zijn naar de “unified Hoofdredactie: ecosystems”-fase, waarin je op je smartphone, tablet en laptop dezelfde mogelijk- Rick van Galen heden en toegang hebt. Redactie: Kenmerkend voor deze overgang is het grotere gebruik van zuinige maar krach- tige ARM-processors. Onderdeel van Microsofts aankondiging is een versie van Bas Stottelaar, David Huistra, Windows die draait op ARM-processoren – iets dat het steeds grotere belang van Herman Slatman, Michel Brinkhuis, de ARM-chips illustreert. Gaat ARM de x86-wereld veroveren? Lees er alles over Stijn van Winsen in het artikel op pagina 26. Vormgeving: Een ander kenmerk van deze overgang is het loslaten van applicaties die voor een Niels Witte specifiek platform zijn geschreven. Niet meer afhankelijk van een editor voor Mac OS X, die ene bibliotheek onder Linux of deze ontwerptool onder Windows: de ap- plicaties die je benadert zijn geschreven in HTML en Javascript en draaien op een Gastschrijvers: webserver die je benadert. Zijn webapplicaties al zo volwassen dat je er helemaal Christiaan Baaij, Berend van den afhankelijk van kunt zijn? Op pagina 30 ondervind je mijn ervaringen hiermee. Brink, Marieke Huisman, Matthijs Kooijman, Rom Langerak, Jacco Als men kijkt naar ontwikkeling van deze applicaties zien we ook een verandering Roest, Wouter Spoelstra, in ontwikkelingsstijl: in plaats van grote projecten die met een watervalmodel worden uitgevoerd, worden er snel prototypes opgeleverd die daarna worden Symposium Commissie uitgebreid. Met deze modellen is het vaak belangrijk zo snel mogelijk code op te leveren, wat nog wel eens fouten en ergernissen kan opleveren. Een klein overzicht Voor vragen, suggesties en tips is volgt op 10. I/O Vivat bereikbaar via e-mail op [email protected], telefonisch op Dit is slechts een kleine greep uit de artikelen in deze extra dikke Vivat-editie. We 053-489 3756 of per post: hebben onder andere ook artikelen over de OV-chipkaart, parallelle verificatie, hardwarebeschrijvingstalen en een eerste blik op het symposium Immorality. Een Studievereniging Inter-Actief geschikte Vivat om mee te nemen op vakantie dus! Postbus 217 7500AE Enschede Tot volgend jaar, De studievereniging wil de adverte- rende bedrijven bedanken voor de samenwerking. Drukwerk: Drukkerij van den Bosch & Fikkert © 2011 I.C.T.S.V. Inter-Actief Rick van Galen Hoofdredacteur Artikelen Kingpin Bad program- Micro vs. Mono- ming habbits litische kernels Herman Slatman Stijn van Winsen Michel Brinkhuis CARDING, CYBERSECURITY, PROGRAMMEREN, JAVA, PHP, MICROKERNEL, MONOLITISCHE- CREDITCARDS, MAX BUTLER, SLECHTE GEWOONTES KERNEL, LINUX, MINIX 8 HACKER 10 14 Columns & ENIAC X86 versus ARM Leven op het Onderwijsver- web nieuwing en Scandinavië Bas Stottelaar Rick van Galen Rom Langerak X86, ARM, INTEL, SOC EEN FLINKE, LIJST MET, KEY- WORDS, GESCHEIDEN DOOR, 26 30 KOMMA 17 Nieuws Beursgang Linke- Meerderheid ka- “Windows Phone dIn mer voor voor- 7 in 2013 groter stel netneutra- dan Android” liteit 6 6 7 26.4 //Inhoud I/O VIVAT VerCors project Werking/bevei- Topicus: Soft- liging OV-chip- ware hergebruik. kaart Marieke Huisman David Huistra Wouter Spoelstra PROGRAMMAVERIFICATIE, TRANS LINK SYSTEMS, MYFARE SOFTWARE, ONTWIKKELOMGE- SPECIFICATIE, CONCURRENCY, CLASSIC, HACKEN,INDELING, VING, HERGEBRUIK, TOPICUS 18 LOGICA, SEPARATION LOGIC 22 FRAUDEURS 25 Columns & ENIAC Van de voorzit- CλaSH ENIAC: Van de ter Voorzitter Christiaan Baaij & Matthijs Jacco Roest Kooijman Berend van den Brink CλASH, HASKELL, CAES, HARD- WAREBESCHRIJVING 35 38 41 Symposium Immorality Immorality Interview: David En verder... Nieborg Symposium Commissie 36 Op bezoek bij Quinity 42 Op bezoek bij Shell IMMORALITY, SOCIAL ENGINEE- GAMEMAKERS, GAMES, FEITELIJ- RING, HACKING, PRIVACY KE ASPECTEN, GEWELD, MEDIA 47 Volgende keer in I/O Vivat 45 46 26.4 //Inhoud I/O VIVAT Nieuws I/O Vivat redactie Nieuws LINKEDIN, BEURS, NETNEUTRALITEIT, KPN, WHATSAPP, WINDOWS PHONE 7, ANDROID Beursgang LinkedIn De concurrentie tussen de social me- aandeel aan het einde van de dag met Analisten schatten de waarde van Lin- dia netwerken is groot op het moment. een verdubbelde waarde. kedIn op zon 3 miljard dollar, meldt Facebook is in de Verenigde Staten en Tweakers.net. in vele andere landen oppermachtig, en Al met al heeft het Amerikaanse be- ook in Nederland is men aan een flinke drijf, op de NYSE-beurs nu bekend als opmars bezig. Dit laatste gaat met name LNKD, een ruime 350 miljoen dollar Bron: http://www.tijd.be/nieuws/geld_-_ ten koste van Nederlands eigen sociale opgehaald met de beursgang. De pro- beleggen_markten/IPO-gekte_op_ netwerk Hyves. LinkedIn, het meer za- fielensite telt inmiddels meer dan 100 beurzen.9060152-3452.art?ckc=1 kelijk georiënteerde sociale netwerk, miljoen gebruikers wereldwijd. Dat is kondigde onlangs een beursgang aan. een indrukwekkend getal, vooral ge- Dit met het doel concurrent Facebook zien het feit dat de site in 2003 live ging voor te blijven. De beursgang komt niet en in de eerste maand 4500 leden wist geheel als een verrassing, omdat men in binnen te halen. Op dit moment verwel- januari dit jaar al een zogenaamde IPO komt LinkedIn ongeveer een miljoen (initial public offering) indiende bij de leden per maand. Amerikaanse beursautoriteit SEC. Initieel maakte LinkedIn bekend onge- veer 7,9 miljoen aandelen uit te geven, tegen een waarde van 45 dollar. Op 19 mei dit jaar ging het bedrijf daadwerke- lijk naar de beurs. De aandelen maakten in de eerste twee uur na de beursgang een stijging door van zo’n 160%. Ge- durende de eerste dag daalde de koers ook weer wat, maar alsnog eindigde het Meerderheid kamer voor voorstel netneutraliteit Een meerderheid van de Tweede Ka- Volgens de Tweede Kamer mogen aan- bel- en smsverkeer het hoofd te bieden, mer heeft het voorstel van GroenLinks bieders echter bepaalde diensten die via maar niet door controle van het data- gesteund om de plannen voor heffingen mobiel internet lopen tariferen. Bruno verkeer. Minister Verhagen heeft eerder op mobiele diensten als voip en chatten Braakhuis, GroenLinks-lid, stelt voor gezegd dat hij vindt dat internetdien- te blokkeren. In de Telecomwet moet om in de Telecommunicatiewet op te sten beschikbaar moeten blijven en dat opgenomen worden dat netneutraliteit nemen dat telecomaanbieders dit niet hij zich kan voorstellen dat de consu- gegarandeerd moet worden. op basis van het soort gebruik van da- menten daarvoor meer moeten betalen. taverkeer mogen differentiëren, en KPN gaf onlangs aan van plan te zijn daarmee netneutraliteit te garanderen. klanten extra te laten betalen voor dien- Aanbieders mogen hierdoor geen dien- sten als de chat-applicatie WhatsApp. sten blokkeren of voorrang geven op het Dit zou gedaan worden met behulp van netwerk. deep packet inspection. Na protesten trok het bedrijf uiteindelijk de plannen Volgens Braakhuis moeten telecombe- in, maar maakte mobiel internet voor drijven zelf met nieuwe verdienmodel- haar klanten wel duurder. len komen om de dalende inkomsten op 26.4 //6 I/O VIVAT “Windows Phone 7 in 2013 groter dan Android” Het Amerikaanse onderzoeksbedrijf produceren. Daarnaast heeft het nauwe een aantal partijen die daar heel anders Pyramid Research verwacht dat in 2013 banden met telecomoperators wereld- over denken en dit ook kunnen onder- Windows Phone 7 groter zal zijn dan wijd, die uiteindelijk besluiten wat ze bouwen. Microsoft heeft in ieder geval elk ander mobiel besturingssysteem. gaan verkopen. laten zien dat Windows Phone 7 een Pyramid verwacht een flinke groei van flinke verbetering is ten opzichte van WP7 doordat het Finse bedrijf Nokia Begin dit jaar heeft IDC Nokia aange- Windows Mobile 6. haar nieuwe generatie toestellen gaat wezen als de voornaamste leverancier uitrusten met het mobiele besturings- van mobiele telefoons in het vierde Bron: http://computerworld.nl/ systeem. kwartaal van 2010. Ondanks dat de po- article/12884/waarom-windows-phone-7- pulariteit van Symbian sterk aan het af- het-gaat-maken.html Het is niet alleen WP7 dat zal groeien. nemen is, wist men het marktaandeel in Ook Google Android zal blijven groei- 2010 iets te vergroten door 453 miljoen en, terwijl BlackBerry OS van RIM en telefoons te verkopen, tegenover 432 Apple iOS juist marktaandeel gaan ver- miljoen in het jaar daarvoor. liezen. Windows Phone 7 wordt
Load more

Recommended publications
  • Aplicación Android Para Autoevaluar Conocimientos
    Universitat Oberta de Catalunya Ingenier´ıa Tecnica´ de Telecomunicacion´ Especialidad de Telematica´ Trabajo Final de Carrera Aplicaci´onAndroid para autoevaluar conocimientos Autor: Tutor: David Chiner Benjuya Manel Llopart Vidal 14 de junio de 2013 Resumen En el presente trabajo de final de carrera se ha desarrollado una aplicaci´ondid´acticapara que los estudiantes eval´ueny ampl´ıensus conocimientos. Dicha aplicaci´ondispone de una interfaz gr´aficadesde donde cada estudiante puede consultar contenidos te´oricosy realizar test de evaluaci´on. En concreto, tras completar cada test, el estudiante repasa sus errores y recibe explicaciones sobre las respuestas correctas. Para desplegar la aplicaci´onse ha seleccionado la plataforma Android, un sistema operativo gratuito de enorme difusi´onen tel´efonosm´oviles,tabletas e incluso netbooks. De este modo, la aplicaci´onpuede ser ejecutada en dispositivos que el estudiante lleve consigo. Abstract The didactic application developed for this final thesis allows students to evaluate and expand their knowl- edge. This application has a graphical interface where each student can read explanations and perform assess- ment test. Specifically, after completing each test, the student reviews his mistakes and gets explanations of the correct answers. The application has been implemented for Android platform, a free operating system largely deployed in mobile phones, tablets and even netbooks. Thus, the application can be run on devices carried by the student. Resum En el present treball de final de carrera s'ha desenvolupat un aplicaci´odid`acticaper a que els estudiants avalu¨ıni ampli¨ınels seus coneixements. Aquest aplicaci´odisposa d'una interf´ıciegr`aficades d'on cada estudiant pot consultar continguts te`orics i realitzar tests d'avaluaci´o.
    [Show full text]
  • LATEX Is Radical - Part II Slightly Beyond the Basics
    LATEX is Radical - Part II Slightly beyond the basics. Version 1.1 David Goulette April, 23 2014 Contents 1 Before you begin reading...1 2 Indroduction 2 3 Multiple columns and paper orientation3 4 Adding pictures to your document8 4.1 Picture file types......................................8 4.2 PGF/TikZ.........................................9 4.3 Adding figures with graphicx ............................... 10 4.3.1 Adding pictures in a fixed position........................ 11 4.3.2 Captions and floats................................. 16 5 How to make a bibliography with BiBTEX 21 List of Figures 1 A Mad Tea-Party...................................... 17 2 Alice............................................. 18 3 A circle on the Riemann sphere.............................. 19 4 A figure with subfigures.................................. 20 1 Before you begin reading... Make sure you have downloaded all of the necessary files for compiling this document. If you want to build this .tex file you need the following supplemental files: • IntroToLaTeXpart2-version1.0.tex • IntroToLaTeXpart2-version1.0.pdf • alice.jpg • teaparty.jpg • RiemannSphereCircle.pdf • myreferences.bib 1 All of these files can be found on my website: http://www.sjsu.edu/people/david.goulette/courses/latex/ You need to download all of the above files and save them in the same directory. If you want to build the .tex file it needs to have the three picture files in the same directory to work and also the .bib file with the bibliography references. I explain the details of how you can add pictures to documents in section4. And I explain how to make a bibliography in section5. 2 Indroduction Welcome to the second part of my introduction to LATEX! In this document I will introduce a variety of important LATEX skills that you might not need quite as frequently as those found in part 1, but you will benefit from knowing them.
    [Show full text]
  • 4 Tugboat, Volume 34 (2013), No. 1 Editorial Comments Barbara Beeton
    4 TUGboat, Volume 34 (2013), No. 1 Editorial comments to suggestions for images to be used next year; he suggests a showcase of LATEX typography, utilizing Barbara Beeton different languages and typefaces. This is the year for T X bug reports E Compulsive Bodoni / the Parmigiano As noted on Don Knuth's TEX web pages, www-cs- Typographic System faculty.stanford.edu/ knuth/abcde.html, he ~ Go to www.compulsivebodoni.com/ for a look at a \intend[s] to check on purported bugs again in the new font project, undertaken in honor of Giambat- years 2013, 2020, 2028, 2037, etc." I expect to be tista Bodoni (1740{1813), the noted printer and asked for the accumulation in late autumn. So, fair amazingly prolific punchcutter, and timed to mark warning, if you have any questions, please submit the 200th anniversary of his death. them soon | they have to be vetted before they can The name of the project, the Parmigiano Typo- be sent to Don, and that takes time. graphic System, derives from the city, Parma, where If you are submitting a report, please provide Bodoni spent most of his life. The project aims to minimal, but thorough, documentation, using only create \the most extended family of fonts ever to have plain T X for your examples. E been inspired by the greatest Italian punchcutter." Anything that can be documented as \not a The site opens with an excerpt from a short bug" will be excluded from what is sent on; the bug play highlighting some aspects of Bodoni's person- checkers are very thorough and trustworthy, and if ality.
    [Show full text]
  • Online LATEX Last Updated: 13Th May 2012
    Online LATEX Last updated: 13th May 2012 A Images................................1 B Complete Documents........................3 C Other sites.............................5 Unfortunately not every host offers LaTeX but there are sites that can help generate the images that can be downloaded. A Images 1. CodeCogs LaTeX Equation Editor. This innovative editor has a symbol table for those who are not sure of the LaTeX code as well as allowing the code to be typed directly. It uses Ajax so that the page does not need to be refreshed to see the rendered image. The source code uses LatexRender. See also this post: CodeCogs Equation Editor. Hamline University Physics Department Latex Equation Editor is based on the same code, with some innovative additions. Editor Online de Ecuaciones Latex is a Spanish version. 2. MimeTeX parses a LaTeX maths expression and immediately emits the corresponding image such as this 3. MathTran is a new project by the Open University that intends to \pro- vide translation of mathematical content, from TeX to MathML and vice-versa, and to graphics formats, as a web service". At the moment only Plain TeX (both text and mathematics) can be converted to an image. MathTran instant preview is a web-based TeX system, complete with a built-in help. It compiles Plain TeX code in real time. The source is available at mathtran-javascript. Enso TeX Anywhere makes use of MathTran to convert TeX to images in some Windows programs. 4. Troy Hendersons LaTeX Previewer makes it clear what is in the preamble when rendering the image and will preview SVG or PNG formats.
    [Show full text]
  • Latex – Eine Einfã¼hrung
    LATEX – Eine Einführung Korbinian Eschbaum Technische Universität München 1/34 Inhalt Was ist TEX? Was ist LATEX? Installation und Editoren Basics Dokumentstruktur Grafiken importieren Tabellen Floats, Captions & Labels Listen Mathematischer Formelsatz Bibliographien und Zitationen Nützliche Referenzen 2/34 Was ist TEX? Was ist LATEX? TEX (Donald Knuth, 1977 – 1986) I Textsatzsystem mit eigener Sprache I Liest Dateien ein und verwandelt sie in z.B. PDFs ) kann weiterverwendet und ausgedruckt werden. I Textsatzsystem: Weiterentwicklungen, Zeichensatzsysteme, tausende Pakete, … Einfachstes und am Weitesten verbreitetes Makrosystem: LATEX I Ansammlung von Unterprogrammen zur Vereinfachung der Benutzung von TEX. I Fokus auf mathematischem Formelsatz I Erstellung eines Dokumentes durch „Programmieren“. 3/34 Vergleich mit WYSIWYG-Programmen (Microsoft Office, OpenOffice, …) Nachteile Vorteile I Endversion nicht sichtbar. I Texteditor ausreichend. I Kommandos müssen bekannt I Fokus auf Inhalt. sein. I Automatische Konsistenz. I Spezielles Aussehen des I Allgemeine Änderungen schnell Dokumentes schwierig. einzufügen. I Indizes, Fußnoten und Zitate einfach zu erstellen. I Mathematischer Formelsatz 4/34 Installation LATEX: viele einzelne Pakete. Angenehme Lösung: TEX-Distributionen I Linux: TeX Live $ sudo apt-get install texlive-full I Mac OS X: MacTeX I Windows: TeX Live, MiKTeX Weitere Pakete bei Bedarf im Comprehensive TeX Archive Network (CTAN). Ausführlichere Anleitungen: I https://wiki.ubuntuusers.de/TeX_Live/ I http://www.latexbuch.de/latex-apple-mac-os-x-installieren/
    [Show full text]
  • TUGBOAT Volume 34, Number 1 / 2013
    TUGBOAT Volume 34, Number 1 / 2013 General Delivery 3 Ab epistulis / Steve Peter 4 Editorial comments / Barbara Beeton This is the year for TEX bug reports; Don Knuth in the news (again); A new TEX calendar; Compulsive Bodoni / the Parmigiano Typographic System; Printing technology, old and new; Interactive and collaborative on-line LATEX; Mapping math and scientific symbols to their meanings Resources 6 CTAN: Relaunch of the Web portal / Gerd Neugebauer Fonts 10 Fonts! Fonts! Fonts! / Bob Tennent Typography 14 Typographers’ Inn / Peter Flynn Graphics 17 Entry-level MetaPost: On the grid / Mari Voipio 21 Recreating historical patterns with MetaPost / Mari Voipio 26 The xpicture package / Robert Fuster A L TEX 34 Side-by-side figures in LATEX / Thomas Thurnherr 37 Glisterings: Repetition; Verbatims; Small pages; Prefixing section heads / Peter Wilson 40 The esami package for examinations / Grazia Messineo and Salvatore Vassallo Dreamboat 47 E-TEX: Guidelines for future TEX extensions — revisited / Frank Mittelbach Software & Tools 64 LuaJITTEX / Luigi Scarso ConTEXt 72 ConTEXt: Just-in-time LuaTEX / Hans Hagen 79 ConTEXt basics for users: Images / Aditya Mahajan Macros 83 New CSplain of 2012 / Petr Olˇs´ak 88 OPmac: Macros for plain TEX / Petr Olˇs´ak Hints & Tricks 96 The treasure chest / Karl Berry 97 Production notes / Karl Berry Book Reviews 98 Book review: The Computer Science of TEX and LATEX / Boris Veytsman Abstracts 99 Die TEXnische Kom¨odie: Contents of issues 4/2012–1/2013 100 Eutypon: Contents of issue 28–29 (October 2012) News 101 Calendar 102 TUG 2013 announcement Advertisements 103 TEX consulting and production services TUG Business 2 TUGboat editorial information 2 TUG institutional members 105 TUG membership form 106 TUG financial statements for 2012 / Karl Berry 107 TUG 2013 election Fiction 108 Colophon / Daniel Quinn TEX Users Group Board of Directors TUGboat (ISSN 0896-3207) is published by the TEX Donald Knuth, Grand Wizard of TEX-arcana † Users Group.
    [Show full text]
  • TUGBOAT Volume 36, Number 1 / 2015
    TUGBOAT Volume 36, Number 1 / 2015 General Delivery 2 Ab epistulis / Steve Peter 3 Editorial comments / Barbara Beeton Status of CTAN at Cambridge; RIP Brian Housley; Oh, zero! — Lucida news; First Annual Updike Prize; Talk by Tobias Frere-Jones; Monotype Recorder online; Doves Press type recovered; Textures resurfaces; LATEX vs. Word in academic publications; Miscellanea; A final admonishment 7 Hyphenation exception log / Barbara Beeton Fonts 8 What does a typical brief for a new typeface look like? / Thomas Phinney 10 Inconsolata unified / Michael Sharpe Typography 11 A TUG Postcard or, The Trials of a Letterpress Printer / Peter Wilson 15 Typographers’ Inn / Peter Flynn A L TEX 17 LATEX news, issue 21, May 2014 / LATEX Project Team 19 Beamer overlays beyond the \visible / Joseph Wright 20 Glisterings: Here or there; Parallel texts; Abort the compilation / Peter Wilson Electronic Documents 25 Online LATEX editors and other resources / Paweł Łupkowski 28 Exporting XML and ePub from ConTEXt / Hans Hagen Macros 32 The box-glue-penalty algebra of TEX and its use of \prevdepth / Frank Mittelbach Software & Tools 37 The bird and the lion: arara / Paulo Cereda 41 The SWIGLIB project / Luigi Scarso 48 Still tokens: LuaTEX scanners / Hans Hagen Hints & Tricks 55 The treasure chest / Karl Berry Book Reviews 57 Book review: Algorithmic Barriers Falling: P= NP?, by Donald E. Knuth and Edgar Daylight / David Walden 58 Book review: History of the Linotype Company, by Frank Romano / Boris Veytsman Abstracts 60 GUST: EuroBachoTEX 2014 proceedings 63 Die TEXnische Kom¨odie: Contents of issues 4/2014–1/2015 TUG Business 2 TUGboat editorial information 64 TUG 2015 election 68 TUG financial statements for 2014 / Karl Berry 69 TUG institutional members Advertisements 69 TEX consulting and production services News 71 TUG 2015 announcement 72 Calendar TEX Users Group Board of Directors TUGboat (ISSN 0896-3207) is published by the Donald Knuth, Grand Wizard of TEX-arcana † ∗ TEX Users Group.
    [Show full text]
  • Latex for Scientific Writing
    Lib4RI Training Series Searching & Managing Scientific Information Module 5 – LaTeX for Scientific Writing List of useful links General LaTeX info, documentation and resources LaTeX Project homepage: https://www.latex-project.org/ TeX related material and software (including additional packages): https://ctan.org/ The renowned “not so short” intro to LaTeX: https://tobi.oetiker.ch/lshort/ The LaTeX wikibook, a comprehensive guide to LaTeX: https://en.wikibooks.org/wiki/LaTeX TeX Users Group: https://www.tug.org/ TeX stack exchange: https://tex.stackexchange.com A collection of templates: https://www.latextemplates.com/ TeX distributions TeX live: https://www.tug.org/texlive/ MikTeX: https://miktex.org/ MacTeX: http://www.tug.org/mactex/ GUIs TeXstudio: http://texstudio.sourceforge.net/ TeXmaker: http://www.xm1math.net/texmaker/ Lyx: https://www.lyx.org/ On-line editors/systems Overleaf: http://overleaf.com/ Share LaTeX: https://www.sharelatex.com/ Authorea: https://www.authorea.com/ More about bibliography and citations Using BibTeX: http://ctan.math.illinois.edu/biblio/bibtex/base/btxdoc.pdf Designing BibTeX styles: http://mirrors.rit.edu/CTAN/biblio/bibtex/base/btxhak.pdf NatBib: https://gking.harvard.edu/files/natnotes2.pdf http://mirrors.concertpass.com/tex-archive/macros/latex/contrib/natbib/natnotes.pdf http://ctan.math.utah.edu/ctan/tex-archive/macros/latex/contrib/natbib/natbib.pdf BibTeX style examples: https://verbosus.com/bibtex-style-examples.html Choosing a BibTeX style: https://www.reed.edu/cis/help/LaTeX/bibtexstyles.html DOI to BibTex citation: https://doi2bib.org/ .
    [Show full text]
  • Caltech Bootcamp
    Caltech Bootcamp presented by Eve Stenson 18 February 2012 Outline Introduction: • What is LaTeX? • Why use LaTeX? Examples of ways to “use LaTeX” Under the hood: • What is LaTeX? (revisited) • distributions, packages, commands, types of files Methods and tools for TeXing • “The Not So Short Introduction to LaTeX2e" • cheat sheet, Detexify • Google Useful tools: Editing figures in Inkscape Reference management A few installation examples Exercises References Why use LaTeX? ● aesthetics, elegance, logical structure ● convenience, ease, portability, reproducibility ● necessity? peer pressure ● source documents are amenable to version control For what? ● abstracts ● journal articles ● problem sets, solution sets ● theses! What are some things at which LaTeX excels? ● handling of mathematical symbols ● auto-numbering of figures, equations, references, etc. ● auto-generation of T.O.C., etc You can become a TeXspert if you want, but there are huge advantages to just being a TeXnician. .tex file: .bib file: output: . Outline Introduction: • What is LaTeX? • Why use LaTeX? Examples of ways to “use LaTeX” Under the hood: • What is LaTeX? (revisited) • distributions, packages, commands, types of files Methods and tools for TeXing • “The Not So Short Introduction to LaTeX2e" • cheat sheet, Detexify • Google Useful tools: Editing figures in Inkscape Reference management A few installation examples Exercises References Basic set-up: Text editor OS: Arch Linux, TeX distribution: TeX Live, Editor: GVIM, DVI/PDF viewer: Evince, EPS viewer: GV Additional features: Text editing in an environment OS: Windows 7, TeX distribution: MiKTeX, Editor: LaTeX Editor (LEd), DVI viewer: Yap, EPS viewer: GSview Texmaker (cross-platform: linux, macosx and windows) additional features: spell check, code folding, code completion, math symbols, and more .
    [Show full text]
  • Research Diary Log.
    Brahim Marzouk. Maths Research Diary. Research diary log. ------------------- Author : Marzouk Brahim. url : http://bmarzouk.free.fr/search.txt Created : 21.09.20. Last update : 04.08.21. About ~ 9700 lines, 300p. Diary : BEGIN @ ~ Line 450. p10. Some symbols : * = videos reports (mostly youtube math videos). ® = reading reports (articles, books, web pages). • = Personal notes; often enclosed between (thick or thin) arrows; thick being for important remarks, the thinner are more for comments. "===>" or "--->" mark their begining and the reverse ones, "<===" or "<---" mark their end. © = computers notes. Abbreviations & jargon : I) maths. ab = abelian(nisation). alg = algebra(ic) or algebraically. algeo = algebraic geometry. app = application. approx = approximate (tion). bbki = Bourbaki. 1 of 362 Brahim Marzouk. Maths Research Diary. dbl = double. dbt = doubt(ful). crt = criterion. geom = geometry. diag = diagram, diagonal, diagonalisable. dioph = diophantine. def = definite, definition(s). der = derived, derivative, derivation. rep = representation. den = denominator. hom = homomorphi(c/sm), homeomorphi(c/sm). irr = irreducible. lin = linear, linearity. num = numerator. prg = program. ref = reference. reg = regular. res = resolution, resultant, result. diff = differentia-te/ble/l. top = topolog-y/ical. frac = fraction-al. dep = dependent, dependency. det = determinant. endo = endomorphism, endofunctor, endogenesis. ext = extension, extended, exterior. func = function, functor. cj(s) = conjecture(s). rh, RH = Riemann Hypothesis. bsd,BSD = Birch-SwinnertonDyer conjecture. cplx = complex. thm = theorem. ppties = properties. grp(s) = group(s). th = theory. nb = number. rat = rational. 2 of 362 Brahim Marzouk. Maths Research Diary. sing = singular/ity/ities. transc = transcendent(al). tr = transcendent(al). var = variety, variable. vect = vector, vectorial. k_ = algebraic closure of k. II) computer sciences. asm = assembly. bt = bluetooth. conf = config(uration).
    [Show full text]
  • LATEX Presentation
    LATEX Presentation Timothé Van Meter Wise Lab, University of Illinois at Chicago (UIC) • TEX, is the compiled programming language behind LATEX, you will not see it unless you want to • How does it work? Introduction What is LATEX? • LATEX, is the document preparation system. It has a specific syntax. That is what you will be writing. 2 14.5.2019 • TEX, is the compiled programming language behind LATEX, you will not see it unless you want to • How does it work? Introduction What is LATEX? • LATEX, is the document preparation system. It has a specific syntax. That is what you will be writing. 2 14.5.2019 • How does it work? Introduction What is LATEX? • LATEX, is the document preparation system. It has a specific syntax. That is what you will be writing. • TEX, is the compiled programming language behind LATEX, you will not see it unless you want to 2 14.5.2019 • How does it work? Introduction What is LATEX? • LATEX, is the document preparation system. It has a specific syntax. That is what you will be writing. • TEX, is the compiled programming language behind LATEX, you will not see it unless you want to 2 14.5.2019 Introduction What is LATEX? • LATEX, is the document preparation system. It has a specific syntax. That is what you will be writing. • TEX, is the compiled programming language behind LATEX, you will not see it unless you want to • How does it work? 2 14.5.2019 Introduction How does it work? LATEX Source code 3 14.5.2019 Introduction How does it work? LATEX Source code \documentclass[]{article} \title{TEST} \begin{document} \maketitle
    [Show full text]
  • Erstellung Wissenschaftlicher Texte Mit LATEX
    ndocumentclassfarcticleg nusepackage[utf8]finputencg nusepackage[ngerman]fbabelg nauthorfMonika Marx nand Oliver Bucker¨ g nntitletitleffErstellungErstellung wissenschaftlicher wissenschaftlicher Texte Texte mit mit ... ...gg nbeginfdocumentg nmaketitle nincludefGrundlagen/Grundlageng A ntableofcontents A npart n nsectionfBenutzung und GrundlagenLL von nLaTeXTTg XX tableoffigures nbibliographyfmybibtextEEg nendfdocumentg Erstellung wissenschaftlicher Texte mit LATEX September 2021 Monika Marx Oliver Bücker Benutzung und Grundlagen von LATEX ........................................................ 2 Dokumentklassen, Struktur eines Dokumentes . 34 Schriftbild . 39 Umbrüche, Abstände, Absätze . 50 Boxen, Rahmen und Striche . 78 Textanmerkungen: Fußnoten, Querverweise, Literaturverzeichnisse . 87 Listen ..................................................................................... 106 Tabellen und Tabulatoren . 115 Mathematik-Modus . 133 Erstellen und Einbinden von Graphiken . 158 Nummerierte und gleitende Objekte . 190 Dokument-Layout und -Aufbau . 209 Benutzereigene Stukturen . 242 Teildokumente . 250 Weitere Dokumentklassen . 257 LuaLATEX ................................................................................... 300 Erweiterungspakete . 303 Literatur . 309 Benutzung und Grundlagen von LATEX Folie 2 Allgemeines zu TEX ein von Donald E. Knuth entwickeltes Textsatzsystem turingvollständiger Interpeter läuft auf fast allen Systemen stellt Mechanismus zur Definition eigener Makros bereit Texte werden mittels logischen Markups
    [Show full text]