Organizing numerical theories using axiomatic type classes (2004)

by Lawrence C. Paulson
Venue:Journal of Automated Reasoning
Citations:9 - 2 self