zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 1-8 (2014).
Full Text:
Coquand, Thierry (ed.) et al., Types for proofs and programs. 3rd international workshop, TYPES ’99, Lökeberg, Sweden, June 12-16, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1956, 61-76 (2000).
MSC:  68T15 46-04
Computer aided proofs in analysis, Proc. IMA Participating Inst. Conf., Cincinnati/OH (USA), IMA Vol. Math. Appl. 28, 12-21 (1991).