Expression optimization using high-level knowledge

DOI10.1007/3-540-51517-8_90MaRDI QIDQ5393304zbMATH OpenOpenAlexFDO

Authors Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels

Publication date 16 April 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-51517-8_90

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4062576
• scientific article; zbMATH DE number 66946
• Nonlinear Symbolic Transformations for Simplifying Optimization Problems
• Code optimization in FORM
• scientific article; zbMATH DE number 140016

Cited in

(10)

• Hierarchical Representations with Signatures for Large Expression Management
• scientific article; zbMATH DE number 4062576 (Why is no real title available?)
• A higher-order strategy for eliminating common subexpressions
• Reducing expression size using rule-based integration
• Code optimization in FORM
• Type specialization in Aldor
• Efficient symbolic computation of process expressions
• Optimising code generation with haggies
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 4047370 (Why is no real title available?)

This page was built for publication: Expression optimization using high-level knowledge

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