Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. |
scientific article |
Statements
Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (English)
0 references
21 June 2000
0 references
Boundary elements
0 references
Computer algebra
0 references
Computer logic
0 references
Feasibility conditions
0 references
Inequality constraints
0 references
Interpolation functions
0 references
Positivity/negativity conditions
0 references
Quadratic elements
0 references
Quantifier elimination
0 references
Triangular elements
0 references
0 references
0 references
0 references
