The computer-algebra tag has no wiki summary.
3
votes
3answers
36 views
Using a computer algebra system to optimize mathematical expressions
This is something I've been wondering for years. Software like Mathematica is great at manipulating expressions into simplified, factorized, and other forms. I'm wondering if there's a way, ...
2
votes
2answers
78 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) returns ...
7
votes
2answers
88 views
Decidability of a problem concerning polynomials
I have come across the following interesting problem: let $p,q$ be polynomials over the field of real numbers, and let us suppose that their coefficients are all integer (that is, there is a finite ...
3
votes
3answers
240 views
Constructing a data structure for a computer algebra system
In thinking about how to approach this problem I think several things will be required, some tivial:
An expression tree where non-leaf node is an operation (not sure if that part is redundant), but ...
7
votes
0answers
126 views
Complexity of computer algebra for systems of trigonometric equations
As discussed in this question, I drafted a spec algorithm that hinges on finding a specific root of a system of trigonometric equations satisfying the following recurrence:
$\qquad f_{p_0} = 0\\
...
10
votes
2answers
516 views
Complexity of computing matrix powers
I am interested in calculating the $n$'th power of a $n\times n$ matrix $A$. Suppose we have an algorithm for matrix multiplication which runs in $\mathcal{O}(M(n))$ time. Then, one can easily ...
