Organizing numerical theories using axiomatic type classes
scientific article; zbMATH DE number 2168288
scientific article