Transparent rule based CAS to support formalization of knowledge

DOI10.1007/s11786-017-0300-xzbMath1392.97006OpenAlexW2608999552MaRDI QIDQ1701655

Reinhard Oldenburg

Publication date: 27 February 2018

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-575963

zbMATH Keywords

rule based computation

Mathematics Subject Classification ID

Technological tools, calculators (aspects of mathematics education) (97U70)

Uses Software

• Pure

Cites Work

• The future of the teaching and learning of algebra. The 12th ICMI study. Proceedings of the conference, Melbourne, Australia, September 12--14, 2001
• Term Rewriting and All That
• Computeralgebra

This page was built for publication: Transparent rule based CAS to support formalization of knowledge