Zobrazeno 11 - 20
of 368
pro vyhledávání: '"398"'
Publikováno v:
EPTCS 398, 2024, pp. 142-152
We present simple models of trajectories in space, both in 2D and in 3D. The first examples, which model bicircular moves in the same direction, are classical curves (epicycloids, etc.). Then, we explore bicircular moves in reverse direction and tric
Externí odkaz:
http://arxiv.org/abs/2401.11909
Publikováno v:
EPTCS 398, 2024, pp. 165-178
For a rational parameterization of a curve, it is desirable that its angular speed is as uniform as possible. Hence, given a rational parameterization, one wants to find re-parameterization with better uniformity. One natural way is to use piecewise
Externí odkaz:
http://arxiv.org/abs/2401.11910
Autor:
Käferböck, Anna, Kovács, Zoltán
Publikováno v:
EPTCS 398, 2024, pp. 132-141
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper
Externí odkaz:
http://arxiv.org/abs/2401.11908
Publikováno v:
EPTCS 398, 2024, pp. 85-100
The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal (pun intended). The automatic discovery of new theorems is a goal in i
Externí odkaz:
http://arxiv.org/abs/2401.11905
Publikováno v:
EPTCS 398, 2024, pp. 101-109
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous,
Externí odkaz:
http://arxiv.org/abs/2401.11906
Publikováno v:
EPTCS 398, 2024, pp. 73-84
In 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabh\"auser, Szmielew and Tarski in 1983. The differences amount to simplifications obtained by Tarski and Gupta. Gupta presented
Externí odkaz:
http://arxiv.org/abs/2401.11904
Autor:
Banković, Milan
Publikováno v:
EPTCS 398, 2024, pp. 62-72
In this paper, we present an approach to automated solving of triangle ruler-and-compass construction problems using finite-domain constraint solvers. The constraint model is described in the MiniZinc modeling language, and is based on the automated
Externí odkaz:
http://arxiv.org/abs/2401.11903
Publikováno v:
EPTCS 398, 2024, pp. 43-52
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that ou
Externí odkaz:
http://arxiv.org/abs/2401.11900
Publikováno v:
EPTCS 398, 2024, pp. 21-37
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn a conjectu
Externí odkaz:
http://arxiv.org/abs/2401.11898
Autor:
Magaud, Nicolas
Publikováno v:
EPTCS 398, 2024, pp. 4-10
Proof assistants like Coq are increasingly popular to help mathematicians carry out proofs of the results they conjecture. However, formal proofs remain highly technical and are especially difficult to reuse. In this paper, we present a framework to
Externí odkaz:
http://arxiv.org/abs/2401.11897