
-
S.A.Abramov, H.Le , M.Petkovšek:
Rational Canonical Forms and Efficient Representations of Hypergeometric Terms
-
F.Aroca, J.Cano , F.Jung:
Power series solutions of PDE's
-
A.Basiri, J.C.Faugere:
Changing the ordering of Groebner bases with LLL: case of two variables
-
J.Beaumont, R.Bradford, J.Davenport:
Better Simplification of Elementary Functions Through Power Series
-
A.Bostan , G.Lecerf, E.Schost:
Tellegen's Principle into Practice
-
D.Boucher , Ph.Gaillard, F.Ulmer:
Fourth order linear differential equations with imprimitive group
-
F.Chapman:
An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra
-
T.Cluzeau:
Factorization of Differential Systems in Characteristic p
-
G.Cooperman , E.Robinson:
Memory-Based and Disk-Based Algorithms for Very High Degree Permutation Groups
-
R.Datta:
Using Computer Algebra to Compute Nash Equilibria
-
W.Eberly:
Early Termination over Small Fields
-
R.Fateman:
High-level Proofs of Mathematical Programs Using Automatic
Differentiation Simplification, and some Common Sense
-
R.Fateman , R.Toy:
Converting Call-by-reference to Call-by-value: Fortran and Lisp coexisting
-
A.Fredet:
Local factorization of linear differential operators in exponential extensions
-
K.O.Geddes , W.W.Zheng:
Exploiting Fast Hardware Floating Point in High Precision Computation
-
J.Gerhard , M.W.Giesbrecht, A.Storjohann, E.V.Zima:
Shiftless decomposition and polynomial-time rational summation
-
M.Giesbrecht , Y.Zhang:
Factoring and Decomposing Ore Polynomials over Fq(t)
-
P.Giorgi, C.P.Jeannerod, G.Villard:
On the complexity of polynomial matrix computations
-
J.Van Der Hoeven:
Relaxed multiplication using the middle product
-
E.Hubert, N.Le Roux:
Computing the power series solutions of a nonlinear PDE system
-
A.Hulpke , S.Linton:
Total ordering on subgroups and cosets
-
E.Kaltofen, J.May:
On approximate irreducibility of polynomials in several variables
-
W.Koepf:
Power Series, Bieberbach Conjecture and the de Branges and Weinstein Functions
-
V.Levandovskyy , H.Schönemann:
Plural - a computer algebra system for noncommutative polynomial algebras
-
S.McCallum:
On Order-Invariance of a Binomial Over a Nullifying Cell
-
E.L.Mansfield, A.Szanto:
Elimination theory for differential difference polynomials
-
L.Meunier , B.Salvy:
ESF: An Automatically Generated Encyclopedia of Special Functions
-
M.Minimair:
Factoring Sparse Resultants of Linearly Combined Polynomials
-
G.Reid, J.Tang, L.Zhi:
A Complete Symbolic-Numeric Linear Method for Camera Pose Determination
-
M.Safey El Din, E.Schost:
Polar varieties and computation of one point in
each connected component of a smooth real algebraic set
-
T.Sasaki:
The Subresultant and Close Roots
-
A.Seidl , T.Sturm:
A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition
-
T.Shaska:
Computing the automorphism group of hyperelliptic curves
-
U.Vollmer:
A note on the Hermite basis computation of large integer matrices
-
P.Wang, N.Kajler, Y.Zhou, X.Zou:
WME: Towards a Web for Mathematics Education
-
Z.Zeng:
Computing multiple roots of inexact polynomials