A New Algorithmic Scheme for Computing Characteristic Sets
A new conception for computing gröbner basis and its applications
A New General-Purpose Method to Multiply 3x3 Matrices Using Only 23 Multiplications
A Non-Holonomic Systems Approach to Special Function Identities
A note on Solving Parametric Polynomial Systems
A Note on the DQ Analysis of Anisotropic Plates
A novel approach to symbolic algebra
A polynomial time algorithm for computing the HNF of a module over the integers of a number field
A Proof of a Recursion for Bessel Moments
A recombination algorithm for the decomposition of multivariate rational functions
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations
A Refined Difference Field Theory for Symbolic Summation
A Sparse Flat Extension Theorem for Moment Matrices
A Symbolic Summation Approach to Feynman Integral Calculus
A Symbolic Summation Approach to Find Optimal Nested Sum Representations
A Unified Formal Description of Arithmetic and Set Theoretical Data Types
A Worst-case Bound for Topology Computation of Algebraic Curves
About the generalized LM-inverse and the weighted Moore-Penrose inverse
Abstracting Path Conditions