共 41 条
- [34] Systems of Computer Algebra and Dynamic Geometry as Tools of Mathematical Investigation INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, 2013, 20 (03): : 103 - 108
- [35] SOLVING SOME PROBLEMS OF ALGEBRA, ANALYSIS, AND MATHEMATICAL PHYSICS USING COMPUTER ALGEBRA SYSTEMS CYBERNETICS, 1991, 27 (02): : 189 - 198
- [36] Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 87 - 105
- [37] MATHEMATICAL MODELS OF REAL PROCESSES AND APPLICATIONS OF COMPUTER ALGEBRA SYSTEMS TO THEIR STUDY MATHEMATICS AND INFORMATICS, 2014, 57 (05): : 462 - 471
- [38] Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2009, 5625 : 467 - 473
- [39] Instrumenting mathematical activity: Reflections on keys studies of the educational use of computer algebra systems International Journal of Computers for Mathematical Learning, 2002, 7 (03): : 275 - 291
- [40] Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 115 - 131