zbMATH — the first resource for mathematics

Cooperation of KeTCindy and computer algebra system. (English) Zbl 1434.68609
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 351-358 (2016).
Summary: In Japan, some wooden plaques presenting geometrical puzzles (SANGAKU) show problems of drawing smaller circles within a larger circle in contact with it or a circle in contact with a quadratic curve, such as an oval. Problems of these kinds can be interesting teaching materials. Dynamic geometry software such Cinderella or GeoGebra is useful to solve these problems. One can use high-quality TeX graphics with KeTCindy (Cinderella plug-in) to draw these figures. One can also draw figures by solving simultaneous equations using a computer algebra system such as Maxima or Risa/Asir. Although simultaneous equations can be solved in Maxima, the solution takes time. Alternatively, it does not work when too many variables are included. In such cases, one can convert it to a system of equations that are easier to solve using a Gröbner base in Risa/Asir. Then a user can solve them by giving the result to Maxima. A user can accomplish this on Cinderella through KeTCindy, and can draw circles using the result. This method can also be applied to other difficult circumstances. This paper presents some examples.
For the entire collection see [Zbl 1342.68017].
68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
68W30 Symbolic computation and algebraic computation
Full Text: DOI
[1] Fukagawa, H., Pedoe, D.: Japanese Temple Geometry Problems Sangaku. Winnipeg, Canada (1989)
[2] Makishita, H.: Development of the activated teaching materials in the high school course in mathematics. RIMS Kokyuroku, Japan (2015)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.