Search results for author:"Walther Neuper"
Total records matched: 4 Search took: 0.086 secs
International Journal for Technology in Mathematics Education Vol. 17, No. 3 (2010) pp. 161–166
Two kinds of software, CAS and DGS, are starting to work towards mutual integration. This paper envisages common grounds for such integration based on principles of computer theorem proving (CTP). Presently, the CTP community seems to lack awareness ...
International Journal on E-Learning Vol. 10, No. 4 (September 2011) pp. 343–364
** Invited as a paper from E-Learn 2009 ** For many years now E-learning researchers have been discussing the use of laptops in educational settings. The One Laptop per Child project, (OLPC project), has been used in developing countries since the...
World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2009 (Oct 26, 2009) pp. 1226–1234
The use of laptops in educational settings is discussed by lots of e-Learning researchers for years now. Since 2002 the One Laptop Per Child project (OLPC-project) tries to bring digital devices to developing countries avoiding the increase of the...