Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/dynamic-geometry-software-supplemented-with-a-computer-algebra-system-3fuc7eFadp
References (23)
-
(2018)
Apollonius’ theorem -
Investigation of logarithmic spirals in nature by means of dynamic geometry and computer algebra systems -
R. Hasek, J. Zahradnik (2014)
Study of Historical Geometric Problems by Means of CAS and DGS.The International Journal for Technology in Mathematics Education, 22
-
G. Hanna, M. Villiers (2012)
Proof and proving in mathematics education : the 19th ICMI study -
Abbreviazioni Giuridici (2013)
N. D. I. -
P. Pech (2008)
Selected Topics in Geometry with Classical vs. Computer Proving -
B. Bolt (1991)
Mathematics Meets Technology -
M. Villiers (1990)
The role and function of proof in mathematics, 24
-
(2018)
Russell’s guide linkage -
David Cox, J. Little, D. O'Shea (2007)
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) -
(2016)
100 Essential Things You Didn't Know You Didnt Know About Math and the Arts, 1st edn -
G. Glaeser (2020)
Geometry and its Applications in Arts, Nature and Technology -
Heinrich Dörrie, David Antin (1966)
100 great problems of elementary mathematics : their history and solutionThe Mathematical Gazette, 50
-
(2015)
Automated theoremproving inGeoGebra: current achievements -
R. Hasek, Z. Kovács, J. Zahradnik (2015)
Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra -
S. Russen (2004)
Geometry: seeing, doing, understanding (3rd edn), by Harold R. Jacobs. Pp. 780. £46.99. 2003. ISBN 0 7167 4361 2 (W. H. Freeman).The Mathematical Gazette, 88
-
HR Jacobs (2003)
Geometry: Seeing, Doing, Understanding -
David Cox, J. Little, D. O'Shea (1997)
Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) -
R. Hasek (2013)
Systems of Computer Algebra and Dynamic Geometry as Tools of Mathematical InvestigationThe International Journal for Technology in Mathematics Education, 20
-
M. Villiers (2001)
THE ROLE AND FUNCTION OF PROOF WITH SKETCHPAD* -
(2018)
GeoGebra automated reasoning tools—a tutorial [online -
(2018)
Reasoning on linkages -
(2018)
Scott Russell linkage. GeoGebra online material
- Publisher
- Springer Journals
- Copyright
- Copyright © 2018 by Springer International Publishing AG, part of Springer Nature
- Subject
- Mathematics; Mathematics, general; Computer Science, general
- ISSN
- 1661-8270
- eISSN
- 1661-8289
- DOI
- 10.1007/s11786-018-0369-x
- Publisher site
- See Article on Publisher Site
Abstract
The topic of this contribution is aimed at lower and upper secondary school mathematics teaching as well as at university training of teachers of mathematics. Joint use of computer algebra (CAS) and dynamic geometry software (DGS) or even an incorporation of CAS into DGS brings new possibilities to the teaching of mathematics, such as experimentation, the modelling of real-world situations or the deriving and proving of conjectures. We will deal with all these issues and how they can be realized with the free dynamic mathematics software GeoGebra, mainly in terms of the use of its tools of automated theorem proving. Particular examples of possible ways of utilizing the methods and tools of automated theorem proving will be presented with the aim of illustrating that dynamic geometry enriched with algebraic features can contribute to the effective fulfilment of the requirements for educational proof, from a decision on the correctness of a geometric property to the modelling of real-world phenomena.
Journal
Mathematics in Computer Science – Springer Journals
Published: Jul 4, 2018