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

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

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)

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

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)