A computer algebra system (CAS) is a program which is able to carry out various symbolic manipulations with mathematical expressions. Some well-known computer-algebra systems: Mathematica, Maple, Wolfram Alpha, GAP, SAGE. For questions about Mathematica please see the ...

learn more… | top users | synonyms

1
vote
1answer
998 views

Algorithm for finding limits of compositions of simple functions?

There are two questions: Define the set $S$. Compute the limit of functions $f/g$ for functions $f,g\in S$, where $S$ is defined in the following way. All constant function are in $S$, $f(n) = ...
2
votes
1answer
281 views

Problems Using Wolfram Alpha

I've always had some problem with the usage of wolfram alpha.It computes simple derivates, integrals and solves simple linear and quadratic equations flawlessly.It seems to me that it ignores step by ...
2
votes
1answer
1k views

Solving a matrix equation $AX=XB$ in a CAS

I have the following computational problem. Let $N$ be a positive integer and $A\in \mathbb{C}^{2N\times 2N}$, $X\in \mathbb{C}^{2N\times 4}$ and $B\in \mathbb{C}^{4\times 4}$. I want to solve the ...
7
votes
2answers
1k views

Wisdom of using Sympy as a first CAS

I'm an undergrad. maths student and have been looking at a few different free maths programs (mainly CAS systems, I've been very impressed with Octave as a MATLAB clone.) I've been tossing up between ...
1
vote
0answers
63 views

Computing relations on the columns of a matrix

Given an $m\times n$ (with $n>m)$ matrix $M$ over a polynomial ring $R=k[x_1,...,x_n]$, suppose that every column of $M$ is an $R$-linear combination of $m$ specified columns. I would like to ...
2
votes
3answers
188 views

Simplifying expressions

I have a polynomial ring $R=k[x,y,z...]$ and a given ideal $I$ (defined by given generators) and several polynomials $f_1,f_2,...$ in the ring. I also have several other elements of $R$ given as ...
3
votes
1answer
103 views

Find $k^{th}$ root of $M \in GL(n,F_2)$

Given $M \in GL(n,F_2)$ which is known to have a $k^{th}$ root. How can I find a root algorithmically? Can I find all roots? Other than being invertible and having a $k^{th}$ root I know nothing of ...
10
votes
3answers
462 views

Erroneous numerical approximations of $\zeta\left(\frac{1}{2}\right)$?

By definition of the Riemann Zeta Function, $$\zeta\left(\frac{1}{2}\right) = \sum_{n=1}^\infty \frac{1}{\sqrt{n}}.$$ Since $\forall n \geq 1 : \frac{1}{\sqrt{n}} \geq \frac{1}{n}$, we have that for ...
3
votes
1answer
116 views

Software for proving sum identites

Summations can really get complicated - esp. when you have convoluted n-fold summations with all kinds of different indices. My question: Is there some software (or add-on) with which you can find ...
2
votes
1answer
998 views

Solving a nonlinear system using Groebner basis computations

I have discovered that Groebner basis computations may help in a problem I am working on. However, I am having some very specific problems. First, the literature I have discovered on Groebner basis ...
4
votes
1answer
237 views

CAS: Computing homology of complex of non-free abelian groups

Which computer algebra system allows me to compute the homology of a complex of finitely presented abelian groups which are not necessarily free? Sage and Magma apparently don't: see here and here. ...
0
votes
1answer
627 views

Maple: How to turn a set of vectors into a matrix?

In Maple the command NullSpace turns a given matrix into a set of vectors -- a basis for its null space. This is precisely what it should in a mathematical sense. However, for computations using the ...
11
votes
2answers
5k views

Traditional axes in 3d Mathematica plots?

Is there any way to tell Mathematica 7 to use "traditional" axes rather than boxing a three-dimensional graph? That is, rather than the default view produced by ...
2
votes
1answer
72 views
3
votes
2answers
114 views

Maple: How to input such system so that it would be solved?

How to input such system into maple so that it would solve it? BTW we some part of system will be given to us, which we do not know certainly - may be some $A_i$'s may be some $B_i$'s as ...
10
votes
5answers
1k views

Computer Programs for Pure Mathematicians

Question: Which computer programs are useful for a pure mathematician to familiarize themselves with? Less Briefly: I was once told that, now-a-days, any new mathematician worth his beans knows how ...
14
votes
7answers
6k views

symbolic computation program/software

What is your recommended symbolic computation program/software for free and commercial respectively? What are its strength and weakness? For example, efficiency, comprehensiveness, etc Thanks!
2
votes
1answer
350 views

Derivatives of Brownian motion or Box Options Greeks

Here's the probability (I think) that a particle in Brownian motion (w/ standard deviation $\sqrt{t}$) will exceed $m$ between times $t_1$ and $t_2$: $$\frac1{2\sqrt{2\pi}}\int_{-\infty }^m ...
8
votes
5answers
482 views

CAS with a standard language

I hope this question is suitable for the site. I recently had to work with Mathematica, and the experience was, to put it kindly, unpleasing. I do not have much experience with similar programs, but ...
26
votes
22answers
2k views

Can you recommend a decent online or software calculator?

I'm looking for an online or software calculator that can show me the history of items I typed in, much like an expensive Ti calculator. Can you recommend any?