Automated reasoning tools in GeoGebra discovery

  1. Kovács, Z.
  2. Recio, T.
  3. Vélez, M.P.
Aldizkaria:
ACM Communications in Computer Algebra

ISSN: 1932-2240,  1932-2232

Argitalpen urtea: 2021

Alea: 55

Zenbakia: 2

Orrialdeak: 39-43

Mota: Artikulua

DOI: 10.1145/3493492.3493495 GOOGLE SCHOLAR
Datuen iturria: Scopus