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
6
votes
1 answer

How to solve absolute value equations using sympy?

Given the equation |x - 5| + |y| = 5, how can one solve it using SymPy? If I'm using a combination of solve() and Abs() it gives me this error solving Abs(x - 5) when the argument is not real or imaginary But, at the beginning of my session I…
Accelerate to the Infinity
  • 357
  • 1
  • 3
  • 12
6
votes
1 answer

Pretty MuPad: Output of assignment, expression and result in one line - How to create that function?

I'm trying to get Matlabs's MuPad as pretty and convenient as MathCad. Assume two variable assignments: x_a:=2*unit::mm; y_b:=5*unit::mm; and I want a prettyfied (typeset with Tex) output like z = x_a + y_b = 7 mm I already managed to do so by…
Robert Seifert
  • 25,078
  • 11
  • 68
  • 113
6
votes
1 answer

Tidy up expression after differentiating

The equations I am working with in this problem contain exponentials. For this reason, after differentiating they appear again pretty much unchanged apart from additional constants and other factors. I was wondering if it might be possible to…
el_technic0
  • 553
  • 6
  • 14
6
votes
2 answers

C# library overloads ^ operator. How to use ** instead?

The Symbolism library overloads arithmetic operators. Although it's written in C# I can use it from F#: open Symbolism let x = new Symbol("x") let y = new Symbol("y") let z = new Symbol("z") printfn "%A" (2*x + 3 + 4*x + 5*y + z + 8*y) the…
dharmatech
  • 8,979
  • 8
  • 42
  • 88
5
votes
1 answer

Computer Algebra System (CAS) for Scala

I'm looking for a simple CAS system for scala. It should have the following features: give access to the abstract syntax tree (preferably via case classes for easy matching) parse String to AST simplify expressions If none exists and I have to…
dsg
  • 12,924
  • 21
  • 67
  • 111
5
votes
1 answer

Optimizing a set of polynomials for computation speed

I have a set of polynomial expressions produced by a computer algebra system (CAS). For example, this is one element of this…
Sébastien Piérard
  • 111
  • 4
5
votes
1 answer

Do algorithms for performing hierarchical permission checking exist?

I have a data structure which represents a hierarchy. folder folder folder file file etc. Permissions are stored in a flat table: | pKey | type | bitperms | When performing global operations like search, we need to check permissions…
Ray
  • 1,324
  • 10
  • 18
5
votes
1 answer

How to find the maximum value of a function in Sympy?

These days I am trying to redo shock spectrum of single degree of freedom system using Sympy. The problem can reduce to find maximum value of a function. Following are two cases I cannot figure out how to do. The first one is…
Kattern
  • 2,949
  • 5
  • 20
  • 28
5
votes
1 answer

Arbitrary size matrices in maxima

I want to do some calculations with matrices of arbitrary size. Simple example - take two matrices NxM and MxK, with arbitrary elements, and see element of product as sum. But i cant find a way to do such symbolic calculations without specifying…
Mikhail Cheshkov
  • 226
  • 2
  • 14
4
votes
1 answer

Symbolic Math Library in C/C++/Obj-C

I am trying to implement a graphing calculator on the iPhone. I am looking for a library that can take strings of expressions or functions and let me manipulate them (find derivatives, intercepts, zeros, etc). Does anything like this exist?
Jack Rogers
  • 305
  • 3
  • 14
4
votes
1 answer

How can I substract 253 from 175(175-253) through 2's complement method?

For 2's complement, substraction process by computer. 176-253=176+(-253) 176=10110000 253=11111101 253(inverse)=00000010 253(complement)=00000010+1=00000011 -253=253(complement)=00000011 176+(-253)=10110000+00000011=10110011=179? but in fact…
user6081744
  • 41
  • 2
4
votes
2 answers

Using lisp code in maxima

I want to use (make-array '(4 3 8)) in maxima which is basically to generate multi-d matrix as I am not able to find API to create multi-d matrices including with array(name,d1,d2...dm). I can execute it using :lisp (make-array '(4 3 8)) but I don't…
Pankaj Sejwal
  • 1,605
  • 1
  • 18
  • 27
4
votes
1 answer

Sign of a symbolic algebraic expression

Is there any algorithm that can find the sign of an arbitrary symbolic algebraic expression given in a "Tree - Form"? I know that a general algorithm doesn't exist because the zero recognizion problem is undecidable for an arbitrary expression, but…
Andrei Kh
  • 201
  • 1
  • 5
4
votes
1 answer

using wxMaxima to factor a polynomial

Suppose that I define some function, then make a change of variable and expand, as in the following lines: declare(a,real); declare(k,real); declare(z,real); myFun(a,k,z):=(1-1/2*((k-a)/2)^2)*z - 1 + 1/2*…
mforets
  • 143
  • 1
  • 4
4
votes
4 answers

Algorithmically get Amplitude and Phase of Sine wave?

I'm trying to figure out a way to algorithmically get the amplitude and phase of a function that has sinusoidal terms in the Maxima computer algebra system. This only applies to steady state (as t -> infinity and the transients decay). For…
dsimcha
  • 67,514
  • 53
  • 213
  • 334
1
2
3 4 5