DOCSLIB.ORG

Official Geogebra Manual

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Official Geogebra Manual GeoGebra Manual The official manual of GeoGebra. PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Thu, 15 Dec 2011 01:15:41 UTC Contents Articles Introduction 1 Compatibility 3 Installation Guide 4 Objects 6 Free, Dependent and Auxiliary Objects 6 Geometric Objects 6 Points and Vectors 7 Lines and Axes 8 Conic sections 8 Functions 9 Curves 10 Inequalities 10 Intervals 11 General Objects 11 Numbers and Angles 12 Texts 13 Boolean values 14 Complex Numbers 15 Lists 15 Matrices 17 Action Objects 18 Selecting objects 19 Change Values 19 Naming Objects 20 Animation 21 Tracing 22 Object Properties 22 Labels and Captions 23 Advanced Features 25 Object Position 25 Conditional Visibility 25 Dynamic Colors 26 LaTeX 27 Layers 28 Scripting 28 Tooltips 30 Tools 31 Tools 31 Movement Tools 32 Move Tool 32 Record to Spreadsheet Tool 32 Rotate around Point Tool 33 Point Tools 33 New Point Tool 33 Attach / Detach Point Tool 34 Complex Number Tool 34 Point on Object Tool 34 Intersect Two Objects Tool 35 Midpoint or Center Tool 35 Line Tools 35 Vector from Point Tool 36 Ray through Two Points Tool 36 Segment with Given Length from Point Tool 36 Line through Two Points Tool 36 Segment between Two Points Tool 37 Vector between Two Points Tool 37 Special Line Tools 37 Best Fit Line Tool 38 Parallel Line Tool 38 Angle Bisector Tool 38 Perpendicular Line Tool 39 Tangents Tool 39 Polar or Diameter Line Tool 39 Perpendicular Bisector Tool 40 Locus Tool 40 Polygon Tools 41 Rigid Polygon Tool 41 PolyLine Tool 41 Regular Polygon Tool 42 Polygon Tool 42 Circle & Arc Tools 42 Circle with Center and Radius Tool 43 Circle through Three Points Tool 43 Circle with Center through Point Tool 43 Circumcircular Arc through Three Points Tool 43 Circumcircular Sector through Three Points Tool 44 Compass Tool 44 Circular Sector with Center between Two Points Tool 44 Semicircle through Two Points Tool 45 Circular Arc with Center between Two Points Tool 45 Conic Section Tools 45 Ellipse Tool 46 Hyperbola Tool 46 Conic through Five Points Tool 46 Parabola Tool 46 Measurement Tools 47 Distance or Length Tool 47 Angle Tool 47 Slope Tool 48 Area Tool 48 Angle with Given Size Tool 48 Transformation Tools 48 Translate Object by Vector Tool 49 Reflect Object about Line Tool 49 Reflect Object about Point Tool 49 Rotate Object around Point by Angle Tool 49 Reflect Object about Circle Tool 50 Dilate Object from Point by Factor Tool 50 Special Object Tools 50 Insert Image Tool 51 Probability Calculator Tool 52 Pen Tool 52 Slider Tool 53 Relation between Two Objects Tool 53 Function Inspector Tool 54 Insert Text Tool 54 Action Object Tools 55 Check Box to Show / Hide Objects Tool 55 Insert Input Box Tool 55 Insert Button Tool 56 General Tools 56 Custom Tools 56 Show / Hide Label Tool 57 Zoom Out Tool 57 Zoom In Tool 58 Delete Object Tool 58 Move Graphics View Tool 58 Show / Hide Object Tool 58 Copy Visual Style Tool 59 Commands 60 Commands 60 Geometry Commands 60 AffineRatio Command 61 Angle Command 61 AngleBisector Command 62 Arc Command 62 Area Command 63 Centroid Command 63 CircularArc Command 63 CircularSector Command 64 CircumcircularArc Command 64 CircumcircularSector Command 64 Circumference Command 65 ClosestPoint Command 65 CrossRatio Command 65 Direction Command 65 Distance Command 66 Intersect Command 66 IntersectRegion Command 67 Length Command 67 Line Command 68 PerpendicularBisector Command 69 Locus Command 69 Midpoint Command 70 PerpendicularLine Command 70 Perimeter Command 71 Point Command 71 PointIn Command 71 PolyLine Command 72 Polygon Command 72 Radius Command 73 Ray Command 73 RigidPolygon Command 73 Sector Command 73 Segment Command 74 Slope Command 74 Tangent Command 74 Vertex Command 75 Algebra Commands 75 Div Command 76 Expand Command 77 Factor Command 77 GCD Command 78 LCM Command 79 Max Command 80 Min Command 81 Mod Command 82 PrimeFactors Command 83 Simplify Command 83 Text Commands 84 FractionText Command 84 FormulaText Command 84 LetterToUnicode Command 85 Ordinal Command 85 RotateText Command 85 TableText Command 85 Text Command 86 TextToUnicode Command 87 UnicodeToLetter Command 87 UnicodeToText Command 87 VerticalText Command 88 Logic Commands 88 CountIf Command 88 IsDefined Command 89 If Command 89 IsInRegion Command 90 IsInteger Command 90 KeepIf Command 90 Relation Command 90 Functions & Calculus Commands 91 Asymptote Command 92 Coefficients Command 92 CompleteSquare Command 92 ComplexRoot Command 93 Curvature Command 93 CurvatureVector Command 93 Curve Command 94 Degree Command 94 Denominator Command 95 Derivative Command 95 Extremum Command 96 Factors Command 97 Function Command 98 ImplicitCurve Command 98 Integral Command 98 IntegralBetween Command 99 Intersect Command 100 Iteration Command 101 IterationList Command 101 LeftSum Command 101 Limit Command 102 LimitAbove Command 102 LimitBelow Command 103 LowerSum Command 103 Numerator Command 104 OsculatingCircle Command 104 PartialFractions Command 105 PathParameter Command 105 Polynomial Command 106 RectangleSum Command 106 Root Command 106 RootList Command 107 Roots Command 107 SolveODE Command 107 TaylorPolynomial Command 108 TrapezoidalSum Command 109 InflectionPoint Command 109 UpperSum Command 109 Conic Commands 109 Asymptote Command 110 Axes Command 110 Center Command 110 Circle Command 110 Conic Command 111 ConjugateDiameter Command 111 Directrix Command 111 Eccentricity Command 112 Ellipse Command 112 LinearEccentricity Command 112 MajorAxis Command 113 SemiMajorAxisLength Command 113 Focus Command 113 Hyperbola Command 113 Incircle Command 114 Parabola Command 114 Parameter Command 114 Polar Command 114 MinorAxis Command 115 SemiMinorAxisLength Command 115 Semicircle Command 115 List Commands 115 Append Command 116 Classes Command 116 Element Command 116 First Command 117 Frequency Command 118 IndexOf Command 119 Insert Command 119 Intersect Command 120 Intersection Command 121 IterationList Command 121 Join Command 121 Last Command 122 OrdinalRank Command 123 PointList Command 123 Product Command 123 RandomElement Command 124 RemoveUndefined Command 124 Reverse Command 125 RootList Command 125 SelectedElement Command 125 SelectedIndex Command 125 Sequence Command 126 Sort Command 127 Take Command 127 TiedRank Command 128 Union Command 128 Unique Command 128 Zip Command 129 Vector & Matrix Commands 129 ApplyMatrix Command 130 CurvatureVector Command 130 Determinant Command 130 Identity Command 131 Invert Command 131 PerpendicularVector Command 132 ReducedRowEchelonForm Command 132 Transpose Command 133 UnitPerpendicularVector Command 133 UnitVector Command 134 Vector Command 135 Transformation Commands 135 Dilate Command 135 Reflect Command 136 Rotate Command 136 Shear Command 137 Stretch Command 137 Translate Command 137 Chart Commands 138 BarChart Command 138 BoxPlot Command 139 DotPlot Command 139 FrequencyPolygon Command 139 Histogram Command 140 HistogramRight Command 141 NormalQuantilePlot Command 141 ResidualPlot Command 141 StemPlot Command 142 Statistics Commands 142 ANOVA Command 143 Classes Command 144 Covariance Command 144 Fit Command 145 FitExp Command 145 FitGrowth Command 146 FitLineX Command 146 FitLine Command 146 FitLog Command 146 FitLogistic Command 147 FitPoly Command 147 FitPow Command 147 FitSin Command 148 Frequency Command 148 FrequencyTable Command 149 GeometricMean Command 150 HarmonicMean Command 150 Mean Command 150 MeanX Command 151 MeanY Command 151 Median Command 151 Mode Command 152 CorrelationCoefficient Command 152 Percentile Command 152 Q1 Command 153 Q3 Command 153 RSquare Command 153 RootMeanSquare Command 153 SD Command 154 SDX Command 154 SDY Command 154 Sxx Command 155 Sxy Command 155 Syy Command 155 Sample Command 155 SampleSD Command 156 SampleSDX Command 157 SampleSDY Command 157 SampleVariance Command 157 Shuffle Command 158 SigmaXX Command 158 SigmaXY Command 159 SigmaYY Command 159 Spearman Command 159 Sum Command 160 SumSquaredErrors Command 161 TMean2Estimate Command 161 TMeanEstimate Command 162 TTest Command 162 TTest2 Command 163 TTestPaired Command 163 Variance Command 164 Probability Commands 164 Bernoulli Command 165 BinomialCoefficient Command 165 BinomialDist Command 166 Cauchy Command 167 ChiSquared Command 168 Erlang Command 168 Exponential Command 169 FDistribution Command 170 Gamma Command 170 HyperGeometric Command 171 InverseBinomial Command 172 InverseCauchy Command 172 InverseChiSquared Command 172 InverseExponential Command 173 InverseFDistribution Command 173 InverseGamma Command 173 InverseHyperGeometric Command 174 InverseNormal Command 174 InversePascal Command 174 InversePoisson Command 175 InverseTDistribution Command 175 InverseWeibull Command 175 InverseZipf Command 175 LogNormal Command 176 Logistic Command 176 Normal Command 177 Pascal Command 177 Poisson Command 178 RandomBetween Command 179 RandomBinomial Command 179 RandomNormal Command 180 RandomPoisson Command 180 RandomUniform Command 181 TDistribution Command 181 Triangular Command 182 Uniform Command 182 Weibull Command 183 Zipf Command 183 Spreadsheet Commands 184 Cell Command 184 CellRange Command 185 Column Command 185 ColumnName Command 185 FillCells Command 185 FillColumn Command 186 FillRow Command 186 Row Command 186 Scripting Commands 186 Button Command 187 Checkbox Command 188 CopyFreeObject Command 188 Delete Command 188 Execute Command 189 GetTime Command 189 HideLayer Command 189 Pan Command 190 ParseToFunction Command 190 ParseToNumber Command 190 PlaySound
Load more

