Search results
From MaRDI portal
- 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...10 bytes (15 words) - 10:41, 24 September 2023
- 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...10 bytes (16 words) - 01:22, 9 December 2023
- 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...10 bytes (15 words) - 10:15, 8 December 2023
- for proving inevitability properties of programs Partiality and nondeterminacy in program proofs Verifying programs in the calculus of inductive constructions...15 bytes (762 words) - 09:27, 30 January 2024
- flows in a Rayleigh-Bénard problem at moderate Rayleigh numbers A Davidson program for finding a few selected extreme eigenpairs of a large, sparse, real,...15 bytes (1,063 words) - 13:03, 5 February 2024
- symmetric matrices in mixed precision and its application to electronic structure calculations GPU implementation of a Helmholtz Krylov solver preconditioned...15 bytes (846 words) - 09:59, 30 January 2024
- extended set of basic linear algebra subprograms: model implementation and test programs randUTV Finding structure with randomness: Probabilistic algorithms...15 bytes (385 words) - 05:58, 7 March 2024
- Algorithm 656: an extended set of basic linear algebra subprograms: model implementation and test programs Title not available (Why is that?) Title not available...15 bytes (1,402 words) - 18:38, 7 February 2024
- basis for computer programming Title not available (Why is that?) A constructive approach to the problem of program correctness Goal-oriented and modular stability...15 bytes (333 words) - 04:41, 30 January 2024
- basic linear algebra subprograms Basic Linear Algebra Subprograms for Fortran Usage A set of level 3 basic linear algebra subprograms The Design and Use...15 bytes (690 words) - 02:18, 1 February 2024
- directive allows for structuring logic programs into named and parameterizable subprograms. The grounding and integration of these subprograms into the solving...15 bytes (1,243 words) - 16:52, 8 February 2024
- with don't cares I/O-efficient data structures for non-overlapping indexing Implicit \(B\)-trees: A new data structure for the dictionary problem RAM-Efficient...15 bytes (861 words) - 22:01, 3 February 2024
- Modular inference of subprogram contracts for safety checking From Rewriting Logic, to Programming Language Semantics, to Program Verification Quick specifications...15 bytes (332 words) - 09:43, 8 February 2024
- linear algebra subprograms Basic Linear Algebra Subprograms for Fortran Usage Title not available (Why is that?) Displacement Structure: Theory and Applications...15 bytes (440 words) - 07:49, 30 January 2024
- of tissue growth in thin 3D printed scaffolds MathOptInterface: A Data Structure for Mathematical Optimization Problems The \(q\)-exponentials do not maximize...15 bytes (1,500 words) - 20:18, 3 February 2024
- method for solving sparse semidefinite programs Self-Scaled Barriers and Interior-Point Methods for Convex Programming Barrier Functions in Interior Point...15 bytes (609 words) - 21:48, 8 February 2024
- basic linear algebra subprograms Basic Linear Algebra Subprograms for Fortran Usage A set of level 3 basic linear algebra subprograms Block splitting for...15 bytes (384 words) - 14:31, 8 February 2024
- for triangular sets: from theory to practice POLY: a new polynomial data structure for Maple 17 Sparse polynomial multiplication and division in Maple 14...15 bytes (398 words) - 06:56, 30 January 2024
- applications The basic polynomial algebra subprograms The basic polynomial algebra subprograms Basic polynomial algebra subprograms zbMATH Keywords computer algebracommutative...15 bytes (530 words) - 06:48, 10 July 2024
- relativistic atomic structure package JADAMILU: a software code for computing selected eigenvalues of large sparse symmetric matrices RELCI: A program for relativistic...15 bytes (592 words) - 15:06, 31 January 2024
