Merging Maple and GeoGebra Automated Reasoning Tools

  1. Kovács, Z.
  2. Recio, T.
  3. Vélez, M.P.
Book Series:
Communications in Computer and Information Science

ISSN: 1865-0937,  1865-0929

ISBN: 9783030816971

Year of publication: 2021

Volume: 1414

Pages: 252-267

Type: Conference paper

DOI: 10.1007/978-3-030-81698-8_17 GOOGLE SCHOLAR
Data source: Scopus