Official Geogebra Manual
Total Page:16
File Type:pdf, Size:1020Kb
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 . -
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. -
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. -
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 -
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. -
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. -
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. -
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]. -
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. -
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 -
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. -
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.......................