Funder
Agencia Estatal de Investigación
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Mathematics,Geometry and Topology,Algebra and Number Theory,Analysis
Reference18 articles.
1. Abánades, M., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C.: Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50(3), 85–88 (2016)
2. Abánades, M., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C.: Towards the automatic discovery of theorems in GeoGebra. In: Greuel, G., Koch, T., Paule, P., Sommese, A. (eds.) International Congress on Mathematical Software, pp. 37–42. Springer, New York (2016)
3. Barakat, M., Lange-Hegermann, M.: An algorithmic approach to Chevalley’s theorem on images of rational morphisms between affine varieties (2019). arXiv:1911.10411v2
4. Barakat, M., Lange-Hegermann, M., Posur, S.: Elimination via saturation (2017). arXiv:1707.00925
5. Botana, F., Recio, T.: On the unavoidable uncertainty of truth in dynamic geometry proving. Math. Comput. Sci. 10(1), 5–25 (2016)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献