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.
Revue:
Journal of Automated Reasoning

ISSN: 1573-0670,  0168-7433

Année de publication: 2015

Volumen: 55

Número: 1

Pages: 39-59

Type: Article

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

Objectifs de Développement Durable

La source de données: Scopus