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

Ano de publicación: 2015

Volume: 55

Número: 1

Páxinas: 39-59

Tipo: Artigo

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

Objetivos de desarrollo sostenible

Fonte de datos: Scopus