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
61 views

Practical applications of computer algebra systems

(Sorry if this is not the correct place for the question) Are there practical applications of symbolic computation systems like Mathematica, Sage, Maxima and the like in software development? To ...
2
votes
1answer
37 views

Is there any Software package to confirm correctness of your derivation steps?

Suppose I made a very complicated (not necessarily difficult) derivations in which it is very likely for anyone to make some silly mistakes, e.g., incorrect sign, overlooking a term, and so on. I ...
8
votes
5answers
438 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 ...
6
votes
2answers
333 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 ...
2
votes
1answer
60 views

Help with Math software (macaulay 2)

I just started working with Macaulay 2 and need some help. I need to find the number of solutions of a system of equations. I am having difficulty imputing this into the software so please be specific ...
0
votes
0answers
19 views

factor out of an expression, a couple principal ideals, software?

I have an expression, $f$, consisting of a few rational fractions of large multivariate numerators, $n1,\,n2,\ldots \in \mathbb{Q}[a1,a2,b1,b2;Q]$ and large multivariate denominators, $d1,\,d2,\ldots ...
0
votes
1answer
39 views

How does GAP understand $SL_2(\mathbb{F}_3)$?

When one is asking for " IrreducibleRepresentations(SL(2,3))" it makes sense that the matrices it returns are over the complex field as thats the field on which the representations are. There GAP ...
4
votes
2answers
69 views

”lesser known” rules to calculate the derivative

I was reading through the online help of WolframAlpha (link) and found this statement: Wolfram|Alpha calls Mathematica's $D$ function, which uses a table of identities much larger than one would ...
0
votes
1answer
26 views

Coercing elements into a set in MAGMA

Suppose I had a permutation group $G$ for example, that corresponded to the intersection of some elements of a list $H$ where the elements are groups. Then, if I wanted to create a set or some ...
2
votes
1answer
59 views

Given the graph below, use Dijkstra’s algorithm to find the shortest path (More details included)

So I've found out a few things and was wondering if someone could verify if I'm doing this correctly. So here is an example I've been given: Here is the solution to that example: Now here is the ...
0
votes
0answers
30 views

Discrete Fourier Transform using WolframAlpha

I tried to verify a calculation with WolframAlpha. I want to compute the DFT of $[2,3,-3,1]$. So in particular one entry of the result vector should be $2+3-3+1=3$. I don't understand why I get ...
0
votes
2answers
169 views

Any software package with Mordell equations implemented?

I admit I have no idea how to tag this post, but I'm looking for a CAS/number theory software package that would implement a decent algorithm for computing the integral solutions to $x^2 = y^3 - k$, ...
0
votes
0answers
45 views

How does the factor command on the TI-89 works?

So to put my question in context, I am working on the following problem. Let $N=1291233941$. Eve's magic box tells her the following three encryption/decryption pairs for $N$: $$(1103927639, ...
10
votes
6answers
3k 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!
1
vote
1answer
23 views

Generating a 2D coordinate from a 1D Index

Imagine you have a 5x5 matrix (zero indexed), where only the upper right coordinates are valid. I am unsure if this is the terminology to use, so the following coordinates should be the valid ones: ...
3
votes
1answer
93 views
1
vote
0answers
39 views

Understanding BlowUp Computation in Singular

Many of us might know that "Singular" is a computer algebra system for Algebraic Geometry, Commutative Algebra and Non-commutative algebra. This is a procedure in "Singular" for computing blowups. ...
0
votes
0answers
22 views

Maple — Lattice Algorithms

Is there any place online where I can find the code for an algorithm which computes the shortest vector in a lattice? The library only includes the algorithm for LLL.
2
votes
1answer
72 views

do we have any special algorithms or software to find all 2-sylow subgroups of a group?

I am working on a project that involves 2-sylow subgroups of groups,one thing that I need to do is to find all 2-sylow subgroups of a group and check that it is cyclic or not, now my question is that ...
0
votes
1answer
28 views

How to find a $k$-basis for a quotient space of a polynomial ring by a subspace?

My question is "How to find a $k$-basis for a quotient space of a polynomial ring $R$ over $k$ by a subspace $V$?" Here the point is quotient by a subspace, not by an ideal. In Singular, there is a ...
2
votes
1answer
47 views

