Result 1 to 20 of 711 total
Plato on the foundations of modern theorem provers. (English)
Math. Enthus. 13, No. 3, 303-314 (2016).
1
Using ‘Zoctagon’ as a frame for evaluating curricula. (English)
Eronen, Lasse (ed.) et al., Mathematics and education. Learning, technology, assessment. Festschrift in honour of Lenni Haapasalo. Münster: WTM-Verlag (ISBN 978-3-95987-005-4/pbk). Festschriften der Mathematikdidaktik 3, 133-142 (2016).
2
Using small-step refinement for algorithm verification in computer science education. (English)
Int. J. Technol. Math. Educ. 22, No. 4, 155-162 (2015).
3
Learning by matrix completion. (Lernen durch Matrixvervollständigung.) (German)
Comput.algebra-Rundbr. 57, 6-13 (2015).
4
The use of handwriting recognition technology in mathematics education: a pedagogical perspective. (English)
Amado, Nélia (ed.) et al., Proceedings of the 12th international conference on technology in mathematics teaching, ICTMT 12. Faro: University of Algarve (ISBN 978-989-8472-68-7). 131-139 (2015).
5
Pen-based problem-solving environment for computational science. (English)
Hammond, Tracy (ed.) et al., The impact of pen and touch technology on education. Cham: Springer (ISBN 978-3-319-15593-7/hbk; 978-3-319-15594-4/ebook). Human-Computer Interaction Series, 365-372 (2015).
6
What is a mathematical proof in the age of modern theorem provers? (English)
Philos. Math. Educ. J. 29, 7 p., electronic only (2015).
7
CS unplugged: experiences and extensions. (English)
Brodnik, Andrej (ed.) et al., Informatics in schools. curricula, competences, and competitions. 8th international conference on informatics in schools: situation, evolution, and perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 ‒ October 1, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25395-4/pbk; 978-3-319-25396-1/ebook). Lecture Notes in Computer Science 9378, 106-117 (2015).
8
On the use of Maple for the simulation of mechanisms. (Über die Verwendung von Maple für die Simulation von Mechanismen.) (German. English summary)
Teach. Math. Comput. Sci. 13, No. 1, 21-39 (2015).
9
When life is linear. From computer graphics to bracketology. (English)
Anneli Lax New Mathematical Library 45. Washington, DC: The Mathematical Association of America (MAA) (ISBN 978-0-88385-649-9/pbk; 978-0-88385-988-9/ebook). xiii, 136~p. (2015).
10
A look into agent-based models. (Una mirada a los modelos basados en agentes.) (Spanish)
Rev. Educ. Mat. 30, No. 1, 26-33 (2015).
11
Principal component analysis: resources for an essential application of linear algebra. (English)
PRIMUS, Probl. Resour. Issues Math. Undergrad. Stud. 25, No. 5, 400-420 (2015).
12
Mathworld. Algorithms for image processing. (MatheWelt. Algorithmen zur Bildbearbeitung.) (German)
Math. Lehren 32, No. 188, 16 p, pull-out section (2015).
13
A study on the application of robot programming to promote logical and critical thinking in mathematics education. (Korean. English summary)
J. Korean Soc. Math. Educ., Ser. A, Math. Educ. 53, No. 3, 413-434 (2014).
14
Mathematics and computer science. (Wiskunde en informatica.) (Dutch)
Uitwiskeling 30, No. 1, 13-49 (2014).
15
Adaptive learner profiling provides the optimal sequence of posed basic mathematical problems. (English)
Rensing, Christoph (ed.) et al., Open learning and teaching in educational communities. 9th European conference on technology enhanced learning, EC-TEL 2014, Graz, Austria, September 16‒19, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11199-5/pbk). Lecture Notes in Computer Science 8719, 592-593 (2014).
16
Robotics in natural sciences education. An example from the PROFILES project in Turkey. (Robotik im naturwissenschaftlichen Unterricht. Ein Beispiel aus dem PROFILES-Projekt in der Türkei.) (German)
MNU, Math. Naturwiss. Unterr. 67, No. 6, 350-353 (2014).
17
Linear algebra. Pure and applied. (English)
Hackensack, NJ: World Scientific (ISBN 978-981-4508-36-0/hbk; 978-981-4508-37-7/pbk). xvi, 716~p. (2014).
18
Robots bring math-powered ideas to life. (English)
Math. Teach. Middle Sch. 18, No. 6, 340-347 (2013).
19
Applications in digital image processing. (English)
Math. Teach. (Reston) 107, No. 1, 46-53 (2013).
20
Result 1 to 20 of 711 total