Easy-To-Use Chinese MTEX Suite Hongbin Ma
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Algebra of Open and Interconnected Systems
The Algebra of Open and Interconnected Systems Brendan Fong Hertford College University of Oxford arXiv:1609.05382v1 [math.CT] 17 Sep 2016 A thesis submitted for the degree of Doctor of Philosophy in Computer Science Trinity 2016 For all those who have prepared food so I could eat and created homes so I could live over the past four years. You too have laboured to produce this; I hope I have done your labours justice. Abstract Herein we develop category-theoretic tools for understanding network- style diagrammatic languages. The archetypal network-style diagram- matic language is that of electric circuits; other examples include signal flow graphs, Markov processes, automata, Petri nets, chemical reaction networks, and so on. The key feature is that the language is comprised of a number of components with multiple (input/output) terminals, each possibly labelled with some type, that may then be connected together along these terminals to form a larger network. The components form hyperedges between labelled vertices, and so a diagram in this language forms a hypergraph. We formalise the compositional structure by intro- ducing the notion of a hypergraph category. Network-style diagrammatic languages and their semantics thus form hypergraph categories, and se- mantic interpretation gives a hypergraph functor. The first part of this thesis develops the theory of hypergraph categories. In particular, we introduce the tools of decorated cospans and corela- tions. Decorated cospans allow straightforward construction of hyper- graph categories from diagrammatic languages: the inputs, outputs, and their composition are modelled by the cospans, while the `decorations' specify the components themselves. -
Travels in TEX Land: Choosing a TEX Environment for Windows
The PracTEX Journal TPJ 2005 No 02, 2005-04-15 Rev. 2005-04-17 Travels in TEX Land: Choosing a TEX Environment for Windows David Walden The author of this column wanders through world of TEX, as a non-expert, reporting what he observes and learns, which hopefully will be interesting to other non-expert users of TEX. 1 Introduction This column recounts my experiences looking at and thinking about different ways TEX is set up for users to go through the document-composition to type- setting cycle (input and edit, compile, and view or print). First, I’ll describe my own experience randomly trying various TEX environments. I suspect that some other users have had a similar introduction to TEX; and perhaps other users have just used the environment that was available at their workplace or school. Then I’ll consider some categories for thinking about options in TEX setups. Last, I’ll suggest some follow-on steps. Since I use Microsoft Windows as my computer operating system, this note focuses on environments that are available for Windows.1 2 My random path to choosing a TEX environment 2 I started using TEX in the late 1990s. 1But see my offer in Section 4. 2 While I started using TEX, I switched from TEX to using LATEX as soon as I discovered LATEX existed. Since both TEX and LATEX are operated in the same way, I’ll mostly refer to TEX in this note, since that is the more basic system. c 2005 David C. Walden I don’t quite remember my first setup for trying TEX. -
Producing Beautiful Documents with TEX and LATEX an Extremely Brief Introduction
Producing Beautiful Documents With TEX and LATEX An Extremely Brief Introduction Lawrence Hubert University of Illinois Producing Beautiful Documents With TEX and LATEX – p. 1/37 What is TEX and LATEX? TEX is a very mathematically savvy typesetting engine produced in the 1980’s by Donald Knuth from Stanford. It is open-source (which means it is free, and freely available); implemented for every conceivable operating system; it is currently in Version 3.141592, so it is, in effect, now “fixed” forever. Extra Credit: can you tell why it is essentially “fixed”? And what will be the version number when Knuth dies? Producing Beautiful Documents With TEX and LATEX – p. 2/37 LATEX is a set of macros sitting on top of TEX that makes our task easier. It was produced by Leslie Lamport in the middle 1980’s; it is also open-source and delivered conjointly with any TEX system. The current version is LATEX2e and is under constant development and extension. TEX and LATEX work together, with LATEX helping produce what is called the document mark-up, and TEX then being called upon to do the actual typesetting. Producing Beautiful Documents With TEX and LATEX – p. 3/37 Features and Advantages Why you should use TEX and LATEX— In contrast to word-processing methods such as Word, you do not worry about the visual formatting of your document. You are concerned only about the content. In other words, you separate content from layout. The file you produce is ascii, the simplest you can have with no special symbols; it includes general commands for what you wish to do in the document. -
Miktex Manual Revision 2.0 (Miktex 2.0) December 2000
MiKTEX Manual Revision 2.0 (MiKTEX 2.0) December 2000 Christian Schenk <[email protected]> Copyright c 2000 Christian Schenk Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. Permission is granted to copy and distribute modified versions of this manual under the con- ditions for verbatim copying, provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one. Permission is granted to copy and distribute translations of this manual into another lan- guage, under the above conditions for modified versions, except that this permission notice may be stated in a translation approved by the Free Software Foundation. Chapter 1: What is MiKTEX? 1 1 What is MiKTEX? 1.1 MiKTEX Features MiKTEX is a TEX distribution for Windows (95/98/NT/2000). Its main features include: • Native Windows implementation with support for long file names. • On-the-fly generation of missing fonts. • TDS (TEX directory structure) compliant. • Open Source. • Advanced TEX compiler features: -TEX can insert source file information (aka source specials) into the DVI file. This feature improves Editor/Previewer interaction. -TEX is able to read compressed (gzipped) input files. - The input encoding can be changed via TCX tables. • Previewer features: - Supports graphics (PostScript, BMP, WMF, TPIC, . .) - Supports colored text (through color specials) - Supports PostScript fonts - Supports TrueType fonts - Understands HyperTEX(html:) specials - Understands source (src:) specials - Customizable magnifying glasses • MiKTEX is network friendly: - integrates into a heterogeneous TEX environment - supports UNC file names - supports multiple TEXMF directory trees - uses a file name database for efficient file access - Setup Wizard can be run unattended The MiKTEX distribution consists of the following components: • TEX: The traditional TEX compiler. -
IT Project Quality Management
10 IT Project Quality Management CHAPTER OVERVIEW The focus of this chapter will be on several concepts and philosophies of quality man- agement. By learning about the people who founded the quality movement over the last fifty years, we can better understand how to apply these philosophies and teach- ings to develop a project quality management plan. After studying this chapter, you should understand and be able to: • Describe the Project Management Body of Knowledge (PMBOK) area called project quality management (PQM) and how it supports quality planning, qual ity assurance, quality control, and continuous improvement of the project's products and supporting processes. • Identify several quality gurus, or founders of the quality movement, and their role in shaping quality philosophies worldwide. • Describe some of the more common quality initiatives and management sys tems that include ISO certification, Six Sigma, and the Capability Maturity Model (CMM) for software engineering. • Distinguish between validation and verification activities and how these activi ties support IT project quality management. • Describe the software engineering discipline called configuration management and how it is used to manage the changes associated with all of the project's deliverables and work products. • Apply the quality concepts, methods, and tools introduced in this chapter to develop a project quality plan. GLOBAL TECHNOLOGY SOLUTIONS It was mid-afternoon when Tim Williams walked into the GTS conference room. Two of the Husky Air team members, Sitaraman and Yan, were already seated at the 217 218 CHAPTER 10 / IT PROJECT QUALITY MANAGEMENT conference table. Tim took his usual seat, and asked "So how did the demonstration of the user interface go this morning?" Sitaraman glanced at Yan and then focused his attention on Tim's question. -
Computer Algebra and Mathematics with the HP40G Version 1.0
Computer Algebra and Mathematics with the HP40G Version 1.0 Renée de Graeve Lecturer at Grenoble I Exact Calculation and Mathematics with the HP40G Acknowledgments It was not believed possible to write an efficient program for computer algebra all on one’s own. But one bright person by the name of Bernard Parisse didn’t know that—and did it! This is his program for computer algebra (called ERABLE), built for the second time into an HP calculator. The development of this calculator has led Bernard Parisse to modify his program somewhat so that the computer algebra functions could be edited and cause the appropriate results to be displayed in the Equation Editor. Explore all the capabilities of this calculator, as set out in the following pages. I would like to thank: • Bernard Parisse for his invaluable counsel, his remarks on the text, his reviews, and for his ability to provide functions on demand both efficiently and graciously. • Jean Tavenas for the concern shown towards the completion of this guide. • Jean Yves Avenard for taking on board our requests, and for writing the PROMPT command in the very spirit of promptness—and with no advance warning. (refer to 6.4.2.). © 2000 Hewlett-Packard, http://www.hp.com/calculators The reproduction, distribution and/or the modification of this document is authorised according to the terms of the GNU Free Documentation License, Version 1.1 or later, published by the Free Software Foundation. A copy of this license exists under the section entitled “GNU Free Documentation License” (Chapter 8, p. 141). -
Tugboat, Volume 33 (2012), No. 1 53 TEX on Windows: Miktex Or TEX Live? Joseph Wright on Windows, There Are Two Actively-Develop
TUGboat, Volume 33 (2012), No. 1 53 TEX on Windows: MiKTEX or TEX Live? A reminder that MiKTEX and TEX Live are not the only choices. W32TEX (Kakuto, 2012) is popular Joseph Wright in the far east. As well as being a TEX system in On Windows, there are two actively-developed free its own right, it is the source of the Windows binar- TEX systems with similar coverage: MiKTEX (Schenk, ies for TEX Live, and TEX Live acquires more CJK 2011) and TEX Live (TEX Users Group, 2011). The support from it every year. For users focussed on good news is that there is a lot of similarity between ConTEXt, ConTEXt standalone (Pragma ADE, 2012) the two systems, so for most users both systems is probably the best way to go (it uses the W32TEX are equally usable, and (LA)TEX documents are port- binaries on Windows). There are also the commer- able between them. However, there are differences cial options, for example BaKoMa TEX (BaKoMa and depending on what you need these might be Soft., 2011) or PCTEX (Personal TEX, Inc., 2011). important. However, for most users it comes down to a choice between the ‘big two’. • The default settings install everything for TEX Live, but only a minimal set of packages for References MiKT X. MiKT X will then install extra pack- E E BaKoMa Soft. “BaKoMa T X 9.77”. ages ‘on the fly’, while T X Live does not (there E E http://www.bakoma-tex.com/, 2011. is a package to do that in TEX Live, but it is aimed at GNU/Linux users). -
CAS, an Introduction to the HP Computer Algebra System
CAS, An introduction to the HP Computer Algebra System Background Any mathematician will quickly appreciate the advantages offered by a CAS, or Computer Algebra System1, which allows the user to perform complex symbolic algebraic manipulations on the calculator. Algebraic integration by parts and by substitution, the solution of differential equations, inequalities, simultaneous equations with algebraic or complex coefficients, the evaluation of limits and many other problems can be solved quickly and easily using a CAS. Importantly, solutions can be obtained as exact values such as 5−1, 25≤ x < or 4π rather than the usual decimal values given by numeric methods of successive approximation. Values can be displayed to almost any degree of accuracy required, allowing the user to view, for example, the exact value of a number such as 100 factorial. The HP CAS The HP CAS system was created by Bernard Parisse, Université de Grenoble, for the HP 49g calculator. It was improved and adapted for inclusion on the HP 40g with the help of Renée De Graeve, Jean-Yves Avenard and Jean Tavenas2. The HP CAS system offers the user a vast array of functions and abilities as well as an easy user interface which displays equations as they appear on the page. It also includes the ability to display many algebraic calculations in ‘step-by-step’ mode, making it an invaluable teaching tool in universities and schools. Functions are grouped by category and accessed via menus at the bottom of the screen. Copyright© 2005, Applications in Mathematics Learning to use the CAS Learning to use the CAS is very easy but, as with any powerful tool, truly effective use requires familiarity and time. -
Installation
APPENDIX A Installation In case you do not already have a LATEX installation, in Sections A.1 and A.2, we describe how to install LATEX on your computer, a PC or a Mac. The installation is much easier if you obtain TEX Live 2007 (or later) from the TEX Users Group, TUG (see Section E.2). It contains both the TEX implementations we discuss. No installation is given for UNIX computers. The attraction of UNIX to its users is the incredibly large number of options, from the UNIX dialect, to the shell, the editor, and so on. A typical UNIX user downloads the code and compiles the system. This is obviously beyond the scope of this book. Nevertheless, TEX Live 2007 (or later) from the TEX Users Group supplies the compiled (binaries) of LATEX for a number of UNIX variants. First read Chapter 1, so that in this Appendix you recognize the terminology we introduce there. I will assume that you become sufficiently familiar with your LATEX distribution to be able to perform the editing cycle with the sample documents. 490 Appendix A Installation A.1 LATEX on a PC On a PC, most mathematicians use MiKTeX and the editor WinEdt. So it seems appro- priate that we start there. A.1.1 Installing MiKTeX If you made a donation to MiKTeX or if you have the TEX Live 2007 (or later) from the TEX Users Group, then you have a CD or DVD with the MiKTeX installer. Installation then is in one step and very fast. In case you do not have this CD or DVD, we show how to install from the Internet. -
Access to Communications Technology
A Access to Communications Technology ABSTRACT digital divide: the Pew Research Center reported in 2019 that 42 percent of African American adults and Early proponents of digital communications tech- 43 percent of Hispanic adults did not have a desk- nology believed that it would be a powerful tool for top or laptop computer at home, compared to only disseminating knowledge and advancing civilization. 18 percent of Caucasian adults. Individuals without While there is little dispute that the Internet has home computers must instead use smartphones or changed society radically in a relatively short period public facilities such as libraries (which restrict how of time, there are many still unable to take advantage long a patron can remain online), which severely lim- of the benefits it confers because of a lack of access. its their ability to fill out job applications and com- Whether the lack is due to economic, geographic, or plete homework effectively. demographic factors, this “digital divide” has serious There is also a marked divide between digital societal repercussions, particularly as most aspects access in highly developed nations and that which of life in the twenty-first century, including banking, is available in other parts of the world. Globally, the health care, and education, are increasingly con- International Telecommunication Union (ITU), a ducted online. specialized agency within the United Nations that deals with information and communication tech- DIGITAL DIVIDE nologies (ICTs), estimates that as many as 3 billion people living in developing countries may still be In its simplest terms, the digital divide refers to the gap unconnected by 2023. -
PDF: Itransi-Miktex.Pdf
ITRANS53 Installation Notes with MiKTEX 2.9 John Washburn 20130701 MiKTEX is a distribution of LATEX for win32. It can be downloaded from http://miktex.org/2.9/setup. 1. Install the latest version of MiKTEX As of this writing the latest version of MiKTEX is 2.9. The default location into which MiKTEX is installed is: C:\Program Files\MiKTeX 2.9. If this is not the location to which you have installed MiKTEX then note the installation directory for use by the steps below. 2. Install all the font packages available through MiKTEX (a) Start ! MiKTEX ! MiKTEX Maintenance ! MiKTEX Maintenance Settings. (b) Select the Packages tab from the MiKTEX Options dialog box. (c) Check the checkbox: Fonts, until the box has a simple check with no background color. A simple check indicates all MiKTEX options within that category will be selected. Installing all the fonts will cause the outline font packages: indic-type1 and devangari, to be installed. 3. Download itrans53-win32.zip from http://www.aczoom.com/files/itrans/53/itrans53-win32.zip 4. Extract the contents of itrans53-win32.zip to some temporary location such as: c:\temp\itrans53 5. Create a file named install.bat file within the temporary location: c:\temp\itrans53 The contents of the install.bat batch file are listed below. If the installa- tion of MiKTEX was not to the directory: C:\Program Files\MiKTeX 2.9, then change the value of MiktexRoot to reflect the actual location of the MiKTEX installation. 6. Open an MS-DOS command window which is running as administator. -
SMT Solving in a Nutshell
SAT and SMT Solving in a Nutshell Erika Abrah´ am´ RWTH Aachen University, Germany LuFG Theory of Hybrid Systems February 27, 2020 Erika Abrah´ am´ - SAT and SMT solving 1 / 16 What is this talk about? Satisfiability problem The satisfiability problem is the problem of deciding whether a logical formula is satisfiable. We focus on the automated solution of the satisfiability problem for first-order logic over arithmetic theories, especially using SAT and SMT solving. Erika Abrah´ am´ - SAT and SMT solving 2 / 16 CAS SAT SMT (propositional logic) (SAT modulo theories) Enumeration Computer algebra DP (resolution) systems [Davis, Putnam’60] DPLL (propagation) [Davis,Putnam,Logemann,Loveland’62] Decision procedures NP-completeness [Cook’71] for combined theories CAD Conflict-directed [Shostak’79] [Nelson, Oppen’79] backjumping Partial CAD Virtual CDCL [GRASP’97] [zChaff’04] DPLL(T) substitution Watched literals Equalities and uninterpreted Clause learning/forgetting functions Variable ordering heuristics Bit-vectors Restarts Array theory Arithmetic Decision procedures for first-order logic over arithmetic theories in mathematical logic 1940 Computer architecture development 1960 1970 1980 2000 2010 Erika Abrah´ am´ - SAT and SMT solving 3 / 16 SAT SMT (propositional logic) (SAT modulo theories) Enumeration DP (resolution) [Davis, Putnam’60] DPLL (propagation) [Davis,Putnam,Logemann,Loveland’62] Decision procedures NP-completeness [Cook’71] for combined theories Conflict-directed [Shostak’79] [Nelson, Oppen’79] backjumping CDCL [GRASP’97] [zChaff’04]