Abstract is missing.
- Computable Infinite Power Series in the Role of Coefficients of Linear Differential SystemsSergei A. Abramov, Moulay A. Barkatou. 1-12 [doi]
- Relation Algebra, RelView, and Plurality VotingRudolf Berghammer. 13-27 [doi]
- An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy DataFrançois Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira. 28-43 [doi]
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular ChainsRussell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson. 44-58 [doi]
- Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by ValuesJorge Caravantes, Mario Fioravanti, Laureano González-Vega, Ioana Necula. 59-73 [doi]
- Finding a Deterministic Generic Position for an Algebraic Space CurveJin-San Cheng, Kai Jin. 74-84 [doi]
- Optimal Estimations of Seiffert-Type Means By Some Special Gini MeansIulia Costin, Gheorghe Toader. 85-98 [doi]
- CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson EquationGrigoriy M. Drozdov, Vasily P. Shapeev. 99-110 [doi]
- On Symbolic Solutions of Algebraic Partial Differential EquationsGeorg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler. 111-120 [doi]
- Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic StructuresAurelien Grolet, Philippe Malbos, Fabrice Thouverez. 121-137 [doi]
- Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite PolynomialsAlexander Gusev, Ochbadrakh Chuluunbaatar, Sergey I. Vinitsky, Vladimir Derbov, Andrzej Gózdz, Luong Le Hai, Vitaly Rostovtsev. 138-154 [doi]
- Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra ExperimentationStefan Gyürki, Mikhail Klin. 155-170 [doi]
- On the Parallelization of Subproduct Tree Techniques Targeting Many-Core ArchitecturesSardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza. 171-185 [doi]
- Deterministically Computing Reduction Numbers of Polynomial IdealsAmir Hashemi, Michael Schweinfurter, Werner M. Seiler. 186-201 [doi]
- A Note on Global Newton Iteration Over Archimedean and Non-Archimedean FieldsJonathan D. Hauenstein, Victor Y. Pan, Agnes Szántó. 202-217 [doi]
- Invariant Manifolds in the Classic and Generalized Goryachev-Chaplygin ProblemValentin Irtegov, Tatyana Titorenko. 218-229 [doi]
- Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra SystemsMaciej Janowicz, Arkadiusz Orlowski. 230-241 [doi]
- On the Computation of the Determinant of a Generalized Vandermonde MatrixTakuya Kitamoto. 242-255 [doi]
- Towards Conflict-Driven Learning for Virtual SubstitutionKonstantin Korovin, Marek Kosta, Thomas Sturm. 256-270 [doi]
- Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic InterpolationRyszard Kozera, Lyle Noakes, Piotr Szmielew. 271-285 [doi]
- Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordinary Differential EquationsRadoslaw Antoni Kycia. 286-301 [doi]
- Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk)Stefan Müller, Georg Regensburger. 302-323 [doi]
- Lie Symmetry Analysis for Cosserat RodsDominik Ludewig Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit Alexander Sobottka, Andreas G. Weber. 324-334 [doi]
- Real Polynomial Root-Finding by Means of Matrix and Polynomial IterationsVictor Y. Pan. 335-349 [doi]
- On Testing Uniqueness of Analytic Solutions of PDE with Boundary ConditionsSerge V. Paramonov. 350-356 [doi]
- Continuous Problems: Optimality, Complexity, Tractability (Invited Talk)Leszek Plaskota. 357-372 [doi]
- On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable MassesAlexander N. Prokopenya, Mukhtar Zh. Minglibayev, Baglan A. Beketauov. 373-387 [doi]
- Factoring Sparse Bivariate Polynomials Using the Priority QueueFatima K. Abu Salem, Khalil El-Harake, Karl Gemayel. 388-402 [doi]
- Solving Parametric Sparse Linear Systems by Local BlockingTateaki Sasaki, Daiju Inaba, Fujio Kako. 403-418 [doi]
- Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide StructuresLeonid A. Sevastyanov, Anton L. Sevastyanov, Anastasiya A. Tyutyunnik. 419-431 [doi]
- CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers EquationsVasily P. Shapeev, Evgenii V. Vorozhtsov. 432-446 [doi]
- An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology ClassTakafumi Shibuta, Shinichi Tajima. 447-459 [doi]
- Applications of the Newton Index to the Construction of Irreducible PolynomialsDoru Stefanescu. 460-471 [doi]
- Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive BarriersSergue I. Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Luong Le Hai, Andrzej Gózdz, Vladimir Derbov, Pavel Krassovitskiy. 472-490 [doi]
- Enumeration of Schur Rings Over Small GroupsMatan Ziv-Av. 491-500 [doi]