Publication | Closed Access

Formula approximation for flat and hierarchical symbolic analysis

Symbolic ManipulationEngineeringSymbolic Data AnalysisAutomated ReasoningFormal MethodsFormula ApproximationApproximation TheorySymbolic Computation