Csilla Sólyom-Gecse

According to our database¹, Csilla Sólyom-Gecse authored at least 4 papers between 2016 and 2019.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

Rewriting input expressions in complex algebraic geometry provers.

[BibT_eX]

[DOI]

Zoltán Kovács

Tomás Recio

Csilla Sólyom-Gecse

Ann. Math. Artif. Intell., 2019

2016

GeoGebra Tools with Proof Capabilities.

[BibT_eX]

[DOI]

Zoltán Kovács

Csilla Sólyom-Gecse

CoRR, 2016

Development of automatic reasoning tools in GeoGebra.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

Towards the Automatic Discovery of Theorems in GeoGebra.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

Csilla Sólyom-Gecse

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...