Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. |
scientific article; zbMATH DE number 1462722
| 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; zbMATH DE number 1462722 |
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
