History
1
487


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

Result 1 to 20 of 487 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
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
10
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)
11
Mathematics and computer science. (Wiskunde en informatica.) (Dutch)
Uitwiskeling 30, No. 1, 13-49 (2014).
Classification: M50 P10 R40
12
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
13
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
14
Applications in digital image processing. (English)
Math. Teach. (Reston) 107, No. 1, 46-53 (2013).
Classification: M50 R40
15
A computational model of Lakatos-style reasoning. (English)
Philos. Math. Educ. J. 27, 286 p., electronic only (2013).
Classification: E20 P20 E50 R40
16
A note on evolutionary algorithms and its applications. (English)
Adults Learn. Math. 8, No. 1, 31-45 (2013).
Classification: N60 R40 K90 M10
17
FindStat ‒ the combinatorial statistics database. (English)
Comput.algebra-Rundbr. 2013, No. 53, 16-17 (2013).
Classification: U70 K10 R40
18
Paradoxes in scientific inference. (English)
Boca Raton, FL: CRC Press (ISBN 978-1-4665-0986-3/pbk; 978-1-4665-0987-0/ebook). xviii, 273~p. (2013).
Classification: E20 A20 K40 K50 K60 R40 Reviewer: Italo Simonelli (Westminster, MD)
19
A learning environment that combines problem-posing and problem-solving activities. (English)
Lane, H. Chad (ed.) et al., Artificial intelligence in education. 16th international conference, AIED 2013, Memphis, TN, USA, July 9‒13, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39111-8/pbk). Lecture Notes in Computer Science 7926, 111-120 (2013).
Classification: U50 R20 D50 E30 R40
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 487 total

Valid XHTML 1.0 Transitional Valid CSS!