History
1
711


Help on query formulation
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 711 total

Plato on the foundations of modern theorem provers. (English)
Math. Enthus. 13, No. 3, 303-314 (2016).
Classification: E50 A30 R40
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).
Classification: B70 R70 R40
2
Using small-step refinement for algorithm verification in computer science education. (English)
Int. J. Technol. Math. Educ. 22, No. 4, 155-162 (2015).
Classification: P20 R40
3
Learning by matrix completion. (Lernen durch Matrixvervollständigung.) (German)
Comput.algebra-Rundbr. 57, 6-13 (2015).
Classification: H60 P20 R40 N30
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).
Classification: U50 R40
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).
Classification: U70 R20 R40
6
What is a mathematical proof in the age of modern theorem provers? (English)
Philos. Math. Educ. J. 29, 7 p., electronic only (2015).
Classification: E50 E20 D20 R40
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).
Classification: Q50 P20 P50 R40
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).
Classification: M50 N90 R40
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).
Classification: H65 M55 R45 Reviewer: Dieter Riebesehl (Lüneburg)
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).
Classification: R40 M60 P20
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).
Classification: H65 K45 M55 M65 R45
12
Mathworld. Algorithms for image processing. (MatheWelt. Algorithmen zur Bildbearbeitung.) (German)
Math. Lehren 32, No. 188, 16 p, pull-out section (2015).
Classification: R40 U60 Reviewer: Renate Stürmer (Zweibrücken)
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).
Classification: U64 U74 D34 R44
14
Mathematics and computer science. (Wiskunde en informatica.) (Dutch)
Uitwiskeling 30, No. 1, 13-49 (2014).
Classification: M50 P10 R40
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).
Classification: U50 D50 R40
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).
Classification: M50 R40
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).
Classification: H65 P25 R45 N55 K65 G75 Reviewer: John D. Dixon (Ottawa)
18
Robots bring math-powered ideas to life. (English)
Math. Teach. Middle Sch. 18, No. 6, 340-347 (2013).
Classification: M53 R43 D83
19
Applications in digital image processing. (English)
Math. Teach. (Reston) 107, No. 1, 46-53 (2013).
Classification: M50 R40
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 711 total

Valid XHTML 1.0 Transitional Valid CSS!