Algorithms for generating $A_n$ and $S_n$ from specific generators

Is there a simple algorithm to generate the elements of the alternating group $A_n$ in terms of some small set of generators? For example, when $n = 4$, I'm looking for an algorithm whose output is a ...
0
votes
0answers
20 views

Derivative with respect to matrix X of Tr(A Exp(-iX)) where A in another matrix

How could I numerically evaluate $\nabla_\mathbf{X} \textrm{Tr}\left(\mathbf{A} \exp(-i \mathbf{X})\right)$? Is there a simple expression for it?
0
votes
1answer
84 views

finding roots of polynomial in MAGMA or GAP

Please hint me. I want to find the roots of $x^3+(1-2n)x^2-(1+4n)x+8n^2-10n-1$ with Magma or GAP. In Magma: $P<x> := PolynomialRing(Rationals())$; $P<n>:= ...
9
votes
5answers
2k views

Computer Algebra: Algorithms for solving equations symbolically

As a hobby, I have written a basic computer algebra system. My CAS handles expressions as trees. I have advanced it to the point where it can simplify expressions symbolically (i.e., sin(pi/2) ...
0
votes
1answer
34 views

Interpolating transformation matrices

I read not to interpolate transformation matrices by linearly interpolating. Can someone explain to me why interpolating transformation matrices by linearly interpolating the matrix components is a ...
1
vote
0answers
28 views

Is there some database or software to look for patterns in polynomials?

Like if I am looking at these polynomials, $$x^8-8x^6+20x^4-16x^2+3$$ $$x^{10}-12x^8+48x^6-72x^4+33x^2$$ $$x^{12}-16x^{10}+88x^8-192x^6+138x^4$$ And I want to know if they are members of some ...
1
vote
0answers
27 views

Lower bounds on possible integer relations from the PSLQ algorithm

For the equation: $$ \sum_{i=1}^na_ix_i=0 $$ where all $x_i$ are real numbers and all $a_i$ are integers, the PSLQ algorithm can either find an integer relation or give lower bounds on the norm of ...
6
votes
6answers
292 views

How to efficiently represent and manipulate polynomials in software?

I've started to work on a package (written in matlab for now) that among other things must be able to represent and manipulate (compare, add, multiply, differentiate, etc) polynomials in several ...
0
votes
0answers
24 views

3rd order non linear differential equation

$2f'''+f.f''=0$ The boundary conditions are given as $f(0)=r, f'(0)=0, f'(∞)=1$ , where $r$ is a constant . How can I solve this differential equation using Matlab or Mathematica ??
9
votes
1answer
232 views

Modular subgroup lattice in GAP

I want to know if one can ask GAP to decide whether the subgroup lattice of a specific finite group $G$ is modular, via a simple command. Many thanks. Update: relevant questions have been addressed ...
3
votes
2answers
295 views

Converting GAP groups into SAGE permutation groups.

I have been working with SAGE online, and have made some programs to test some hypothesis about finite groups. However, the pre-defined "named" groups in SAGE are quite limited (basically, the ...
4
votes
1answer
178 views

How do I substitute a value into a polynomial in GAP?

Question: How do I substitute a value into a polynomial in GAP? So, if I start off with the following: x:=Indeterminate(Integers,"x"); f:=x^2+3; I have $f$ ...
-1
votes
2answers
63 views

Regular vs Nonregular language [closed]

Let S be a language that is not regular? Suppose that T is a language such that T C S. Is T nonregular? This question is from textbook, can someone help me?
1
vote
1answer
64 views

Math software to calculate in different rings.

I was doing computational experiment by using rings of polynomial like this let $f(x)=x^6+x\in\mathbb{Z_n[x]}$ for any given $n$. Is there any software which help me to calculate $f(a)$ where ...
6
votes
2answers
145 views

Computing a nasty integral (probably with computer algebra system)

I'm trying to do this integral, not sure if it is possible: $$ \int_{1}^{\infty}\int_{0}^{\infty} \exp\left(\, -\,{x^{2} \over y^{2}}\,\right) \exp\left(\,-\,{y^{2} \over z^{2}}\,\right) \exp\left(\, ...
1
vote
0answers
47 views

Is there any efficient progam or software to calculate the fractional chromatic number?

The fractional chromatic number $\chi_f(G)$ is a generation of the chromatic number of a graph $G$. It can be formulated as a linear programming question: Let $\mathcal{I}(G)$ be the set of all ...
1
vote
2answers
674 views

Nspire cx CAS - Laplace inverse fails

I'm trying to calculate that easy integral but I get undef. When I replaced $\infty$ with $1000$, I got the right answer. ($e^{-1000}$ is zero roughly). Although this calculator knows that ...
8
votes
2answers
239 views

What is the closed form of $\sum _{n=1}^{\infty }{\frac { {{\it J}_{0}\left(n\right)} ^2}{{n}^4}}$?

Using Maple I am obtaining the numerical approximation $$0.5902373619$$ Please, let me know what is the closed form. Many thanks.
0
votes
0answers
41 views

What is the “cost” of computation of two special CAS algorithms

Suppose I have an integer $n$ with e.g. a large number of say decimal digits. I would like to get some information about the runtime "cost" of standard CAS algorithm which factors $n$ into primes ...
0
votes
1answer
46 views

Get the closed form of Taylor series with Maple

Is it possible to get the closed form of Taylor series with Maple? The series command can give any given number of terms, but the question is about the closed form ...
3
votes
0answers
36 views

Tool for construction of graph with specified properties

Is there a tool (class of algorithms for graph generation) that can construct graph with specified properties. E.g. construct graph who is homeomorphic with both to K5 and K3,3. Construct planar graph ...
0
votes
1answer
201 views

Solve nolinear system of equaion with c/c++ [closed]

My system of equation is like this: (x-a1)^2 + (y-b1)^2 = c1 (x-a2)^2 + (y-b2)^2 = c2 I know it is simple using matlab: ...
5
votes
2answers
207 views

How do you compute group cohomology in practice?

If you have a finite group $G$ and a finite $G$-module $K$, and you need to know $H^1(G,K)$ or $H^2(G,K)$, how do you do it? Do you use a computer algebra system? (If so, which one?) Do you use a ...
-1
votes
1answer
16 views

Verification of $F(m)^{d} \pmod n \equiv m$ with very large inputs, where $F(m)=m^e$

Does anyone have the computational power to check whether or not $F(m)^{d} \pmod n \equiv m$, where the values of the variables are found below. According to Wolfram Alpha, I found the result of the ...
40
votes
14answers
2k views

'Linux' math program with interactive terminal?

Are there any open source math programs out there that have an interactive terminal and that work on linux? So for example you could enter two matrices and specify an operation such as multiply and ...
0
votes
1answer
61 views

Any algorithm or theorem to decide whether two functions are equivalent? [duplicate]

Any algorithm or theorem to decide whether two functions that are polynomials,rationals and analytic over $\mathbb{N}$ or $\mathbb{Q}$ or $\mathbb{R}$ or $\mathbb{C}$ are equivalent ?
2
votes
1answer
99 views

MuPAD - complicated solve() solutions

I am trying to solve an equation for one variable as shown in the picture: Judging from the output of the second command, I should be able to get an expression for $\ddot{\theta}$. I tried ...
1
vote
1answer
129 views

MuPAD - rearrange an equation

I have a huge expression, say $f(x_1,x_2,x_3) = 0,$ and I want MuPAD to try to express $x_1 $ in terms of $x_2$ and $x_3$ Is this possible?
1
vote
2answers
66 views

How can I plot $y^x$?

How can I plot $y^x$? To keep things simple and to not have another $z$ variable on the other end of the equation, let's assume $y^x=10$. As long as that value is not $0$, the curve we get should look ...
0
votes
0answers
19 views

defining an upper bound for n-tuple

Let we have $n-tuple ~~like ~ a=(a_1,...a_n) \in N_0^n ~and ~every ~a_j < (2^{m_j} -1). $ and let suppose we have another n-tuple like $b:=(b_1,...,b_n)$ such that $ b_i \leq (2^{m_j} -1)$. I ...