Automated Theorem Proving in GeoGebra: Current Achievements

  1. Botana, F.
  2. Hohenwarter, M.
  3. Janičić, P.
  4. Kovács, Z.
  5. Petrović, I.
  6. Recio, T.
  7. Weitzhofer, S.
Revista:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Any de publicació: 2015

Volum: 55

Número: 1

Pàgines: 39-59

Tipus: Article

DOI: 10.1007/S10817-015-9326-4 GOOGLE SCHOLAR

Objectius de Desenvolupament Sostenible

Font de les dades: Scopus