Logic Derivation of Parallel Linear Equation System Solvers within Elimination Strategy.

Parvaz K. Berzigyarov Yuri P. Boglaev

Published in: Parallel Algorithms Appl. (1994)

Keyphrases

parallel processing
parallel implementation
logic programming
parallel programming
matrix inversion
closed form
search strategies
linear systems
automated reasoning
neural network
differential equations
numerical solution
computer architecture
finite difference
predicate logic