Hierarchical Representations with Signatures for Large Expression Management

DOI10.1007/11856290_22zbMath1156.68641OpenAlexW1506609775MaRDI QIDQ5302918

No author found.

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

SignatureTime ComplexityHierarchical RepresentationLarge Expression ManagementSymbolic LU DecompositionVeiling StrategyZero Test

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

Uses Software

• Projective Noether