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. For questions about Mathematica please see the ...

learn more… | top users | synonyms

5
votes
1answer
147 views

Formula or code to compute number of subgroups of a certain order of an abelian $p$-group

Given a finite abelian $p$-group and its factorization into groups of the form $\mathbb{Z}/p^k\mathbb{Z}$, does anyone know of a formula that gives the number of subgroups of a certain index/order? As ...
5
votes
2answers
246 views

where can I find a library of finite groups with their multiplication tables?

Is there a library of finite groups given by their multiplication tables? can I get this result using the GAP SYSTEM ?
4
votes
1answer
312 views

Computing with ideals: over $K$ or over $\mathbb{Q}\subseteq K$? does it matter?

I'm beginning to learn to use SINGULAR, the computer algebra system (CAS) for commutative algebra. NOTATION: If $K$ is a field of characteristic $0$, then $\mathbb{Q}\subseteq K$; otherwise ...
14
votes
9answers
4k views

What are some good iPhone/iPod Touch/iPad Apps for mathematicians?

There are lots of good apps for teaching mathematics to children but I would like to learn about apps for undergraduate/graduate/research levels. Helper questions Any algebra system (like ...
3
votes
2answers
252 views

Learning to use MAGMA

I'm trying to learn to use MAGMA for research in group theory, but it's been slow going. I've been using the MAGMA handbook provided online, but it's rather hard to learn with. I feel like it's hard ...
1
vote
1answer
491 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
229 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
809 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 ...
6
votes
2answers
566 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
60 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
153 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
101 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
423 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
108 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
625 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 ...
3
votes
1answer
198 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
447 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 ...
7
votes
2answers
3k 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
69 views
3
votes
2answers
107 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 ...
8
votes
4answers
865 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 ...
9
votes
5answers
2k 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
331 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 ...
6
votes
4answers
383 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 ...
22
votes
23answers
1k 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?