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

ISSN: 1573-0670,  0168-7433

Year of publication: 2015

Volume: 55

Issue: 1

Pages: 39-59

Type: Article

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

Sustainable development goals

Data source: Scopus