The Cinderella.2 Manual


Book Description

Cinderella.2, the new version of the well-known interactive geometry software, has become an even more versatile tool than its predecessor. The geometry component extends the functionality to such spectacular objects as dynamic fractals, and the software includes two major new components: physical simulation such as of mechanical objects, virtual electronic devices, and electromagnetic properties. Cinderella.2 Documentation offers complete instruction and techniques for using Cinderella.2.




User Manual for the Interactive Geometry Software Cinderella


Book Description

Cinderella is a unique, technically very sophisticated teachware for geometry that will be used as a tool by students learning Euclidean, projective, spherical and hyperbolic geometry, as well as in geometric research. Moreover, it can also serve as an authors' tool to design web pages with interactive constructions or even complete geometry exercises.




Advances in Discrete Differential Geometry


Book Description

This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discrete models in differential geometry and dynamical systems. Their curves are polygonal, surfaces are made from triangles and quadrilaterals, and time is discrete. Nevertheless, the difference between the corresponding smooth curves, surfaces and classical dynamical systems with continuous time can hardly be seen. This is the paradigm of structure-preserving discretizations. Current advances in this field are stimulated to a large extent by its relevance for computer graphics and mathematical physics. This book is written by specialists working together on a common research project. It is about differential geometry and dynamical systems, smooth and discrete theories, and on pure mathematics and its practical applications. The interaction of these facets is demonstrated by concrete examples, including discrete conformal mappings, discrete complex analysis, discrete curvatures and special surfaces, discrete integrable systems, conformal texture mappings in computer graphics, and free-form architecture. This richly illustrated book will convince readers that this new branch of mathematics is both beautiful and useful. It will appeal to graduate students and researchers in differential geometry, complex analysis, mathematical physics, numerical methods, discrete geometry, as well as computer graphics and geometry processing.




Exploring Classical Greek Construction Problems with Interactive Geometry Software


Book Description

In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS). The book traces the history of these problems, stating them in modern terminology. By focusing on constructions and the use of IGS the reader is confronted with the same problems that ancient mathematicians once faced. The reader can step into the footsteps of Euclid, Viète and Cusanus amongst others and then by experimenting and discovering geometric relationships far exceed their accomplishments. Exploring these problems with the neusis-method lets him discover a class of interesting curves. By experimenting he will gain a deeper understanding of how mathematics is created. More than 100 exercises guide him through methods which were developed to try and solve the problems. The exercises are at the level of undergraduate students and only require knowledge of elementary Euclidean geometry and pre-calculus algebra. It is especially well-suited for those students who are thinking of becoming a mathematics teacher and for mathematics teachers.




Computational Science and Its Applications – ICCSA 2017


Book Description

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.




Mathematical Software – ICMS 2016


Book Description

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.




Automated Deduction - CADE 28


Book Description

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.







Distance Learning, E-Learning and Blended Learning in Mathematics Education


Book Description

This book builds on current and emerging research in distance learning, e-learning and blended learning. Specifically, it tests the boundaries of what is known by examining and discussing recent research and development in teaching and learning based on these modalities, with a focus on lifelong mathematics learning and teaching. The book is organized in four sections: The first section focuses on the incorporation of new technologies into mathematics classrooms through the construction or use of digital teaching and learning platforms. The second section presents a wide range of perspectives on the study and implementation of different tutoring systems and/or computer assisted math instruction. The third section presents four new innovations in mathematics learning and/or mathematics teacher education that involve the development of novel interfaces’ for communicating mathematical ideas and analyzing student thinking and student work. Finally, the fourth section presents the latest work on the construction and implementation of new MOOCs and rich media platforms developed to carry out specialized mathematics teacher education.




Advances in Mechanism and Machine Science


Book Description

This book gathers the proceedings of the 16th IFToMM World Congress, which was held in Tokyo, Japan, on November 5–10, 2023. Having been organized every four years since 1965, the Congress represents the world’s largest scientific event on mechanism and machine science (MMS). The contributions cover an extremely diverse range of topics, including biomechanical engineering, computational kinematics, design methodologies, dynamics of machinery, multibody dynamics, gearing and transmissions, history of MMS, linkage and mechanical controls, robotics and mechatronics, micro-mechanisms, reliability of machines and mechanisms, rotor dynamics, standardization of terminology, sustainable energy systems, transportation machinery, tribology and vibration. Selected by means of a rigorous international peer-review process, they highlight numerous exciting advances and ideas that will spur novel research directions and foster new multidisciplinary collaborations.




Recent Books