Title: Formal verification of mathematical software
Subjects: Computer programs, Logic, Symbolic and mathematical, Machine theory, Symbolic and mathematical Logic