Hierarchical Representations with Signatures for Large Expression Management

DOI10.1007/11856290_22MaRDI QIDQ5302918zbMATH OpenOpenAlexFDO

Authors

Publication date 15 January 2009

Published in Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11856290_22

zbMATH Keywords

Hierarchical RepresentationLarge Expression ManagementSignatureSymbolic LU DecompositionTime ComplexityVeiling StrategyZero Test

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Hierarchical symbolic computations in the analysis of large-scale dynamical systems
• Linear algebra using Maple's LargeExpressions package
• Simplification of symbolic polynomials on non-commutative variables
• Expression optimization using high-level knowledge
• scientific article; zbMATH DE number 4062576

Cited in

(6)

• Linear algebra using Maple's LargeExpressions package
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Hierarchical symbolic computations in the analysis of large-scale dynamical systems
• Automated Technology for Verification and Analysis
• Symbolic matrix factorization for differential-algebraic equations index reduction
• \textsc{TrussMe-Fem}: a toolbox for symbolic-numerical analysis and solution of structures

Describes a project that uses

Uses Software

• Projective Noether

This page was built for publication: Hierarchical Representations with Signatures for Large Expression Management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302918)