CASC B

36 papers

YearTitle / Authors
2014A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields.
Jonathan D. Hauenstein, Victor Y. Pan, Ágnes Szántó
2014An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class.
Takafumi Shibuta, Shinichi Tajima
2014An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data.
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira
2014Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures.
Leonid A. Sevastyanov, Anton L. Sevastyanov, Anastasiya A. Tyutyunnik
2014Applications of the Newton Index to the Construction of Irreducible Polynomials.
Doru Stefanescu
2014CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation.
Grigoriy M. Drozdov, Vasily P. Shapeev
2014CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers Equations.
Vasily P. Shapeev, Evgenii V. Vorozhtsov
2014Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Systems.
Maciej Janowicz, Arkadiusz Orlowski
2014Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems.
Sergei A. Abramov, Moulay A. Barkatou
2014Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
2014Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values.
Jorge Caravantes, Mario Fioravanti, Laureano González-Vega, Ioana Necula
2014Continuous Problems: Optimality, Complexity, Tractability (Invited Talk).
Leszek Plaskota
2014Deterministically Computing Reduction Numbers of Polynomial Ideals.
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
2014Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures.
Aurelien Grolet, Philippe Malbos, Fabrice Thouverez
2014Enumeration of Schur Rings Over Small Groups.
Matan Ziv-Av
2014Factoring Sparse Bivariate Polynomials Using the Priority Queue.
Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel
2014Finding a Deterministic Generic Position for an Algebraic Space Curve.
Jin-San Cheng, Kai Jin
2014Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk).
Stefan Müller, Georg Regensburger
2014Invariant Manifolds in the Classic and Generalized Goryachev-Chaplygin Problem.
Valentin Irtegov, Tatyana Titorenko
2014Lie Symmetry Analysis for Cosserat Rods.
Dominik Ludewig Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit Alexander Sobottka, Andreas G. Weber
2014On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses.
Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Baglan A. Beketauov
2014On Symbolic Solutions of Algebraic Partial Differential Equations.
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
2014On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions.
Serge V. Paramonov
2014On the Computation of the Determinant of a Generalized Vandermonde Matrix.
Takuya Kitamoto
2014On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures.
Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza
2014Optimal Estimations of Seiffert-Type Means By Some Special Gini Means.
Iulia Costin, Gheorghe Toader
2014Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations.
Victor Y. Pan
2014Relation Algebra, RelView, and Plurality Voting.
Rudolf Berghammer
2014Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordinary Differential Equations.
Radoslaw Antoni Kycia
2014Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation.
Ryszard Kozera, Lyle Noakes, Piotr Szmielew
2014Solving Parametric Sparse Linear Systems by Local Blocking.
Tateaki Sasaki, Daiju Inaba, Fujio Kako
2014Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation.
Stefan Gyürki, Mikhail H. Klin
2014Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive Barriers.
Sergue I. Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Luong Le Hai, Andrzej Gózdz, Vladimir Derbov, Pavel Krassovitskiy
2014Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite Polynomials.
Alexander Gusev, Ochbadrakh Chuluunbaatar, Sergey I. Vinitsky, Vladimir Derbov, Andrzej Gózdz, Luong Le Hai, Vitaly Rostovtsev
2014Towards Conflict-Driven Learning for Virtual Substitution.
Konstantin Korovin, Marek Kosta, Thomas Sturm
2014Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson