VSDITLU
From MaRDI portal
Cited in
(11)- OMRS
- 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
- 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?)
- scientific article; zbMATH DE number 1538012 (Why is no real title available?)
- Applications of real number theorem proving in PVS
- Certifying solutions to permutation group problems.
- MBase: Representing knowledge and context for the integration of mathematical software systems
This page was built for software: VSDITLU
