LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY

DOI10.1080/10637199408915452zbMath1049.68949OpenAlexW1967149856MaRDI QIDQ4820031

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stepwise refinement of parallel algorithms
• Communication relations: A paradigm for parallel program design
• PEI: A language and its refinement calculus for parallel programming
• The relation between logic programming and logic specification
• A technique for translating clausal specifications of numerical methods into efficient programs
• Algorithm classification through synthesis
• A parallel linear system solver
• Derivation of Logic Programs
• Projection conditions on the vorticity in viscous incompressible flows
• A Transformation System for Developing Recursive Programs