Search

Your search keyword '"Vélez M."' showing total 28 results

Search Constraints

Start Over You searched for: Author "Vélez M." Remove constraint Author: "Vélez M." Publication Type eBooks Remove constraint Publication Type: eBooks
28 results on '"Vélez M."'

Search Results

1. Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?

2. Merging Maple and GeoGebra Automated Reasoning Tools

5. The 2012 Eruption

7. Automatic Geometry Theorem Proving

9. Phase diagram, vortex dynamics and dissipation in thin films and superlattices of 1:2:3 superconducting cuprates

10. Imaging the Breast Treated by Segmental Mastectomy and Irradiation

12. Exploring Dynamic Geometry Through Immersive Virtual Reality and Distance Teaching

13. Digital Technology and Its Various Uses from the Instrumental Perspective: The Case of Dynamic Geometry

14. Historical and Didactical Roots of Visual and Dynamic Mathematical Models: The Case of 'Rearrangement Method' for Calculation of the Area of a Circle

15. Implementing STEM Projects Through the EDP to Learn Mathematics: The Importance of Teachers’ Specialization

16. Combining Pencil/Paper Proofs and Formal Proofs, A Challenge for Artificial Intelligence and Mathematics Education

17. Modeling Practices to Design Computer Simulators for Trainees’ and Mentors’ Education

18. Interaction Between Subject and DGE by Solving Geometric Problems

19. CAS Use in University Mathematics Teaching and Assessment: Applying Oates’ Taxonomy for Integrated Technology

20. Experimental Study of Isoptics of a Plane Curve Using Dynamical Coloring

21. Creative Use of Dynamic Mathematical Environment in Mathematics Teacher Training

22. Using Didactic Models to Design Adaptive Pathways to Meet Students’ Learning Needs in an Online Learning Environment

23. A Decision Making Tool for Mathematics Curricula Formal Verification

24. Teaching Programming for Mathematical Scientists

25. A Classification of Artificial Intelligence Systems for Mathematics Education

26. AI and Mathematics Interaction for a New Learning Paradigm on Monumental Heritage

27. Evolution of Automated Deduction and Dynamic Constructions in Geometry

28. Intelligence in QED-Tutrix: Balancing the Interactions Between the Natural Intelligence of the User and the Artificial Intelligence of the Tutor Software

Catalog

Books, media, physical & digital resources