swMATH8725MaRDI QIDQ20725FDOQ20725
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=753630
Cited In (10)
- Hidden verification for computational mathematics
- Title not available (Why is that?)
- Digital look up tables and real number theorem proving
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Applications of real number theorem proving in PVS
- PROVERB
- Certifying solutions to permutation group problems.
This page was built for software: VSDITLU
