Deduction by scaling: A unified approach to classic plate and rod theories.

Bernadette Miara Paolo Podio-Guidugli

Published in: Asymptot. Anal. (2007)

Keyphrases

inference rules
decision making
probability theory
theorem proving
theorem prover
theoretical framework
underlying assumptions
computer algebra
formal models
computational models
database
probabilistic model
color images
artificial neural networks
data structure
image sequences
data sets