Stack Overflow
Stack Overflow

Questions tagged [computer-algebra-systems]

A computer algebra system (CAS) is a software program that allows to compute mathematical expressions via symbolic computations.

A computer algebra system (CAS) is a software program that allows to compute mathematical expressions via symbolic computations.

Appearing in mid 60's, computer algebra systems are present in a variety of platforms, including pocket calculators. The first popular computer algebra systems were muMATH, Reduce, Derive and Macsyma.

Computer algebra systems are able to:

  • partial and total differentiation
  • some indefinite and definite integration
  • symbolic constrained and unconstrained global optimization
  • solution of linear and some non-linear equations over various domains
  • solution of some differential and difference equations
  • taking some limits
  • matrix operations including products, inverses, etc.
  • statistical computation

This category includes software systems such as:

More details:

73 questions
39
votes
6 answers

Introduction to computer algebra systems?

Does anybody know of any resources (books, classes, lecture notes, or anything) about the general theory of computer algebra systems (e.g. mathematica, sympy)? "Introductory" materials are preferred, but I realize that with such a specialized…
rz.
  • 19,861
  • 10
  • 54
  • 47
31
votes
3 answers

Haskell library like SymPy?

I need to manipulate expressions like 1 + sqrt(3) and do basic arithmetic like addition, subtraction, and division. I'd like the result to be in some sort of canonical form so that it can be used as a key in a map. Turning 1 + sqrt(3) into a float…
carlo_hamalainen
  • 393
  • 3
  • 5
19
votes
4 answers

C# library for algebra simplification and solving

There are quite a few algebra solvers and simplifiers on the web (for example, the decent one at algebra.com). However, I'm looking for something I can plug into C# as part of a larger project (I'm making my own calculator, but obviously I'd ask…
Dan W
  • 3,520
  • 7
  • 42
  • 69
18
votes
1 answer

Dealing with piecewise equations returned by sympy integrate

In sympy I have an integral which returns a Piecewise object, e.g. In [2]: from sympy.abc import x,y,z In [3]: test = exp(-x**2/z**2) In [4]: itest = integrate(test,(x,0,oo)) In [5]: itest Out[5]: ⎧ ___ …
wxs
  • 5,617
  • 5
  • 36
  • 51
18
votes
1 answer

Exact Large Finite Field Linear Algebra Library (e.g. GF(2^128) / GF(2^256) )

General I'm looking for a library that is able to do exact calculations on large finite fields such as GF(2128)/2128 and GF(2256)/2256. I listed the features that I need and the features that would be cool below. Obviously, the library should be as…
Johannes Weiss
  • 52,533
  • 16
  • 102
  • 136
15
votes
3 answers

Computer algebra for Clojure

Short version: I am interested in some Clojure code which will allow me to specify the transformations of x (e.g. permutations, rotations) under which the value of a function f(x) is invariant, so that I can efficiently generate a sequence of x's…
Gabriel Mitchell
  • 979
  • 5
  • 17
14
votes
3 answers

Building a computer algebra system

I'm creating a CAS (Computer Algebra System) in PHP, but I'm stuck right now. I am using this website. Now I wrote a tokenizer. It will convert an equation like this: 1+2x-3*(4-5*(3x)) to this: NUMBER PLUS_OPERATOR NUMBER VAR[X] MINUS_OPERATOR…
www.data-blogger.com
  • 4,076
  • 7
  • 43
  • 65
12
votes
2 answers

Maxima: convert matrix to list

I convert list to matrix in Maxima in following way: DataL : [ [1,2], [2,4], [3,6], [4,8] ]; DataM: apply('matrix,DataL); How to do it the other way ? How to convert given matrix DataM into list DataL ?
Grzegorz Wierzowiecki
  • 10,545
  • 9
  • 50
  • 88
12
votes
3 answers

Multivariate Taylor approximation in sympy

I aim to write a multidimensional Taylor approximation using sympy, which uses as many builtin code as possible, computes the truncated Taylor approximation of a given function of two variables returns the result without the Big-O-remainder term,…
flonk
  • 3,726
  • 3
  • 24
  • 37
11
votes
2 answers

Sympy: Drop higher order terms in polynomial

Using Sympy, say we have an expression f, which is a polynomial of the Symbol "x" (and of potentially other symbols). I would like to know what if there is an efficient way to drop all terms in f of order greater than some integer n. As a special…
zzz
  • 233
  • 3
  • 8
8
votes
2 answers

How to do function composition in Sympy?

I want to do something like h = f(g(x)) and be able to differentiate h, like h.diff(x). For just one function like h = cos(x) this is in fact possible and the documentation makes it clear. But for function compositions it is not so clear. If you…
user1521607
  • 321
  • 1
  • 4
  • 12
8
votes
1 answer

Content MathML vs. OpenMath for model exchange

In my research group, we have different people doing algebraic modelling in different symbolic tools such as Symbolic Toolbox in Matlab and Sympy in Python. These models are then typically exported to C-code and copy-pasted-adapted into our own…
Joel
  • 1,295
  • 15
  • 30
6
votes
1 answer

library for affine k-algebra computations?

I'm looking for a library or computer algebra system that will help compute operations on polynomials in the ring F_2[x_1, ..., x_n] / where F_2 is the 2-element finite field, and is the ideal generated from elements f^2 - f for…
gatoatigrado
  • 16,580
  • 18
  • 81
  • 143
6
votes
4 answers

Equations Equality test (in C++ or with Unix tools) (algebra functions isomorphism)

I am looking for C++ open-source library (or just open-source Unix tool) to do: Equality test on Equations . Equations can be build during runtime as AST Trees, string or other format. Equations will mostly be simple algebra ones, with some…
Grzegorz Wierzowiecki
  • 10,545
  • 9
  • 50
  • 88
6
votes
2 answers

Are symbolic computation and functional programming related?

I was wondering if symbolic computation in Computer Algebra System (such as symbolic toolbox in Matlab, Mathematica) and functional programming related and how? Does the former belong to the latter? Thanks and regards!
Tim
  • 1
  • 141
  • 372
  • 590
1
2 3 4 5