Organizing numerical theories using axiomatic type classes (Q1774558)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Organizing numerical theories using axiomatic type classes |
scientific article; zbMATH DE number 2168288
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Organizing numerical theories using axiomatic type classes |
scientific article; zbMATH DE number 2168288 |
Statements
Organizing numerical theories using axiomatic type classes (English)
0 references
17 May 2005
0 references
arithmetic
0 references
axiomatic type classes
0 references
Isabelle
0 references
overloading
0 references
polymorphism
0 references
0 references
0 references
0.88008475
0 references
0.8783541
0 references
0.87370473
0 references
0.8727414
0 references