Recommended publications
  • Interactive SVG with Jsxgraph
    Interactive SVG with JSXGraph Bianca Valentin and Michael Gerhäuser August 30, 2009 Contents 1 Introduction2 2 Mathematics3 2.1 JSXGraph as a web viewer for dynamic geometry software . .3 2.2 Currently supported file formats . .4 2.3 Constructing from scratch . .4 2.4 Calculus . .6 3 Turtle graphics8 3.1 Turtle graphics in mathematical modelling . .8 3.2 Drawing with turtle graphics . .8 4 Charts 10 5 JSXGraph as a front end to server side applications 12 5.1 Just AJAX . 12 5.2 JXG.Server . 14 6 Plugins for integration in other web applications 14 7 Implementation details 15 7.1 Cross-browser development . 15 7.2 SVG vs. VML . 15 7.3 HTML elements . 17 7.4 Speed improvements . 17 7.4.1 Avoid DOM accesses with getElementById() . 17 7.4.2 Suspend the update of SVG nodes . 17 7.4.3 Use memoizers . 18 7.4.4 Distinguish mouse move and mouse up events . 18 7.4.5 Reduce the download and initialization time . 18 7.4.6 Use closures . 18 7.4.7 An Internet Explorer trick . 19 1 8 References 20 8.1 References . 20 8.2 Websites . 20 List of Figures 1 The Euler Line . .6 2 Sine with it’s derivative and riemann sum. .7 3 SVG written by a turtle. Result of . .9 4 The Koch curve with recursion level 7 . 10 5 A pie chart on the left hand side and an interactive bar chart together with a static line chart on the right hand side. 11 6 Scheme showing the renderer split in JSXGraph .
    [Show full text]
  • Functional Programming Applied to Computational Algebra
    THESIS FUNCTIONAL PROGRAMMING APPLIED TO COMPUTATIONAL ALGEBRA Submitted by Ian H. Kessler Department of Mathematics In partial fulfillment of the requirements For the Degree of Master of Science Colorado State University Fort Collins, Colorado Fall 2018 Master’s Committee: Advisor: James B. Wilson Amit Patel Hamidreza Chitsaz Copyright by Ian H. Kessler 2018 All Rights Reserved ABSTRACT FUNCTIONAL PROGRAMMING APPLIED TO COMPUTATIONAL ALGEBRA Underlying many, if not all, areas of mathematics is category theory, an alternative to set the- ory as a foundation that formalizes mathematical structures and relations between them. These relations abstract the idea of a function, an abstraction used throughout mathematics as well as throughout programming. However, there is a disparity between the definition of a function used in mathematics from that used in mainstream programming. For mathematicians to utilize the power of programming to advance their mathematics, there is a demand for a paradigm of pro- gramming that uses mathematical functions, as well as the mathematical categories that support them, as the basic building blocks, enabling programs to be built by clever mathematics. This paradigm is functional programming. We wish to use functional programming to represent our mathematical structures, especially those used in computational algebra. ii ACKNOWLEDGEMENTS I want to thank God for the opportunity to go to graduate school, and for giving me the strength to persevere through it. I want to thank my mom, dad, and my brothers, Jerry and Joel, for believing in me. I am grateful for my mom for giving me emotional support and words of encouragement throughout my time in graduate school.
    [Show full text]
  • IBM Cognos Analytics - Reporting Version 11.1
    IBM Cognos Analytics - Reporting Version 11.1 User Guide IBM © Product Information This document applies to IBM Cognos Analytics version 11.1.0 and may also apply to subsequent releases. Copyright Licensed Materials - Property of IBM © Copyright IBM Corp. 2005, 2021. US Government Users Restricted Rights – Use, duplication or disclosure restricted by GSA ADP Schedule Contract with IBM Corp. IBM, the IBM logo and ibm.com are trademarks or registered trademarks of International Business Machines Corp., registered in many jurisdictions worldwide. Other product and service names might be trademarks of IBM or other companies. A current list of IBM trademarks is available on the Web at " Copyright and trademark information " at www.ibm.com/legal/copytrade.shtml. The following terms are trademarks or registered trademarks of other companies: • Adobe, the Adobe logo, PostScript, and the PostScript logo are either registered trademarks or trademarks of Adobe Systems Incorporated in the United States, and/or other countries. • Microsoft, Windows, Windows NT, and the Windows logo are trademarks of Microsoft Corporation in the United States, other countries, or both. • Intel, Intel logo, Intel Inside, Intel Inside logo, Intel Centrino, Intel Centrino logo, Celeron, Intel Xeon, Intel SpeedStep, Itanium, and Pentium are trademarks or registered trademarks of Intel Corporation or its subsidiaries in the United States and other countries. • Linux is a registered trademark of Linus Torvalds in the United States, other countries, or both. • UNIX is a registered trademark of The Open Group in the United States and other countries. • Java and all Java-based trademarks and logos are trademarks or registered trademarks of Oracle and/or its affiliates.
    [Show full text]
  • Seminar 'Typ 1 Aufgaben Qualitätsvoll Erstellen'
    Seminar ’Typ 1 Aufgaben qualitätsvoll erstellen’ Konzett, Weberndorfer LATEX in der Schule Oktober 2019 1 / 41 1 Bilder einfügen 2 Erstellen von GeoGebra Grafiken Konzett, Weberndorfer LATEX in der Schule Oktober 2019 2 / 41 1 Bilder einfügen 2 Erstellen von GeoGebra Grafiken Konzett, Weberndorfer LATEX in der Schule Oktober 2019 3 / 41 Bilder einfügen Bilder können über folgenden Befehl eingebettet werden: Konzett, Weberndorfer Bilder einfügen Oktober 2019 4 / 41 Bilder einfügen Bilder können über folgenden Befehl eingebettet werden: \includegraphics[width=0.5\textwidth]{Grafik.jpg} Konzett, Weberndorfer Bilder einfügen Oktober 2019 4 / 41 Bilder einfügen Bilder können über folgenden Befehl eingebettet werden: \includegraphics[width=0.5\textwidth]{Grafik.jpg} Wichtig: Die Bilder müssen in dem selben Ordner liegen wie die .tex-Datei (oder der Dateipfad muss angegeben werden) Konzett, Weberndorfer Bilder einfügen Oktober 2019 4 / 41 Bilder einfügen A Mit LTEX ⇒ PDF : Konzett, Weberndorfer Bilder einfügen Oktober 2019 5 / 41 Bilder einfügen A Mit LTEX ⇒ PDF : Einfügen von Standard-Grafikformaten möglich (.jpg, .png, .pdf,...) Konzett, Weberndorfer Bilder einfügen Oktober 2019 5 / 41 Bilder einfügen A Mit LTEX ⇒ PDF : Einfügen von Standard-Grafikformaten möglich (.jpg, .png, .pdf,...) Aber: Kein Einbetten von Geogebra-Grafiken möglich Konzett, Weberndorfer Bilder einfügen Oktober 2019 5 / 41 Bilder einfügen A Mit LTEX ⇒ PDF : Einfügen von Standard-Grafikformaten möglich (.jpg, .png, .pdf,...) Aber: Kein Einbetten von Geogebra-Grafiken möglich A
    [Show full text]
  • The Latex Graphics Companion / Michel Goossens
    i i “tlgc2” — 2007/6/15 — 15:36 — page iii — #3 i i The LATEXGraphics Companion Second Edition Michel Goossens Frank Mittelbach Sebastian Rahtz Denis Roegel Herbert Voß Upper Saddle River, NJ • Boston • Indianapolis • San Francisco New York • Toronto • Montreal • London • Munich • Paris • Madrid Capetown • Sydney • Tokyo • Singapore • Mexico City i i i i i i “tlgc2” — 2007/6/15 — 15:36 — page iv — #4 i i Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. Where those designations appear in this book, and Addison-Wesley was aware of a trademark claim, the designations have been printed with initial capital letters or in all capitals. The authors and publisher have taken care in the preparation of this book, but make no expressed or implied warranty of any kind and assume no responsibility for errors or omissions. No liability is assumed for incidental or consequential damages in connection with or arising out of the use of the information or programs contained herein. The publisher offers discounts on this book when ordered in quantity for bulk purchases and special sales. For more information, please contact: U.S. Corporate and Government Sales (800) 382-3419 [email protected] For sales outside of the United States, please contact: International Sales [email protected] Visit Addison-Wesley on the Web: www.awprofessional.com Library of Congress Cataloging-in-Publication Data The LaTeX Graphics companion / Michel Goossens ... [et al.]. -- 2nd ed. p. cm. Includes bibliographical references and index. ISBN 978-0-321-50892-8 (pbk. : alk. paper) 1.
    [Show full text]
  • Developing High-Order Mathematical Thinking Competency on High School Students’ Through Geogebra-Assisted Blended Learning
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by International Institute for Science, Technology and Education (IISTE): E-Journals Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522 (Online) Vol.4, No.6, 2014 Developing High-Order Mathematical Thinking Competency on High School Students’ Through GeoGebra-Assisted Blended Learning Nanang Supriadi1* Yaya S. Kusumah2 Jozua Sabandar2 Jarnawi D. Afgani2 1. Raden Intan State Institute for Islamic Studies, Jl. Letkol. H. Endro Suratmin, Sukarame, Bandar Lampung, Lampung 35131, Indonesia 2. Indonesia University of Education, Jl. Dr Setiabudi No. 229, Bandung, West Java,40154, Indonesia *E-mail of the corresponding author: [email protected] ABSTRACT Blended Learning has received considerable attention in the field of mathematics education in recent years. This study combines online learning and face-to-face based learning. Blended Learning is based on some of the weaknesses found in online learning. In Blended Learning, Online learning is not just the learning that collects teaching materials, assignments, exercises, tests, and results of students’ works. It also has to be an interesting and attractive learning so that students’ will have better understanding on learning objectives. One of the tools for developing interesting and attractive online learning process is an open source software called GeoGebra. Blended Learning has very good quality when applied in developing students’ High-Order Mathematical Thinking Competency (HOMTC) as it is evident from previous researches. This study was an experiment based on pretest-posttest control group aiming to examine the influence of Blended Learning and students’ initial mathematical ability on students’ achievement and enhancement of HOMTC consisting of some aspects such as mathematical problem solving, mathematical communication, mathematical reasoning, and mathematical connections.
    [Show full text]
  • Graphics for Latex Users (Arstexnica, Numero 28, 2019)
    Graphics for LATEX users Agostino De Marco Abstract able, coherent, and visually satisfying whole that works invisibly, without the awareness of the reader. This article presents the most important ways to Typographers and graphic designers claim that an produce technical illustrations, diagrams and plots, A even distribution of typeset material and graphics, which are relevant to LTEX users. Graphics is a with a minimum of distractions and anomalies, is huge subject per se, therefore this is by no means aimed at producing clarity and transparency. This an exhaustive tutorial. And it should not be so is even more true for scientific or technical texts, since there are usually different ways to obtain where also precision and consistency are of the an equally satisfying visual result for any given utmost importance. graphic design. The purpose is to stimulate read- Authors of technical texts are required to be ers’ creativity and point them to the right direc- aware and adhere to all the typographical conven- tion. The article emphasizes the role of tikz for A tions on symbols. The most important rule in all programmed graphics and of inkscape as a LTEX- circumstances is consistency. This means that a aware visual tool. A final part on scientific plots given symbol is supposed to always be presented in presents the package pgfplots. the same way, whether it appears in the text body, a title, a figure, a table, or a formula. A number Sommario of fairly distinct subjects exist in the matter of typographical conventions where proven typeset- Questo articolo presenta gli strumenti più impor- ting rules have been established.
    [Show full text]
  • Joyal's Arithmetic Universe As List-Arithmetic Pretopos 1
    Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39{83. JOYAL'S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS MARIA EMILIA MAIETTI Abstract. We explain in detail why the notion of list-arithmetic pretopos should be taken as the general categorical definition for the construction of arithmetic universes introduced by Andr´eJoyal to give a categorical proof of G¨odel'sincompleteness results. We motivate this definition for three reasons: first, Joyal's arithmetic universes are list- arithmetic pretopoi; second, the initial arithmetic universe among Joyal's constructions is equivalent to the initial list-arithmetic pretopos; third, any list-arithmetic pretopos enjoys the existence of free internal categories and diagrams as required to prove G¨odel's incompleteness. In doing our proofs we make an extensive use of the internal type theory of the categorical structures involved in Joyal's constructions. The definition of list-arithmetic pretopos is equivalent to the general one that I came to know in a recent talk by Andr´eJoyal. 1. Introduction The categories of topoi and pretopoi can be viewed as universes of abstract sets in which to develop mathematics (see [LR03, Joh77, JM95, MM92, Hyl82]). Joyal's arithmetic universes provide further examples of such universes. Andr´eJoyal introduced arithmetic universes in some lectures given in the seventies, all still unpublished, to provide a categorical proof of G¨odel'sincompleteness theorems. He defined arithmetic universes by giving a general construction of examples including the free initial one. He then intended to prove incompleteness by mimicking the diagonal argument of Cantor's theorem within the initial arithmetic universe [Joy05].
    [Show full text]
  • List Objects with Algebraic Structure
    List Objects with Algebraic Structure Marcelo Fiore1 and Philip Saville2 1 Computer Laboratory, University of Cambridge, Cambridge, UK [email protected] 2 Computer Laboratory, University of Cambridge, Cambridge, UK [email protected] Abstract We introduce and study the notion of list object with algebraic structure. The first key aspect of our development is that the notion of list object is considered in the context of monoidal structure; the second key aspect is that we further equip list objects with algebraic structure in this setting. Within our framework, we observe that list objects give rise to free monoids and moreover show that this remains so in the presence of algebraic structure. In addition, we provide a basic theory explicitly describing as an inductively defined object such free monoids with suitably compatible algebraic structure in common practical situations. This theory is accompanied by the study of two technical themes that, besides being of interest in their own right, are important for establishing applications. These themes are: parametrised initiality, central to the universal property defining list objects; and approaches to algebraic structure, in particular in the context of monoidal theories. The latter leads naturally to a notion of nsr (or near semiring) category of independent interest. With the theoretical development in place, we touch upon a variety of applications, considering Natural Numbers Objects in domain theory, giving a universal property for the monadic list transformer, providing free instances of algebraic extensions of the Haskell Monad type class, elucidating the algebraic character of the construction of opetopes in higher-dimensional algebra, and considering free models of second-order algebraic theories.
    [Show full text]
  • Tools of the Trade: Resources to Help Prepare Papers and Conduct Research
    Tools of the Trade: resources to help prepare papers and conduct research Trung V. Dang, Shlomi Hod, Luowen Qian Tool use shapes thinking Few General Principles for Building your Toolbox Goal: Effectiveness (ability) & Efficiency (productivity) Define your system, design your process Simplicity (proxy measure: numbers of clicks for an action) Experiment with tools before committing to them Sometimes you want use more than one tool for a task (e.g., offline and online writing in LaTeX) Be aware... Keyboard Shortcuts Why? Spending more time on the things that matter Reducing cognitive load Good for preventing RSI (repetitive strain injury) Sometimes steep learning curve Tip: flip your mouse, disable your touchpad Good starting point: lifehacker - Back to Basics: Learn to Use Keyboard Shortcuts Like a Ninja Tools for What? 1. Writing 2. Coding 3. Organizing 4. Collaborating 5. Presenting …. and now an opinionated survey! Task I: Tools for Writing Papers - LaTeX ● Pros: ... ● Cons: … You don’t have a choice so you don’t need to care LaTeX editors Emacs + AUCTeX, Vim + LaTeX-suite, Sublime Text + LaTeXTools… Pros: ● Efficient given you know the editor very well ● Easy to use if you spend time configuring it Cons: ● You spend time finding plugins/extensions for it ● You spend time configuring it ● You need to be ready to debug editors if things are not working or are slow LaTeX IDEs a.k.a. LaTeX editors that work out of the box Ordered by community preference: (https://tex.stackexchange.com/q/339/97178) ● TeXstudio (formerly TexMakerX) ● Texmaker
    [Show full text]
  • Continuity and Geometric Logic
    Continuity and Geometric Logic Steven Vickers1 School of Computer Science, University of Birmingham, Birmingham, B15 2TT. Abstract This paper is largely a review of known results about various aspects of geomet- ric logic. Following Grothendieck's view of toposes as generalized spaces, one can take geometric morphisms as generalized continuous maps. The constructivist constraints of geometric logic guarantee the continuity of maps constructed, and can do so from two different points of view: for maps as point transformers and maps as bundles. Keywords: geometric logic, topos, locale, bundle 2010 MSC: 03G30 18C10 06D22 1. Introduction Geometric logic has arisen in topos theory out of the fact that toposes (by \topos" unqualified we shall always mean Grothendieck topos) may be described as classifying toposes for geometric theories { that is to say, any topos may be presented as being generated by a generic model of some geometric theory. The historical roots of this idea must surely go back to Grothendieck's dic- tum that \A topos is a generalized topological space" [10], but there is a specific technical understanding that underlies this: that for the the purposes of sheaf cohomology, what was important was particular categorical structure and prop- erties of categories of sheaves over spaces; and that it was fruitful to generalize to other categories (the toposes) with the same structure and properties. I have not been able to trace in detail how this developed over the 1970s into the idea of toposes as geometric theories as mentioned above. Some of the difficulties are described in the 1986 paper Theories as Categories [9], which grew out of notes I made on a talk given by Mike Fourman to computer scientists and gave in outline form some of the ideas and results on which the present paper is based.
    [Show full text]
  • GCLC Manual and Help file and for Many Useful Insights and Com- Ments (2005); 88 D Acknowledgements
    GCLC 2020 (Geometry Constructions ! LATEX Converter) Manual Predrag Janiˇci´c Faculty of Mathematics Studentski trg 16 11000 Belgrade Serbia url: www.matf.bg.ac.rs/~janicic e-mail: [email protected] GCLC page: www.matf.bg.ac.rs/~janicic/gclc November 2020 c 1995-2020 Predrag Janiˇci´c 2 Contents 1 Briefly About GCLC5 1.1 Comments and Bugs Report.....................7 1.2 Copyright Notice...........................7 2 Quick Start9 2.1 Installation..............................9 2.2 First Example............................. 10 2.3 Basic Syntax Rules.......................... 11 2.4 Basic Objects............................. 11 2.5 Geometrical Constructions...................... 12 2.6 Basic Ideas.............................. 12 3 GCLC Language 15 3.1 Basic Definition Commands..................... 16 3.2 Basic Constructions Commands................... 16 3.3 Transformation Commands..................... 18 3.4 Calculations, Expressions, Arrays, and Control Structures.... 19 3.5 Drawing Commands......................... 23 3.6 Labelling and Printing Commands................. 29 3.7 Low Level Commands........................ 31 3.8 Cartesian Commands......................... 33 3.9 3D Cartesian Commands...................... 36 3.10 Layers................................. 39 3.11 Support for Animations....................... 40 3.12 Support for Theorem Provers.................... 40 4 Graphical User Interface 43 4.1 An Overview of the Graphical Interface.............. 43 4.2 Features for Interactive Work.................... 44 5 Exporting Options 49 5.1 Export to Simple LATEX format................... 49 5.1.1 Generating LATEX Files and gclc.sty ........... 50 5.1.2 Changing LATEX File Directly................ 50 5.1.3 Handling More Pictures on a Page............. 51 5.1.4 Batch Processing....................... 51 5.2 Export to PSTricks LATEX format.................. 52 5.3 Export to TikZLATEX format.................... 53 3 4 CONTENTS 5.4 Export to Raster-based Formats and Export to Sequences of Images 54 5.5 Export to eps Format.......................
    [Show full text]