Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [computer-algebra-systems]

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 are Mathematica, Maple, Wolfram Alpha, GAP, SAGE. Questions on this site about computer algebra systems should be mathematical in nature, and not just about the syntax or the mechanics of the CAS. Otherwise the question would be better suited for a different Stack Exchange site.

A computer algebra system (CAS) is a program which is able to carry out various symbolic manipulations with mathematical expressions. Typically they include simplification, differentiation, integration, solving equations etc.

Some well-known computer-algebra systems: Mathematica, Maple, Wolfram Alpha, GAP, SAGE.

Some of them have also separate tags: , , , ,

For Mathematica there is even a separate Stack Exchange site. Another related site is Computational Science (currently in beta).

564 questions
16
votes
6 answers

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) returns 1), and all expressions can be reduced to a…
thirtythreeforty
  • 215
11
votes
3 answers

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 learning to use Maxima (the logical, stable,…
tom
  • 3,227
8
votes
6 answers

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 I remember not liking much Matlab or Maple either.…
Andrea Ferretti
  • 1,111
5
votes
1 answer

How to find the closed form of 10.3500574150076 with software/algorithm?

The number $10.3500574150076$ is a numeric approximation of $\log(2)^2+\pi^2$. It has a relatively simple form. But I have tried Maple's identify, ISC+, wolframalpha, and none of these could find a closed form of it. Is there anyway to find its…
NonalcoholicBeer
  • 7,211
4
votes
1 answer

Computer Algebra: How does the TI-89 do it?

I've always been amazed with the TI-$89$'s ability to deal with symbolic expressions so effortlessly. I've attempted to build several CASs in the past (mostly for fun, they are one of the most difficult and interesting programming challenge I'm…
dsharlet
  • 161
  • 4
4
votes
0 answers

Possible uses of computer algebra systems in mathematics research?

How common is it for researchers to use computer algebra systems? I'm working in electrical engineering and moving into quite theoretical areas. For example, I'm reading right now some papers on tail bounds / concentration of measure in…
RJTK
  • 447
3
votes
0 answers

How does one solve equations over finite fields in SAGE?

Sage has the method solve (or function, I'm not sure what's the correct terminology) that finds solutions to 'symbolic expressions'. In particular, if one wants to find solutions for a given set of equations using solve, one has to define all…
Rodrigo
  • 7,646
3
votes
1 answer

Desmos plot only for integral $x$

I'm trying to plot $2\operatorname{floor}\left(\log_{2}x\right)+1$ but only if $x$ is a natural number. Desmos plots correctly $2\operatorname{floor}\left(\log_{2}x\right)+1$ I would like this however: I achieved this using a list of points…
minseong
  • 1,293
2
votes
0 answers

Symbolic computer algebra system with LaTex editor

Is there an equation editor where I can type in an equation, and then work with it interactively, e.g. adding a term to one side will automatically put it on the other, and possibly converge? For example, if I were completing the square, I could put…
bentaisan
  • 121
  • 4
2
votes
1 answer

List of software for finding closed form of floating point number (a numeric approximation).

The number 10.3500574150076 is a numeric approximation of $\log(2)^2+\pi^2$. If we do not know its closed form and want to find it using computer, then there are a few things we may tre: Inverse Symbolic Calculator (ISC) WolframAlpha Maple's…
NonalcoholicBeer
  • 7,211
2
votes
1 answer

Prove $\log_bf(x)$ is big-theta $\log f(x)$

How can I prove that $\log_bf(x)$ is big-theta of $\log f(x)$ for any constant $b > 1$?
OpMt
  • 145
2
votes
0 answers

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 we do something like $h(g)(x) = f(g(x))$ ? …
Daniel Donnelly
  • 21,342
2
votes
1 answer

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 be determined)? What about $e^{X^2 + X + 1}$? This…
Daniel Donnelly
  • 21,342
1
vote
1 answer

How to detect carry and overflow?

Let's say that 0011 + 0111 = 1010 How to detect whether the operation generate carry and overflow?
Bilis
  • 125
1
vote
1 answer

Number conversion in decimal fraction

980.85D convert to hexadecimal number = 3D4 . ?? how to solve the answer after the decimal point? Thank you in advanced.
Bilis
  • 125
1
2 3