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

2
votes
1answer
180 views

Introduction to Elementary Functions

I'm looking for an introductory text on algebraic treatment of elementary functions. Really short and easy-going. Video lectures are even better. I want to learn basic ideas (i.e. definitions) behind ...
6
votes
1answer
565 views

Semidirect Products with GAP

I'm wondering how to specify to GAP which homomorphism to use when constructing a semidirect product. I'm trying to have it construct $\left(\mathbb{Z}_p\times\mathbb{Z}_p\right)\rtimes_\varphi S_3$. ...
2
votes
0answers
144 views

How do mathematicians handle functions of functions that may change?

E.g. let $f(x) = $ some function. Now define $h(x) = f(g(x))$. Now suppose the definition of $g(x)$ changes around in a discussion. Do we still refer to $h(x)$ as the original $h(x)$ or only when ...
1
vote
1answer
113 views

Is there CAS design wisdom regarding categorizing expressions?

Is there CAS design wisdom regarding categorizing expressions? For instance. A user types in the expression $X^2 + X + 1$. Would it be best to classify it as a member of $R[X]$ (for some R, yet to ...
3
votes
1answer
123 views

How does the function CycleIndex work in GAP? ( undocumented in GAP )

Background: When I divide a hexagon in six triangles the group $D_6$ works on the triangles. The cycle index of the group action would be in this case $$p(x_1,x_2,x_3,x_6)=\frac{1}{12}(x_1^6 + ...
3
votes
2answers
297 views

What are well-known weaknesses of CAS/math software?

I'm starting to become more functional in Mathcad, so I wanted to take the opportunity to look into known drawbacks, mathematically speaking, of CAS/computer math systems. For instance, one of the ...
1
vote
1answer
111 views

An integral evaluation

I tried my luck with Wolfram Alpha, with $p \in \mathbb{R}$ $$\int_{-\infty}^{\infty} \frac{x^p}{1+x^2} dx = \frac{1}{2} \pi ((-1)^p+1) \sec(\frac{\pi p}{2})$$ for $-1<p<1$, and doesn't exist ...
5
votes
4answers
1k views

Expressing a symmetric polynomial in terms of elementary symmetric polynomials using computer?

Are there any computer algebra systems with the functionality to allow me to enter in an explicit symmetric polynomial and have it return that polynomial in terms of the elementary symmetric ...
2
votes
0answers
155 views

What is a good software package for ( assisted ) theorem proving and documenting?

Background: An issue in my math study is that I haven't found a good way of storing the theorems ( mostly abstract algebra ) I studied and want to (re-)use in proofs. At the moment I use a personal ...
3
votes
2answers
147 views

Question about products of group elements using GAP

Background: In GAP I created the DihedralGroup of an octagon as a quotient of the freegroup on 2 variables and the presentation $r^8=s^2=s*r*(r^7*s)^{-1}=e \ $ as follows: ...
5
votes
1answer
140 views

What's the best way to detect an algebraic number?

Suppose you calculate the first few (dozen, hundred) digits of a number which you believe to be a rational number. You can calculate the continued fraction for the number and truncate after a large ...
0
votes
1answer
3k views

Plot Y-Range on Mathematica

I have a plot that I would like to slightly manipulate in Mathematica. Here is the code I am entering: Plot[{x, 2^x, log_2(x)}, {x, -1, 3}] As you can see $x$, $2^x$, and $log_2(x)$ are all ...
1
vote
3answers
660 views

software for algebraic simplifying expressions

I have many huge algebraic expressions such as: $$\frac{8Y}{1+x}-\frac{(1-Y)}{x}+\frac{Kx(1+5x)^{3/5}}{2}$$ where $\ ...
4
votes
2answers
14k views

Using Wolfram Alpha For Solving A System Of Equations

How do i input the below system of equations in wolfram alpha in order to solve for the unknowns and plot them? If i just say "solve" and input these equations one after the other with a simicolen ...
7
votes
1answer
147 views

Why is $\operatorname{res}(fg,h)=\operatorname{res}(f,h)\cdot\operatorname{res}(g,h)$, where $\operatorname{res}$ stand for resultant?

I'm learning Computer Algebra and met an exercise asking me to prove that $$ \operatorname{res}(fg,h)=\operatorname{res}(f,h)\cdot\operatorname{res}(g,h) $$ where $f(x)$, $g(x)$ and $h(x)$ are ...
5
votes
1answer
148 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
247 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
313 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
259 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
519 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
231 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
823 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
610 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
102 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
427 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
109 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
650 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
202 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
451 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 ...
8
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
70 views
3
votes
2answers
108 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
890 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
332 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
385 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 ...
23
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?