☆ 4.6 Article

The never-proved triangle inequality: A GeoGebra & CAS approach

AIMS MATHEMATICS (2023)

Related references

Note: Only part of the references are listed.
Article Mathematics, Applied

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

Christopher W. Brown et al.

Summary: We introduce an experimental version of GeoGebra Discovery that successfully conjectures and proves a large scale of geometric inequalities by providing an easy-to-use graphical interface. The system includes Tarski/QEPCAD B, which solves quantifier elimination problems and translates geometric constructions into semi-algebraic systems. Non-trivial examples are provided to illustrate the performance of GeoGebra Discovery in dealing with inequalities and the technical difficulties.

MATHEMATICS IN COMPUTER SCIENCE (2022)

Add to Collection
Proceedings Paper Computer Science, Interdisciplinary Applications

A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets

Zoltan Kovacs et al.

Summary: TARSKI is a system for computing with Tarski formulas, providing operations like formula simplification and quantifier elimination, and able to read and write SMT-LIB syntax. It was successfully ported online using Emscripten C++ compiler and is also available as a JavaScript library. An experimental use in the dynamic geometry software GeoGebra was reported.

2022 24TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, SYNASC (2022)

Add to Collection
Article Education & Educational Research

Towards an ecosystem for computer-supported geometric reasoning

Zoltan Kovacs et al.

Summary: This study examines the significance of automated reasoning tools in geometry education and argues that these tools are part of a developing ecosystem for computer-supported geometric reasoning. It suggests a concrete path for integrating these tools in the classroom, outlining necessary procedures and discussing the benefits and concerns associated with their use in the mathematical learning process.

INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY (2022)

Add to Collection
Article Mathematics

Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools

Tomas Recio et al.

Summary: The newly developed GeoGebra tools combine computational algebraic geometry algorithms and graphic features for automated deduction and discovery of geometric statements. Through a case study of a classic geometric inequality, the paper explores the capabilities and limitations of these tools, showing how to overcome difficulties by using dynamic color scanning and symbolic computation approaches. The proposal is made for developing and merging such features in the future progress of GeoGebra automated reasoning tools.

MATHEMATICS (2021)

Add to Collection
Article Computer Science, Theory & Methods

Formalization of the arithmetization of Euclidean plane geometry and applications

Pierre Boutry et al.

JOURNAL OF SYMBOLIC COMPUTATION (2019)

Add to Collection
Article Computer Science, Artificial Intelligence

Automated Theorem Proving in GeoGebra: Current Achievements

Francisco Botana et al.

JOURNAL OF AUTOMATED REASONING (2015)

Add to Collection
Webinars Posters Questions Hubs Funding Journals Papers Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.