The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.

CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.

This textbook presents various automatic techniques based on Gröbner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects — which cannot be easily done with a ruler and compass.Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically — without using computer where possible — so that readers can compare the strengths and weaknesses of both approaches.

Model-Centered Learning: Pathways to Mathematical Understanding Using GeoGebra is the first book to report on the international use of GeoGebra and its growing impact on mathematics teaching and learning. Supported by new developments in model-centered learning and instruction, the chapters in this book move beyond the traditional views of mathematics and mathematics teaching, providing theoretical perspectives and examples of practice for enhancing students’ mathematical understanding through mathematical and didactical modeling. Designed specifically for teaching mathematics, GeoGebra integrates dynamic multiple representations in a conceptually rich learning environment that supports the exploration, construction, and evaluation of mathematical models and simulations. The open source nature of GeoGebra has led to a growing international community of mathematicians, teacher educators, and classroom teachers who seek to tackle the challenges and complexity of mathematics education through a grassroots initiative using instructional innovations. The chapters cover six themes: 1) the history, philosophy, and theory behind GeoGebra, 2) dynamic models and simulations, 3) problem solving and attitude change, 4) GeoGebra as a cognitive and didactical tool, 5) curricular challenges and initiatives, 6) equity and sustainability in technology use. This book should be of interest to mathematics educators, mathematicians, and graduate students in STEM education and instructional technologies.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12 revised full papers presented were carefully selected from the papers accepted for the workshop after careful reviewing. All current issues in the area are addressed - theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.