Csilla Sólyom-Gecse

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Algebraic Geometry

Reasoning Processes

Automatic Discovery

Top Venues

Ann. Math. Artif. Intell.

ACM Commun. Comput. Algebra

Publications

Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Towards the Automatic Discovery of Theorems in GeoGebra. ICMS (2016)
Zoltán Kovács, Csilla Sólyom-Gecse
GeoGebra Tools with Proof Capabilities. CoRR (2016)
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50 (3) (2016)