Cited in
(11)- Hidden verification for computational mathematics
- scientific article; zbMATH DE number 1670744 (Why is no real title available?)
- Digital look up tables and real number theorem proving
- scientific article; zbMATH DE number 1538012 (Why is no real title available?)
- MBase: Representing knowledge and context for the integration of mathematical software systems
- OMRS
- PROVERB
- scientific article; zbMATH DE number 1341611 (Why is no real title available?)
- scientific article; zbMATH DE number 1497743 (Why is no real title available?)
- Applications of real number theorem proving in PVS
- Certifying solutions to permutation group problems.
This page was built for software: VSDITLU
