Towards an Implementation of a Computer Algebra System in a Functional Language

DOI10.1007/978-3-540-85110-3_12MaRDI QIDQ5505495zbMATH OpenOpenAlexFDO

Authors Oleg Lobachev, Rita Loogen

Publication date 27 January 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_12

zbMATH Keywords

computer algebralanguage and system designsoftware technology

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Symbolic computation and algebraic computation (68W30)

Recommendations

• A purely functional computer algebra system embedded in Haskell
• Implementing a computer algebra system in Haskell
• scientific article; zbMATH DE number 1263381
• Efficient implementation of polynomial arithmetic in a multiple-level programming environment
• Type specialization in Aldor

Cites work

• Fast Fourier transform and convolution algorithms
• Fast multiplication of large numbers
• Functional differentiation of computer programs
• scientific article; zbMATH DE number 3856407 (Why is no real title available?)
• scientific article; zbMATH DE number 3970003 (Why is no real title available?)
• scientific article; zbMATH DE number 4098590 (Why is no real title available?)
• scientific article; zbMATH DE number 1024452 (Why is no real title available?)
• scientific article; zbMATH DE number 1033192 (Why is no real title available?)
• scientific article; zbMATH DE number 1936673 (Why is no real title available?)
• scientific article; zbMATH DE number 771999 (Why is no real title available?)
• Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
• More haste, less speed: lazy versus eager evaluation
• Parallel functional programming in Eden
• Purely Functional Data Structures

Cited in

(13)

• A purely functional computer algebra system embedded in Haskell
• Functional programming concepts and straight-line programs in computer algebra
• A modular extension for a computer algebra system
• Finding linear dependencies in integration-by-parts equations: a Monte Carlo approach
• scientific article; zbMATH DE number 2125610 (Why is no real title available?)
• scientific article; zbMATH DE number 3846829 (Why is no real title available?)
• Type specialization in Aldor
• scientific article; zbMATH DE number 30309 (Why is no real title available?)
• scientific article; zbMATH DE number 1263381 (Why is no real title available?)
• Note on Algol and conservatively extending functional programming
• Integrating conversions into a computational algebraic system
• Efficient implementation of polynomial arithmetic in a multiple-level programming environment
• Implementing a computer algebra system in Haskell

Describes a project that uses

Uses Software

• Symgrid
• SageMath
• GiNaC
• Erlang

This page was built for publication: Towards an Implementation of a Computer Algebra System in a Functional Language

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