Abstract is missing.
- Validated Numerics: Algorithms and Practical Applications in AerospaceMioara Joldes. 1-2 [doi]
- On the Complexity of Symbolic ComputationJoris van der Hoeven. 3-12 [doi]
- Non-commutative Optimization - Where Algebra, Analysis and Computational Complexity MeetAvi Wigderson. 13-19 [doi]
- Solving Sparse Polynomial Systems using Gröbner Bases and ResultantsMatías R. Bender. 21-30 [doi]
- Sparse Matrices Powering Three Pillars of Science: Simulation, Data, and LearningAydin Buluç. 31 [doi]
- Applications of Computer Algebra to Parameter Analysis of Dynamical SystemsNathalie Verdière, Sébastien Orange. 33-38 [doi]
- On Linear Dependence of Rows and Columns in Matrices over Non-commutative DomainsSergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko. 39-43 [doi]
- Simple C2-finite Sequences: a Computable Generalization of C-finite SequencesPhilipp Nuspl, Veronika Pillwein. 45-53 [doi]
- Reduction with Respect to the Effective Order and a New Type of Dimension Polynomials of Difference ModulesAlexander Levin. 55-62 [doi]
- Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEsSebastian Falkensteiner. 63-71 [doi]
- Symbolic-Numeric Factorization of Differential OperatorsFrédéric Chyzak, Alexandre Goyer, Marc Mezzarobba. 73-82 [doi]
- Guessing with Little DataManuel Kauers, Christoph Koutschan. 83-90 [doi]
- Order-Degree-Height Surfaces for Linear OperatorsHui Huang, Manuel Kauers, Gargi Mukherjee. 91-99 [doi]
- Algorithms for Discrete Differential Equations of Order 1Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din. 101-110 [doi]
- Desingularization and p-Curvature of Recurrence OperatorsYi Zhou, Mark van Hoeij. 111-118 [doi]
- On Realizing Differential-Algebraic Equations by Rational Dynamical SystemsDmitrii Pavlov, Gleb Pogudin. 119-128 [doi]
- On the Computation of the Zariski Closure of Finitely Generated Groups of MatricesKlara Nosan, Amaury Pouly, Sylvain Schmitz, Mahsa Shirmohammadi, James Worrell 0001. 129-138 [doi]
- Beyond Worst-Case Analysis for Root Isolation AlgorithmsAlperen Ali Ergür, Josué Tonelli-Cueto, Elias P. Tsigaridas. 139-148 [doi]
- Local Polynomial Factorisation: Improving the Montes AlgorithmAdrien Poteaux, Martin Weimann. 149-157 [doi]
- Linear Hensel Lifting for Zp[x, y] for n Factors with Cubic CostMichael B. Monagan, Garrett Paluck. 159-166 [doi]
- Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant PolynomialsThi Xuan Vu. 167-175 [doi]
- The GKR Protocol Revisited: Nearly Optimal Prover-Complexity for Polynomial-Time Wiring Algorithms and for Primality Testing in n1/2+o(1) RoundsErich L. Kaltofen. 177-186 [doi]
- Average Complexity of Matrix Reduction for Clique FiltrationsBarbara Giunti, Guillaume Houry, Michael Kerber. 187-196 [doi]
- Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder SequencesFrançois Morain. 197-205 [doi]
- Random Primes without Primality TestingPascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche. 207-215 [doi]
- Rational Univariate Representation of Zero-Dimensional Ideals with ParametersDingKang Wang, Jingjing Wei, Fanghui Xiao, Xiaopeng Zheng. 217-224 [doi]
- Border Basis Computation with Gradient-Weighted NormalizationHiroshi Kera. 225-234 [doi]
- Finding Nontrivial Zeros of Quadratic Forms over Rational Function Fields of Characteristic 2Péter Kutas, Mickaël Montessinos, Gergely Zábrádi, Tímea Csahók. 235-244 [doi]
- Modeling Complex Root Motion of Real Random Polynomials under DifferentiationAndré Galligo. 245-253 [doi]
- Bounding the Number of Roots of Multi-Homogeneous SystemsEvangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos. 255-262 [doi]
- Marginal Independence ModelsTobias Boege, Sonja Petrovic, Bernd Sturmfels. 263-271 [doi]
- On the Error of Random Sampling: Uniformly Distributed Random Points on Parametric CurvesApostolos Chalkis, Christina Katsamaki, Josué Tonelli-Cueto. 273-282 [doi]
- A Greedy Approach to the Canny-Emiris FormulaCarles Checa, Ioannis Z. Emiris. 283-291 [doi]
- Exponent Equations in HNN-extensionsMichael Figelius, Markus Lohrey. 293-301 [doi]
- Computing a Basis for an Integer Lattice: A Special CaseHaomin Li, Arne Storjohann. 303-310 [doi]
- Existence of Quantum Symmetries for Graphs on Up to Seven Vertices: A Computer based ApproachViktor Levandovskyy, Christian Eder, Andreas Steenpass, Simon Schmidt, Julien Schanz, Moritz Weber. 311-318 [doi]
- Solving Sums of Squares in Global FieldsPrzemyslaw Koprowski. 319-324 [doi]
- Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian CoefficientsVictor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu. 325-332 [doi]
- Rado Numbers and SAT ComputationsYuan Chang, Jesús A. De Loera, William J. Wesley. 333-342 [doi]
- A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix FactorizationsDong Lu, DingKang Wang, Fanghui Xiao, Xiaopeng Zheng. 343-350 [doi]
- Rank-Sensitive Computation of the Rank Profile of a Polynomial MatrixGeorge Labahn, Vincent Neiger, Thi Xuan Vu, Wei Zhou 0029. 351-360 [doi]
- Bohemian Matrix GeometryRobert M. Corless, George Labahn, Dan Piponi, Leili Rafiee Sevyeri. 361-370 [doi]
- Explicit Bounds for Linear Forms in the Exponentials of Algebraic NumbersCheng-Chao Huang. 371-379 [doi]
- The Membership Problem for Hypergeometric Sequences with Rational ParametersKlara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell 0001. 381-389 [doi]
- Enumerating Denumerable Sets in Polynomial Time via the Schröder-Bernstein TheoremReinhold Burger. 391-398 [doi]
- Finer Complexity Estimates for the Change of Ordering of Gröbner Bases for Generic Symmetric Determinantal IdealsAndrew Ferguson, Huu Phuoc Le. 399-407 [doi]
- Faster Change of Order Algorithm for Gröbner Bases under Shape and Stability AssumptionsJérémy Berthomieu, Vincent Neiger, Mohab Safey El Din. 409-418 [doi]
- A Degroebnerization Approach to Algebraic StatisticsMichela Ceria, Ferdinando Mora. 419-428 [doi]
- Algorithms for Testing Membership in Univariate Quadratic Modules over the RealsWeifeng Shang, Chenqi Mou, Deepak Kapur. 429-437 [doi]
- Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic GeometryDamien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger. 439-448 [doi]
- Fast High-Resolution Drawing of Algebraic CurvesNuwan Herath Mudiyanselage, Guillaume Moroz, Marc Pouget. 449-458 [doi]
- Sparse Polynomial Interpolation and Division in Soft-linear TimePascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche. 459-468 [doi]
- Sparse Polynomial Hermite InterpolationErich L. Kaltofen. 469-478 [doi]
- Modular Techniques for Intermediate Primary DecompositionYuki Ishihara. 479-487 [doi]
- On Polynomial Ideals and Overconvergence in Tate AlgebrasXavier Caruso, Tristan Vaccon, Thibaut Verron. 489-497 [doi]
- Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using MapleFrançois Ollivier. 499-507 [doi]
- An Algebraic Version of the Sum-of-disjoint-products Method for Multi-state System Reliability AnalysisRodrigo Iglesias, Patricia Pascual-Ortigosa, Eduardo Sáenz-de-Cabezón. 509-516 [doi]
- Stability Problems in Symbolic IntegrationShaoshi Chen. 517-524 [doi]
- Mahler Discrete Residues and Summability for Rational FunctionsCarlos E. Arreche, Yi Zhang 0088. 525-533 [doi]