Intereting Posts

Partition an integer $n$ into exactly $k$ distinct parts
Find the probability function of $X_1+X_2$ in geometric distribution
Linear independence of roots over Q
Using the Reflection Theorem
Differences in $\varnothing$, {$\varnothing$}, and $\subseteq$
How to prove that: $\tan(3\pi/11) + 4\sin(2\pi/11) = \sqrt{11}$
Prove an inequality by Induction: $(1-x)^n + (1+x)^n < 2^n$
How Graph Isomorphism is used to determine Graph Automorphism?
Banach-Space-Valued Analytic Functions
Which quadrant is the “first quadrant”?
How do I prove that any unit fraction can be represented as the sum of two other distinct unit fractions?
To find the range of $\sqrt{x-1} + \sqrt{5-x}$
What is a Manifold?
How to find a function that is the upper bound of this sum?
Is true that : group of exponent 4 implies that $,y],y]= \text{identity}$?

I am currently working on a Computer Algebra System and was wondering for suggestions on methods of finding roots/factors of polynomials. I am currently using the Numerical Durand-Kerner method but was wondering if there are any good non-numerical methods (primarily for simplifying fractions etc).

Ideally this should work for equations in multiple variables.

- Why does Strassen's algorithm work for $2\times 2$ matrices only when the number of multiplications is $7$?
- Algorithm to find the point in a convex polygon closest to an external point
- Detecting perfect squares faster than by extracting square root
- Knuth's algorithm for Mastermind question
- Heuristics for topological sort
- Is there a possibility to choose fairly from three items when every choice can only have 2 options

- Modulo in e-voting paper is wrong?
- Help understanding the complexity of my algorithm (summation)
- Circle Packing Algorithm
- A problem on Number theory
- Searching a Young tableau
- Understanding AKS
- Factorize $(x+1)(x+2)(x+3)(x+6)- 3x^2$
- Solving a recurrence by using characteristic equation method
- Will this procedure generate random points uniformly distributed within a given circle? Proof?
- factorize $x^5+ax^3+bx^2+cx+d$ if $d^2+cb^2=abd$

If you are interested in the factorization algorithms employed in modern computer algebra systems such as Macsyma, Maple, or Mathematica, then see any of the standard introductions to computer algebra , e.g. Geddes et.al. “Algorithms for Computer Algebra”; Knuth, “TAOCP” v.2; von zur Gathen “Modern Computer Algebra”; Zippel “Effective Polynomial Computation”. See also

Kaltofen’s surveys on polynomial factorization [116,68,56,7] in his publications list, which contains plenty of theory, history and literature references. Note: Kaltofen’s home page appears to be temporarily down so instead see his paper [1] to get started (see comments)

1 Kaltofen, E. Factorization of Polynomials, pp. 95-113 in:

Computer Algebra, B. Buchberger, R. Loos, G. Collins, editors, Vienna, Austria, (1982).

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.7916&rep=rep1&type=pdf

If you’re looking to factor exactly, then you’ll need to use something that’s not one of the fundamental operations of addition, subtraction, multiplication, division and extraction of roots. The Abel-Ruffini theorem says so for degree five and above. However, there are numerous other methods to find roots exactly, using more general functions, my favorite being theta functions, as explained in the appendix to Mumford’s “Tata Lectures on Theta II”

- If $\operatorname{Hom}(X,-)$ and $\operatorname{Hom}(Y,-)$ are isomorphic, why are $X$ and $Y$ isomorphic?
- Prove that if two miles are run in 7:59 then one mile MUST be run under 4:00.
- Zero sections of any smooth vector bundle is smooth?
- How many turns can a chess game take at maximum?
- Approximating $\arctan x$ for large $|x|$
- Cardinality of the set $D$
- Applications of Geometry to Computer Science
- Mathematics of Tetris 2.0
- Tough Inverse Fourier Transform
- Determine a holomorphic function by means of its values on $ \mathbb{N} $
- Polynomial $P(x,y)$ with $\inf_{\mathbb{R}^2} P=0$, but without any point where $P=0$
- Proof of divergence of $1/2 + 1/3 + 1/5 + 1/7 + 1/11 +…$
- Elementary Set Theory Question
- Covering ten dots on a table with ten equal-sized coins: explanation of proof
- Are the standard natural numbers an outstanding model of PA?