Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.

From MaRDI portal
(Redirected from Publication:1568438)