Computer Algebra Investigation of Equivalence in 4-node Plane Stress/Strain Finite Elements.
Anders ErikssonYunhua LuoCostin PacostePublished in: CASC (1999)
Keyphrases
- finite element
- computer algebra
- finite element analysis
- stress distribution
- shear stress
- material properties
- finite element model
- theorem prover
- soft tissue
- mesh generation
- boundary element
- numerical solution
- gpu accelerated
- directed graph
- three dimensional
- automated theorem provers
- computer algebra systems
- tree structure
- free form deformation
- finite difference
- b spline
- model checking