RDF/XML JSON-LD N3/Turtle RDF/JSON

Abánades Astudillo, Miguel Ángel miguelangel.abanades@urjc.es

Economía Financiera y Contabilidad e Idioma Moderno / Universidad Rey Juan Carlos

Publications

Development of automatic reasoning tools in GeoGebra

  • Abanades, Miguel
  • Botana, Francisco
  • Kovacs, Zoltan
  • Recio, Tomas
  • Solyom-Gecse, Csilla;

Acm Communications In Computer Algebra (p. 85-88) - 1/9/2016

10.1145/3015306.3015309 View at source

  • ISSN 19322232

This researcher has no books.

This researcher has no book chapters.

Towards the Automatic Discovery of Theorems in GeoGebra

  • Abanades, Miguel
  • Botana, Francisco
  • Kovacs, Zoltan
  • Recio, Tomas
  • Solyom-Gecse, Csilla;

Lecture Notes In Computer Science (p. 37-42) - 1/1/2016

10.1007/978-3-319-42432-3_5 View at source

  • ISSN 03029743

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 2/27/23 3:54 AM