ISSN 2065-1430 (Print)
Publisher: Directory of Open Access Journals
Editorial pp. 1-2(2) Authors: Zsolt Lavicza; Csaba Sárvári
Teaching logic using a state-of-art proof assistant pp. 35-48(14) Authors: Maxim Hendriks; Cezary Kaliszyk; Femke van Raamsdonk; Freek Wiedijk
Using a Managerial Analogy for Making Mathematics More Attractive pp. 49-58(10) Author: Jozef Hvorecký
User Interface Design For Dynamic Geometry Software pp. 59-66(8) Authors: Ulrich Kortenkamp; Christian Dohrmann
The Power of Scripting&58; DGS Meets Programming pp. 67-78(12) Authors: Jürgen Richter-Gebert; Ulrich Kortenkamp
Creating interactive User Feedback in DGS using Scripting Interfaces pp. 79-88(10) Author: Andreas Fest
Explorations in Elementary Mathematical Modeling pp. 89-100(12) Author: Mazen Shahin
Enhancing Mathematical Communication for Virtual Math Teams pp. 101-114(14) Authors: Gerry Stahl; Murat Perit; Stephen Weimar; Baba Kofi Weusijana; Jimmy Xiantong Ou