Publication | Closed Access

FINGER: A Symbolic System for Automatic Generation of Numerical Programs in Finite Element Analysis

Numerical AnalysisMathematical ProgrammingNumerical ProgramsSymbolic ManipulationEngineeringNumerical ComputationProgram AnalysisAutomatic GenerationFormal MethodsComputer AlgebraSymbolic SystemComputer-aided DesignStructural OptimizationComputational MechanicsSymbolic ComputationSoftware AnalysisSymbolic Execution