Pages that link to "Item:Q2507767"
From MaRDI portal
The following pages link to Gaussian elimination: a case study in efficient genericity with MetaOCaml (Q2507767):
Displayed 6 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Partial evaluation of Maple (Q532411) (← links)
- \texttt{CleGo}: A package for automated computation of Clebsch-Gordan coefficients in tensor product representations for Lie algebras \(A\)-\(G\) (Q1943128) (← links)
- Rank-profile revealing Gaussian elimination and the CUP matrix decomposition (Q2437224) (← links)
- Shifting the stage (Q2913928) (← links)
- High-Level Theories (Q5505502) (← links)