4 research outputs found
The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes
Geometry is not only a part of mathematics with ancient roots but also a vivid area of modern research. Especially the field of geometry called by some negligence “elementary ” continues t
Proceedings of the 19th Sound and Music Computing Conference
Proceedings of the 19th Sound and Music Computing Conference - June 5-12, 2022 - Saint-Étienne (France).
https://smc22.grame.f