Publication | Open Access

Object-oriented finite elements I. Principles of symbolic derivations and automatic programming

Symbolic ManipulationEngineeringObject-oriented Finite ElementsAutomated ReasoningProgram AnalysisAutomatic ProgrammingSymbolic DerivationsAbstract InterpretationFormal MethodsSystems EngineeringObject-oriented ProgrammingComputer ScienceProgram DerivationSoftware AnalysisSymbolic ComputationSoftware DesignFormal Verification