Computer algebra systems as mathematical optimizing compilers

DOI10.1016/J.SCICO.2005.06.003MaRDI QIDQ2581542zbMATH OpenOpenAlexWikidataFDO

Authors Aldo Dall'Osso

Publication date 10 January 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.06.003

zbMATH Keywords

Code synthesisComputer algebra systemsOptimizing compilersProblem-solving environmentsScientific software development

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 814089
• Computer algebra systems and symbolic computations
• Ways to implement computer algebra compactly
• scientific article; zbMATH DE number 140016
• scientific article; zbMATH DE number 1273691
• Generating numerical algorithms using a computer algebra system
• Computer algebra

Cited in

(2)

• scientific article; zbMATH DE number 1574477 (Why is no real title available?)
• Formalization of robot collision detection method based on conformal geometric algebra

Describes a project that uses

Uses Software

• MuPAD
• Maple
• Mathematica
• SciNapse
• CTADEL

This page was built for publication: Computer algebra systems as mathematical optimizing compilers

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