Computer algebra systems as mathematical optimizing compilers

DOI10.1016/J.SCICO.2005.06.003zbMath1085.68186OpenAlexW96575200WikidataQ114850300 ScholiaQ114850300MaRDI QIDQ2581542

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

Computer algebra systemsOptimizing compilersProblem-solving environmentsCode synthesisScientific software development

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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