Theorem Proving with the Real Numbers. Distinguished Dissertations Series (1998)

by J Harrison