LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY

DOI10.1080/10637199408915452MaRDI QIDQ4820031zbMATH OpenOpenAlexFDO

Authors Parvaz K. Berzigyarov, Yuri P. Boglaev

Publication date 6 October 2004

Published in Parallel Algorithms and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/10637199408915452

Mathematics Subject Classification ID

Parallel numerical computation (65Y05) Symbolic computation and algebraic computation (68W30)

Cites work

• A parallel linear system solver
• A technique for translating clausal specifications of numerical methods into efficient programs
• A Transformation System for Developing Recursive Programs
• Algorithm classification through synthesis
• Communication relations: A paradigm for parallel program design
• Derivation of Logic Programs
• scientific article; zbMATH DE number 3913653 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3731310 (Why is no real title available?)
• scientific article; zbMATH DE number 194376 (Why is no real title available?)
• PEI: A language and its refinement calculus for parallel programming
• Projection conditions on the vorticity in viscous incompressible flows
• Stepwise refinement of parallel algorithms
• The relation between logic programming and logic specification

This page was built for publication: LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4820031)