Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gerd Bohlender
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
RCS Computation Using a Parallel In-Core and Out-Of-Core Direct Solver
Progress In Electromagnetics Research
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Evaluating the Performance of Parallel Linear Algebra Libraries for Level-1 BLAS
A Parallel Sparse Linear Solver for Nearest-Neighbor Tight-Binding Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Scaling Computation of the Fock Matrix. VII. Parallel Computation of the Coulomb Matrix
Journal of Chemical Physics
Medicine
Theoretical Chemistry
Astronomy
Physics
Physical
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving Performance of Background Jobs in Digital Libraries Using Grid Computing
Towards a Verified OR-Parallel WAM
