| 78 | -- | 83 | Amal Gheffar. q-difference homogeneous equations having no rational solutions |
| 84 | -- | 86 | Felix Antritter, Johannes Middeke. An efficient algorithm for checking hyper-regularity of matrices |
| 87 | -- | 88 | Dennis S. Arnon. A product information management system as a workbench for quantifier elimination computations with QEPCAD |
| 89 | -- | 90 | Andrew Arnold, Michael B. Monagan. A fast recursive algorithm for computing cyclotomic polynomials |
| 91 | -- | 92 | Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Wilhelm Plesken, Daniel Robertz. Thomas decomposition and its applications |
| 93 | -- | 94 | Isabel Bermejo, Ignacio García-Marco. An algorithm for checking whether a simplicial toric ideal is a complete intersection |
| 95 | -- | 96 | Johannes Blümlein, Sebastian Klein, Carsten Schneider, Flavia Stan. A symbolic summation approach to feynman integrals |
| 97 | -- | 98 | Changno Chen, Marc Moreno Maza, Yuzhen Xie. Cache complexity and multicore implementation for univariate real root isolation |
| 99 | -- | 100 | Muhammad F. I. Chowdhury, Marc Moreno Maza, Wei Pan, Éric Schost. Complexity and performance results for non FFT-based univariate polynomial multiplication |
| 101 | -- | 102 | Annie A. M. Cuyt, Wen-shin Lee. Reconstructing sparse trigonometric functions |
| 103 | -- | 104 | Xavier Dahan, Marc Moreno Maza, Éric Schost, Adrien Poteaux. Almost linear time operations with triangular sets |
| 105 | -- | 106 | Luca De Feo, Éric Schost. transalpyne: a language for automatic transposition |
| 107 | -- | 108 | Charles-Éric Drevet, Md. Nazrul Islam, Éric Schost. Optimization techniques for small matrix multiplication |
| 109 | -- | 110 | Burçin Eröcal, Arne Storjohann. Nullspace computation over rational function fields for symbolic summation |
| 111 | -- | 112 | Sardar Anisul Haque, Shahadat Hossain, Marc Moreno Maza. Cache friendly sparse matrix-vector multiplication |
| 113 | -- | 114 | Albert Heinle, Viktor Levandovskyy. Factorization of polynomials in Z-graded skew polynomial rings |
| 115 | -- | 0 | Christian Hellström. VarInt: variational integrator design with maple |
| 116 | -- | 117 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan. On sparse interpolation over finite fields |
| 118 | -- | 119 | Karen T. Kohl. An implementation of the method of brackets for symbolic integration |
| 120 | -- | 122 | Anja Korporal, Georg Regensburger, Markus Rosenkranz. A maple package for integro-differential operators and boundary problems |
| 123 | -- | 124 | Jae Hee Lee. Cylindrical algebraic decomposition for reasoning about qualitative spatial knowledge |
| 125 | -- | 126 | Viktor Levandovskyy. Non-commutative subsystems of singular |
| 127 | -- | 128 | Shuichi Moritsugu. Radius computation for an inscribed pentagon in Sanpou-Hakki (1690) |
| 129 | -- | 131 | Hiroshi Murakami. Sturm root counting using chebyshev expansion |
| 132 | -- | 135 | Nalina Phisanbut, Russell J. Bradford, James H. Davenport. Geometry of branch cuts |
| 136 | -- | 137 | Sonia L. Rueda. Linear differential implicitization and differential resultants |
| 138 | -- | 139 | Yannick Saouter. Heuristics for cannon's algorithm with an application to lyons sporadic group |
| 140 | -- | 141 | Yannick Saouter, Gérald Le Mestre. A FPGA implementation of Chen's algorithm |
| 142 | -- | 143 | Tateaki Sasaki, Fujio Kako. Computing floating-point Gröbner bases accurately |
| 144 | -- | 146 | Dana Schlomiuk, Nicolae Vulpe. Invariants and symbolic calculations in the theory of quadratic differential systems |
| 147 | -- | 148 | Hiroshi Sekigawa, Kiyoshi Shirayanagi. Solvability of bivariate polynomial systems under perturbation |
| 149 | -- | 150 | Ekaterina Shemyakova. Y -invariants for Darboux transformations |
| 151 | -- | 152 | Grischa Studzinski. Computation of dimensions of non-commutative algebras |
| 153 | -- | 155 | Akira Terui. GPGCD, an iterative method for calculating approximate GCD, for multiple univariate polynomials |
| 156 | -- | 157 | Flavia Stan. Algorithms for special functions: computer algebra and analytical aspects |
| 157 | -- | 159 | Colas Bardavid. Differential schemes: geometric approach and functorial approach |
| 160 | -- | 182 | Daniel E. Steffy. Exact solutions to linear systems of equations using output sensitive lifting |
| 183 | -- | 185 | Yongjae Cha, Mark van Hoeij, Giles Levy. Solving linear recurrence equations |
| 186 | -- | 189 | Felix Effenberger, Jonathan Spreer. simpcomp: a GAP toolbox for simplicial complexes |
| 190 | -- | 193 | Burçin Eröcal. Summation in finite terms using sage |
| 194 | -- | 197 | Mickaël Gastineau, Jacques Laskar. TRIP: a computer algebra system dedicated to celestial mechanics and perturbation series |
| 198 | -- | 200 | Madalina Hodorog, Bernard Mourrain, Josef Schicho. GENOM3CK: a library for genus computation of plane complex algebraic curves using knot theory |
| 201 | -- | 204 | Mohamed Barakat, Markus Lange-Hegermann. LocalizeRingForHomalg: localize commutative rings at maximal ideals |
| 205 | -- | 209 | Michael B. Monagan, Roman Pearce. Sparse polynomial multiplication and division in Maple 14 |
| 210 | -- | 212 | The SCIEnce project. Symbolic computation software composability protocol and its implementations |
| 213 | -- | 216 | The SCIEnce project. SymGrid-Par: parallel orchestration of symbolic computation systems |
| 217 | -- | 220 | Jan Verschelde. Polynomial homotopy continuation with PHCpack |