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

Año de publicación: 2015

Volumen: 55

Número: 1

Páginas: 39-59

Tipo: Artículo

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

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus