Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
Automatic determination of envelopes and other derived curves within a graphic environment
Mathematics and Computers in Simulation - Special issue: Applications of computer algebra in science, engineering, simulation and special software
Computing Locus Equations for Standard Dynamic Geometry Environments
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
This paper describes some examples of fruitful cooperation between geometric software tools (in particular, GeoGebra) and a free open source computer algebra system, Sage (Software for Algebra and Geometry Experimentation). We collect some of our efforts for enhancing mathematics education via technologically rich environments. We show that a math teacher with no specialized programming knowledge can mix widespread resources to get motivating new teaching tools. Furthermore, we explore an exciting but barely used (even known!) characteristic of Sage: its use as a remote kernel. We test it by computing symbolic tasks in a dynamic geometry prototype that are currently out of scope of standard dynamic geometry software. Finally, we illustrate the development of web-based geometric resources by communicating GeoGebra and Sage through Javascript.