28 results on '"Vélez M."'
Search Results
2. Merging Maple and GeoGebra Automated Reasoning Tools
3. Ground Deformation Between 2002 and 2013 from InSAR Observations
4. Prehistoric to Historic Volcanic Activity at Copahue Volcano
5. The 2012 Eruption
6. HCI Curricula in Spain : A cooperatively designed, free Web-access syllabus
7. Automatic Geometry Theorem Proving
8. Distance Education and Distributed Virtual Environments
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
11. Reactions at Alkali Metal-Glass Interfaces
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.