A CLP-based tool for computer aided generation and solving of maths exercises

DOI10.1007/3-540-36388-2_16MaRDI QIDQ4415109zbMATH OpenFDO

Authors Ana Paula Tomás, José Paulo Leal

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2562/25620223.htm

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 836568
• Mathematical, interactive exercise generation from static documents
• scientific article; zbMATH DE number 140016
• Automatic problem generation in constraint-based tutors
• scientific article; zbMATH DE number 1979886
• Automatically generated mathematical problems and solutions. Efficient teaching and learning with MATLAB
• Clue as a testbed for automated theorem proving

Cited in

(1)

• Rule-based production of mathematical expressions

Describes a project that uses

Uses Software

• ActiveMath

This page was built for publication: A CLP-based tool for computer aided generation and solving of maths exercises

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415109)