Title of article :
Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package
Author/Authors :
N. I. Ioakimidis، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Pages :
10
From page :
847
To page :
856
Keywords :
boundary elements , Computer logic , Computer algebra , Feasibility conditions , Inequality constraints , Interpolation functions , Positivity/negativityconditions , Quadratic elements , Quantifier elimination , Triangular elements
Journal title :
Engineering Analysis with Boundary Elements
Serial Year :
1999
Journal title :
Engineering Analysis with Boundary Elements
Record number :
348195
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=348195
