swMATH10304MaRDI QIDQ22265FDOQ22265
Author name not available (Why is that?)
Official website: http://www.cpc.cs.qub.ac.uk/summaries/ABVE_v1_0.html
Cited In (6)
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- A fast band-Krylov eigensolver for macromolecular functional motion simulation on multicore architectures and graphics processors
- PBLAS
- iMod
- Title not available (Why is that?)
- Rare events for statistical model checking an overview
This page was built for software: PLASMA
