共 50 条
- [1] CLT - INTERACTIVE APPROACH FOR ILLUSTRATING THE CENTRAL LIMIT-THEOREM AMERICAN STATISTICIAN, 1979, 33 (02): : 90 - 90
- [4] USING MATHEMATICA IN INTERACTIVE GEOGRAPHY TEACHING EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2019, : 1489 - 1497
- [5] INTERACTIVE TRANSPORT PHENOMENA USING MATHEMATICA INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2014, : 6514 - 6521
- [7] Illustrating anatomic models - A semi-interactive approach VISUALIZATION IN BIOMEDICAL COMPUTING, 1996, 1131 : 23 - 32
- [9] Source-level proof reconstruction for interactive theorem proving THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 232 - +
- [10] Learning Proof Transformations and Its Applications in Interactive Theorem Proving FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 236 - 254