International GeoGebra Institute
License: GNU General Public License version 3.0 (GPLv3)
Web Page: http://dev.geogebra.org/trac/wiki/Gsoc2015
Mailing List: http://groups.google.com/group/geogebra
The International GeoGebra Institute (IGI) in Linz, Austria is the not-for-profit organization behind the educational open source mathematics software GeoGebra.
GeoGebra combines features of interactive geometry, algebra, calculus, and statistics in one single, easy to use package for mathematics education at all levels. GeoGebra is available for download free of charge for non-commerical use from www.geogebra.org and runs on Windows, MacOS, in a Chrome browser and Linux platforms, and most recently as Window 8, Android, and iOS apps.
Our software and educational materials are available in 55 languages and used by millions of teachers and students in 190+ countries, from 1 user in the Republic of Palau to more than 2 million in the US. Unique visitors to geogebra.org were up 89% in 2013 to 10.2M. GeoGebra has rapidly become a global institution in mathematics education, from primary through tertiary, and favored as the software of choice by partners as diverse as Ministries Education to education platform start-ups.
The software facilitates the creation of mathematical constructions and models by students that allow interactive explorations by dragging objects and changing parameters. GeoGebra is also an authoring tool that allows teachers to create interactive web-pages and e-books. On GeoGebraTube, http://www.geogebratube.org, users have shared more than 100,000 free learning materials that can be modified and adapted to specific local or individual needs. Presently, more than 2,000 new materials are added every day to GeoGebraTube. Our new feature enabling users to create their own professional e-books with something we call GeoGebraBook is the latest in a long list of milestones achieved in recent months, an example GeoGebraBook from a user from our Hong Kong community can be viewed here http://ggbtu.be/b74829 .
IGI as an organization is a network of user, developer and researcher groups at more than 60 universities on all continents. Within IGI, teachers and researchers work together to promote the learning and teaching of mathematics by supporting and coordinating the following activities:
* implementing new features of the free software GeoGebra,
* providing the open educational resources sharing platform GeoGebraTube,
* developing free GeoGebra workshop materials,
* offering workshops for teachers and future GeoGebra trainers,
* developing an online support system for teachers,
* evaluating and improving the professional development activities and materials,
* designing and implementing research projects about GeoGebra, IGI and its community, and
* delivering presentations at national and international conferences.
IGI is looking forward to an exciting period of growth in 2015 and the opportunity of extending and improving functionality to keep apace with the demands and needs of our rapidly expanding community.
- CAS improvements In this project I would like to focus on * unify behaviour of the three input methods -- CAS assignment, CAS normal, inputbar as much as possible * try to simplify the CAS workflow * resolve tickets from the trac
- GeoGebraTube App for multiple mobile platforms The goal is to develop an app for browsing and using worksheets on GeoGebraTube that's running on different mobile platforms, using a single code-base. “Write once, run everywhere”
- Gesture Recognition and Adding Pen tool to GWT Recognizing different geometrical (i.e. Circle, Rectangle etc.) and non-geometrical gestures made by user with pen. I will also add pen tool in web project.
- Porting CAS View to GWT I want to help to port the CAS View to the Google Web Toolkit. Up to now the CAS View only wokrs in the Desktop version of Geogebra, therefore i want to port it from Java Swing to GWT to lay the foundation for CAS on tabblets and the web!
- Theorem Proving in Geogebra : implementation of the aera method in OpenGeoProver GeoGebra, the well-known interactive geometry application, currently lacks a automatic theorem prover, which would be able to answer questions such as "Are those two lines parallel ?", "Are those points collinear", etc. The program can answer to those questions by floating-point calculus, but we want something more formal, which could give a 100% sure answer. To meet this need, developers are currently integrating OpenGeoProver, an automated geometry theorem prover, into GeoGebra. The method used to automatically prove theorems in OpenGeoProver is Wu's method. The overall principle is pretty simple : the algorithm associates a set of polynomial equations to the geometric construction, and solves those equations using algebraic methods. I propose to add another method to OpenGeoProver, which has the advantage of being entirely geometric and to produce short, human-readable proofs : the area method. This method has been introduced by Chou, Gao & Zhang in Machine Proofs in Geometry, in 1994, and this has already been implemented in others geometry proving systems like GeoProof.