Search results

Paper Checking the congruence of involutive matrices 2021-05-27 Paper The structure of solutions of the matrix equation \(J_n(0)y + Y^\top J_n(0) = 0\) for...

Publication Type The type structure of CAT 2017-11-17 Paper Regular Expressions for Program Computations 2002-11-24 Paper The subprogram problem for software...

Accuracy 2008-12-21 Paper State-of-the-art eigensolvers for electronic structure calculations of large scale nano-systems 2008-07-29 Paper The Problem with...

Basic Linear Algebra Subprograms Algorithm 656: an extended set of basic linear algebra subprograms: model implementation and test programs Algorithm 663: Translation...

symmetric matrices in mixed precision and its application to electronic structure calculations GPU implementation of a Helmholtz Krylov solver preconditioned...

Finding structure with randomness: probabilistic algorithms for constructing approximate matrix decompositions Basic Linear Algebra Subprograms for Fortran...

Algorithm 656: an extended set of basic linear algebra subprograms: model implementation and test programs Title not available (Why is that?) Title not available...

for proving inevitability properties of programs Partiality and nondeterminacy in program proofs Verifying programs in the calculus of inductive constructions...

for Bound Constrained Quadratic Programming An implementation of the QSPLINE method for solving convex quadratic programming problems with simple bound constraints...

directive allows for structuring logic programs into named and parameterizable subprograms. The grounding and integration of these subprograms into the solving...

of tissue growth in thin 3D printed scaffolds MathOptInterface: A Data Structure for Mathematical Optimization Problems The \(q\)-exponentials do not maximize...

and refutation Proofs-as-imperative-programs: application to synthesis of contracts Modular inference of subprogram contracts for safety checking Maximal...

applications The basic polynomial algebra subprograms The basic polynomial algebra subprograms Basic polynomial algebra subprograms zbMATH Keywords computer algebracommutative...

basic linear algebra subprograms Basic Linear Algebra Subprograms for Fortran Usage A set of level 3 basic linear algebra subprograms Block splitting for...

with don't cares I/O-efficient data structures for non-overlapping indexing Implicit \(B\)-trees: A new data structure for the dictionary problem Efficient...

techniques in program derivation A non-linear arithmetic procedure for control-command software verification Modular inference of subprogram contracts for...

using state and transition invariants Verifying array manipulating programs with full-program induction A learning-based approach to synthesizing invariants...

method for solving sparse semidefinite programs Self-Scaled Barriers and Interior-Point Methods for Convex Programming Barrier Functions in Interior Point...

Algorithm 679: A set of level 3 basic linear algebra subprograms: model implementation and test programs Structure prediction and computation of sparse matrix products...

large-scale quadratic programming problems Parallel interior-point method for linear and quadratic programs with special structure Publication:5202847 An...