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

Authors:
Oleg Lobachev;Rita Loogen
Affiliations:
Fachbereich Mathematik und Informatik, Philipps---Universität Marburg, Marburg, Germany D---35032;Fachbereich Mathematik und Informatik, Philipps---Universität Marburg, Marburg, Germany D---35032
Venue:
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Year:
2008

Citing 15
Cited 2

Mathematica: a system for doing mathematics by computer (2nd ed.)

Mathematica: a system for doing mathematics by computer (2nd ed.)
The Maple handbook: Maple V Release 4

The Maple handbook: Maple V Release 4
Purely functional data structures

Purely functional data structures
Introduction to the GiNaC framework for symbolic computation within the C++ programming language

Journal of Symbolic Computation
Functional Differentiation of Computer Programs

Higher-Order and Symbolic Computation
Scientific Computation and Functional Programming

Computing in Science and Engineering
Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients

EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Modern Computer Algebra

Modern Computer Algebra
More haste, less speed: lazy versus eager evaluation

Journal of Functional Programming
Parallel functional programming in Eden

Journal of Functional Programming
Groovy Programming: An Introduction for Java Developers

Groovy Programming: An Introduction for Java Developers
Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
The ruby programming language

The ruby programming language
The Python Language Reference Manual

The Python Language Reference Manual
SymGrid: a framework for symbolic computation on the grid

Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing

Parallel FFT with Eden Skeletons

PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Eden --- parallel functional programming with haskell

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss some language---centered design aspects of a computer algebra system -- the "language unity" concept. Secondly, we provide an implementation of a fast polynomial multiplication algorithm, which is one of the core elements of a computer algebra system. The goal of the paper is to test the feasibility of an implementation of (some elements of) a computer algebra system in a modern functional language.