共 50 条
- [32] Mathematical modelling with digital tools—a quantitative study on mathematising with dynamic geometry software ZDM, 2018, 50 : 233 - 244
- [33] Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2009, 5625 : 467 - 473
- [34] LINKING GEOMETRY AND ALGEBRA THROUGH DYNAMIC AND INTERACTIVE GEOMETRY FUTURE CURRICULAR TRENDS IN SCHOOL ALGEBRA AND GEOMETRY: PROCEEDINGS OF A CONFERENCE, 2010, : 217 - 229
- [35] Logic, Algebra, and Geometry at the Foundation of Computer Science FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 3 - 20
- [36] Mathematical modelling with digital tools-a quantitative study on mathematising with dynamic geometry software ZDM-MATHEMATICS EDUCATION, 2018, 50 (1-2): : 233 - 244
- [39] Computer Algebra and Mechanized Reasoning in Mathematical Epidemiology WCECS 2009: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS I AND II, 2009, : 36 - 40
- [40] Computer Algebra and Symbolic Computation: Mathematical Methods JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2010, 13 (04): : 403 - 403