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.
This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full papers, carefully reviewed and selected for presentation. The papers are organized in topical sections on new developments in computer algebra packages, interfacing computer algebra in mathematical visualization, software for algebraic geometry and related topics, number-theoretical software, methods in computational number theory, free software for computer algebra, and general issues.
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.
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently used principal mathematical and computational tools and techniques of the geometric constraint system (GCS). It functions as a single source containing the core principles and results, accessible to both beginners and experts. The handbook provides a guide for students learning basic concepts, as well as experts looking to pinpoint specific results or approaches in the broad landscape. As such, the editors created this handbook to serve as a useful tool for navigating the varied concepts, approaches and results found in GCS research. Key Features: A comprehensive reference handbook authored by top researchers Includes fundamentals and techniques from multiple perspectives that span several research communities Provides recent results and a graded program of open problems and conjectures Can be used for senior undergraduate or graduate topics course introduction to the area Detailed list of figures and tables About the Editors: Meera Sitharam is currently an Associate Professor at the University of Florida’s Department of Computer & Information Science and Engineering. She received her Ph.D. at the University of Wisconsin, Madison. Audrey St. John is an Associate Professor of Computer Science at Mount Holyoke College, who received her Ph. D. from UMass Amherst. Jessica Sidman is a Professor of Mathematics on the John S. Kennedy Foundation at Mount Holyoke College. She received her Ph.D. from the University of Michigan.
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
Modern Mathematics is constructed rigorously through proofs, based on truths, which are either axioms or previously proven theorems. Thus, it is par excellence a model of rational inquiry. Links between Cognitive Psychology and Mathematics Education have been particularly strong during the last decades. Indeed, the Enlightenment view of the rational human mind that reasons, makes decisions and solves problems based on logic and probabilities, was shaken during the second half of the twentieth century. Cognitive psychologists discovered that humans' thoughts and actions often deviate from rules imposed by strict normative theories of inference. Yet, these deviations should not be called "errors": as Cognitive Psychologists have demonstrated, these deviations may be either valid heuristics that succeed in the environments in which humans have evolved, or biases that are caused by a lack of adaptation to abstract information formats. Humans, as the cognitive psychologist and economist Herbert Simon claimed, do not usually optimize, but rather satisfice, even when solving problem. This Research Topic aims at demonstrating that these insights have had a decisive impact on Mathematics Education. We want to stress that we are concerned with the view of bounded rationality that is different from the one espoused by the heuristics-and-biases program. In Simon’s bounded rationality and its direct descendant ecological rationality, rationality is understood in terms of cognitive success in the world (correspondence) rather than in terms of conformity to content-free norms of coherence (e.g., transitivity).
Education and Technology for a Better World was the main theme for WCCE 2009. The conference highlights and explores different perspectives of this theme, covering all levels of formal education as well as informal learning and societal aspects of education. The conference was open to everyone involved in education and training. Additionally players from technological, societal, business and political fields outside education were invited to make relevant contributions within the theme: Education and Technology for a Better World. For several years the WCCE (World Conference on Computers in Education) has brought benefits to the fields of computer science and computers and education as well as to their communities. The contributions at WCCE include research projects and good practice presented in different formats from full papers to posters, demonstrations, panels, workshops and symposiums. The focus is not only on presentations of accepted contributions but also on discussions and input from all participants. The main goal of these conferences is to provide a forum for the discussion of ideas in all areas of computer science and human learning. They create a unique environment in which researchers and practitioners in the fields of computer science and human learning can interact, exchanging theories, experiments, techniques, applications and evaluations of initiatives supporting new developments that are potentially relevant for the development of these fields. They intend to serve as reference guidelines for the research community.
The Handbook of Discrete and Computational Geometry is intended as a reference book fully accessible to nonspecialists as well as specialists, covering all major aspects of both fields. The book offers the most important results and methods in discrete and computational geometry to those who use them in their work, both in the academic world—as researchers in mathematics and computer science—and in the professional world—as practitioners in fields as diverse as operations research, molecular biology, and robotics. Discrete geometry has contributed significantly to the growth of discrete mathematics in recent years. This has been fueled partly by the advent of powerful computers and by the recent explosion of activity in the relatively young field of computational geometry. This synthesis between discrete and computational geometry lies at the heart of this Handbook. A growing list of application fields includes combinatorial optimization, computer-aided design, computer graphics, crystallography, data analysis, error-correcting codes, geographic information systems, motion planning, operations research, pattern recognition, robotics, solid modeling, and tomography.
"This book shares theoretical and applied pedagogical models and systems used in math e-learning including the use of computer supported collaborative learning, which is common to most e-learning practices"--Provided by publisher.
