COMPUTER-HUMAN INTERACTION IN SYMBOLIC COMPUTION

類似書籍推薦給您

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.

FINITE ELEMENT ANALYSIS: WITH NUMERIC AND SYMBOLIC

類似書籍推薦給您

This comprehensive compendium presents the detailed theory, implementation and application of finite element analysis via heavily commented Matlab scripts. The book includes over 110 examples of the methods, and has a very detailed subject index. It uniquely illustrates the use of symbolic Matlab capabilities to derive element interpolation functions and to analytically integrated complicated element matrices. The useful volume text is suitable as a reference on finite element methods and efficient Matlab programming. Chapters prominently end with a detailed summary of the important features and tables of useful finite element matrices. It can be used as the textbook for introductory, intermediate, or advanced courses utilizing numerically integrated and curvilinear element. Request Inspection Copy Sample Chapter(s) Preface Chapter 1: Overview Contents: Overview Calculus Review Terminology from Differential Equations Parametric Interpolation Numerical Integration Equivalent Integral Forms Matrix Procedures for Finite Elements Applications of One-Dimensional Lagrange Elements Truss Analysis Applications of One-Dimensional Hermite Elements Frame Analysis Scalar Fields and Thermal Analysis Elasticity Eigenanalysis Transient and Dynamic Solutions Readership: Researchers, professionals, academics, undergraduate and graduate students in mechanical engineering, aerospace engineering, civil engineering and numerical analysis.