Abstract is missing.
- Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk)Jean-Guillaume Dumas. 1-17 [doi]
- On Unimodular Matrices of Difference OperatorsSergei A. Abramov, D. E. Khmelnov. 18-31 [doi]
- Sparse Polynomial Arithmetic with the BPAS LibraryMohammadali Asadi, Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza. 32-50 [doi]
- Computation of Pommaret Bases Using SyzygiesBentolhoda Binaei, Amir Hashemi, Werner M. Seiler. 51-66 [doi]
- A Strongly Consistent Finite Difference Scheme for Steady Stokes Flow and its Modified EquationsYury A. Blinkov, Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels. 67-81 [doi]
- Symbolic-Numeric Methods for Nonlinear Integro-Differential ModelingFrançois Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière. 82-98 [doi]
- A Continuation Method for Visualizing Planar Real Algebraic Curves with SingularitiesChangbo Chen, Wenyuan Wu. 99-115 [doi]
- From Exponential Analysis to Padé Approximation and Tensor Decomposition, in One and More DimensionsAnnie A. M. Cuyt, Ferre Knaepkens, Wen-shin Lee. 116-130 [doi]
- Symbolic Algorithm for Generating the Orthonormal Bargmann-Moshinsky Basis for \mathrm SU(3) GroupA. Deveikis, A. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, Andrzej Gózdz, A. Pedrak. 131-145 [doi]
- About Some Drinfel'd AssociatorsGérard H. E. Duchamp, Vincel Hoang Ngoc Minh, Karol A. Penson. 146-163 [doi]
- On a Polytime Factorization Algorithm for Multilinear Polynomials over \mathbb F_2Pavel Emelyanov, Denis K. Ponomaryov. 164-176 [doi]
- Tropical Newton-Puiseux PolynomialsDima Grigoriev. 177-186 [doi]
- Orthogonal Tropical Linear PrevarietiesDima Grigoriev, Nicolai Vorobjov. 187-196 [doi]
- Symbolic-Numerical Algorithms for Solving Elliptic Boundary-Value Problems Using Multivariate Simplex Lagrange ElementsA. A. Gusev, Vladimir P. Gerdt, Ochbadrakh Chuluunbaatar, G. Chuluunbaatar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Pavel Krassovitskiy. 197-213 [doi]
- Symbolic-Numeric Simulation of Satellite Dynamics with Aerodynamic Attitude Control SystemSergey A. Gutnik, Vasily A. Sarychev. 214-229 [doi]
- Finding Multiple Solutions in Nonlinear Integer Programming with Algebraic Test-SetsMaria Isabel Hartillo-Hermoso, José Manuel Jiménez Cobano, J. M. Ucha. 230-237 [doi]
- Positive Solutions of Systems of Signed Parametric Polynomial InequalitiesHoon Hong, Thomas Sturm 0001. 238-253 [doi]
- Qualitative Analysis of a Dynamical System with Irrational First IntegralsValentin Irtegov, Tatiana Titorenko. 254-271 [doi]
- Effective Localization Using Double Ideal Quotient and Its ImplementationYuki Ishihara, Kazuhiro Yokoyama. 272-287 [doi]
- A Purely Functional Computer Algebra System Embedded in HaskellHiromi Ishii. 288-303 [doi]
- Splitting Permutation Representations of Finite Groups by Polynomial Algebra MethodsVladimir V. Kornyak. 304-318 [doi]
- Factoring Multivariate Polynomials with Many Factors and Huge CoefficientsMichael B. Monagan, Baris Tuncer. 319-334 [doi]
- Beyond the First Class of Analytic ComplexityTimur M. Sadykov. 335-344 [doi]
- A Theory and an Algorithm for Computing Sparse Multivariate Polynomial Remainder SequenceTateaki Sasaki. 345-360 [doi]
- A Blackbox Polynomial System Solver on Parallel Shared Memory ComputersJan Verschelde. 361-375 [doi]