ISETL

swMATH1370MaRDI QIDQ14110FDOQ14110

Author name not available (Why is that?)

Described by source

• Isetl: A programming language for learning mathematics

Cited In (8)

• Title not available (Why is that?)
• Techniques of computable set theory with applications to proof verification
• Title not available (Why is that?)
• A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Understanding the processes of advanced mathematical thinking

This page was built for software: ISETL