Systems of Computer Algebra and Dynamic Geometry as Tools of Mathematical Investigation

被引:0
|
作者
Hasek, Roman [1 ]
机构
[1] Univ South Bohemia, Fac Educ, Geometry, Jeronymova 10, Ceske Budejovice 37115, Czech Republic
关键词
D O I
暂无
中图分类号
G40 [教育学];
学科分类号
040101 ; 120403 ;
摘要
Computer algebra systems together with dynamic geometry systems provide a user with a means of investigation of the mathematical background of various real world phenomena. The combination of symbolic capabilities with simply-made dynamic models gives us a means of introducing students to, what are in fact, complex problems. We will present selected examples of the modelling of such problems based mainly on the joint use of the computer algebra system wxMaxima and tools of the geometry and algebraic package GeoGebra.
引用
收藏
页码:103 / 108
页数:6
相关论文
共 50 条
  • [31] COMPUTER ALGEBRA IN PHYSICAL AND MATHEMATICAL APPLICATIONS
    VASILEV, NN
    EDNERAL, VF
    PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (06) : 261 - 269
  • [32] Mathematical modelling with digital tools—a quantitative study on mathematising with dynamic geometry software
    Gilbert Greefrath
    Corinna Hertleif
    Hans-Stefan Siller
    ZDM, 2018, 50 : 233 - 244
  • [33] Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
    Heras, Jonathan
    Pascual, Vico
    Rubio, Julio
    INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2009, 5625 : 467 - 473
  • [34] LINKING GEOMETRY AND ALGEBRA THROUGH DYNAMIC AND INTERACTIVE GEOMETRY
    Laborde, Colette
    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
    Hoare, Tony
    Mendes, Alexandra
    Ferreira, Joao F.
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 3 - 20
  • [36] Mathematical modelling with digital tools-a quantitative study on mathematising with dynamic geometry software
    Greefrath, Gilbert
    Hertleif, Corinna
    Siller, Hans-Stefan
    ZDM-MATHEMATICS EDUCATION, 2018, 50 (1-2): : 233 - 244
  • [37] Mathematical and computer algebra techniques in cryptology Foreword
    Faugere, Jean-Charles
    Gomez-Perez, Domingo
    Gutierrez, Jaime
    Perret, Ludovic
    JOURNAL OF SYMBOLIC COMPUTATION, 2014, 64 : 1 - 2
  • [38] Implementation of Geometric Algebra in Computer Algebra Systems
    Gevorkyan, M. N.
    Korol'kova, A. V.
    Kulyabov, D. S.
    Demidova, A. V.
    Velieva, T. R.
    PROGRAMMING AND COMPUTER SOFTWARE, 2023, 49 (01) : 42 - 48
  • [39] Computer Algebra and Mechanized Reasoning in Mathematical Epidemiology
    Cano, Davinson Castano
    WCECS 2009: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS I AND II, 2009, : 36 - 40
  • [40] Computer Algebra and Symbolic Computation: Mathematical Methods
    Verma, Rashmi
    JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2010, 13 (04): : 403 - 403