Towards an exact adaptive algorithm for the determinant of a rational matrix

Trading Order for Degree in Creative Telescoping

Triangular Decomposition of Semi-algebraic Systems

Tropical Implicitization and Mixed Fiber Polytopes

Twenty-Five Moves Suffice for Rubik's Cube

Two Algorithms for Solving A General Backward Pentadiagonal Linear Systems

Unary Primitive Recursive Functions

Unification modulo a partial theory of exponentiation

Unirational fields of transcendence degree one and functional decomposition

Univariate polynomial real root isolation: Continued Fractions revisited

Univariate real root isolation in an extension field

Weak Bezout inequality for D-modules

When can we decide that a P-finite sequence is positive?

When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial

xPerm: fast index canonicalization for tensor computer algebra

Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems