Pages that link to "Item:Q1774558"
From MaRDI portal
The following pages link to Organizing numerical theories using axiomatic type classes (Q1774558):
Displaying 6 items.
- From LCF to Isabelle/HOL (Q2280211) (← links)
- The Isabelle Framework (Q3543647) (← links)
- Canonical Big Operators (Q3543652) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)
- Algebraically Closed Fields in Isabelle/HOL (Q5049003) (← links)
- Perspectives of System Informatics (Q5902408) (← links)