Sfoglia per Soggetto "QUANTIFIER ELIMINATION"
Items 1-1 di 1
-
A numeric-symbolic approach to the problem of localization of plastic flow
(2001)A method combining numerical and symbolic computations is presented for deciding whether or not a mechanical state given numerically in terms of its fourth-order tenser of moduli satisfies the localization condition, and ...