Towards a diagrammatic modeling of the LinBox C++ linear algebra library
Towards a New ODE Solver Based on Cartan's Equivalence Method
Towards a Symbolic-Numeric Method to Compute Puiseux Series: The Modular Part
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