ISETL

MaRDI QIDQ14110swMATHFDO

Official website http://www.math.kent.edu/~edd/ISETLPaper.pdf

Described by source

• Isetl: A programming language for learning mathematics

Cited in

(8)

• scientific article; zbMATH DE number 954083 (Why is no real title available?)
• A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets
• scientific article; zbMATH DE number 194637 (Why is no real title available?)
• Understanding the processes of advanced mathematical thinking
• scientific article; zbMATH DE number 520218 (Why is no real title available?)
• scientific article; zbMATH DE number 1748269 (Why is no real title available?)
• Techniques of computable set theory with applications to proof verification
• scientific article; zbMATH DE number 982303 (Why is no real title available?)

This page was built for software: ISETL