Development of automatic reasoning tools in GeoGebra

  1. Abánades, M.
  2. Botana, F.
  3. Kovács, Z.
  4. Recio, T.
  5. Sólyom-Gecse, C.
Aldizkaria:
ACM Communications in Computer Algebra

ISSN: 1932-2240,  1932-2232

Argitalpen urtea: 2016

Alea: 50

Zenbakia: 3

Orrialdeak: 85-88

Mota: Artikulua

DOI: 10.1145/3015306.3015309 GOOGLE SCHOLAR
Datuen iturria: Scopus