default search action
16th CASC 2014: Warsaw, Poland
- Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings. Lecture Notes in Computer Science 8660, Springer 2014, ISBN 978-3-319-10514-7 - Sergei A. Abramov, Moulay A. Barkatou:
Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems. 1-12 - Rudolf Berghammer:
Relation Algebra, RelView, and Plurality Voting. 13-27 - François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira:
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. 28-43 - Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson:
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. 44-58 - Jorge Caravantes, Mario Fioravanti, Laureano González-Vega, Ioana Necula:
Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values. 59-73 - Jin-San Cheng, Kai Jin:
Finding a Deterministic Generic Position for an Algebraic Space Curve. 74-84 - Iulia Costin, Gheorghe Toader:
Optimal Estimations of Seiffert-Type Means By Some Special Gini Means. 85-98 - Grigoriy M. Drozdov, Vasily P. Shapeev:
CAS Application to the Construction of High-Order Difference Schemes for Solving Poisson Equation. 99-110 - Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler:
On Symbolic Solutions of Algebraic Partial Differential Equations. 111-120 - Aurelien Grolet, Philippe Malbos, Fabrice Thouverez:
Eigenvalue Method with Symmetry and Vibration Analysis of Cyclic Structures. 121-137 - Alexander Gusev, Ochbadrakh Chuluunbaatar, Sergey I. Vinitsky, Vladimir Derbov, Andrzej Gózdz, Luong Le Hai, Vitaly Rostovtsev:
Symbolic-Numerical Solution of Boundary-Value Problems with Self-adjoint Second-Order Differential Equation Using the Finite Element Method with Interpolation Hermite Polynomials. 138-154 - Stefan Gyürki, Mikhail H. Klin:
Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation. 155-170 - Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza:
On the Parallelization of Subproduct Tree Techniques Targeting Many-Core Architectures. 171-185 - Amir Hashemi, Michael Schweinfurter, Werner M. Seiler:
Deterministically Computing Reduction Numbers of Polynomial Ideals. 186-201 - Jonathan D. Hauenstein, Victor Y. Pan, Ágnes Szántó:
A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields. 202-217 - Valentin Irtegov, Tatyana Titorenko:
Invariant Manifolds in the Classic and Generalized Goryachev-Chaplygin Problem. 218-229 - Maciej Janowicz, Arkadiusz Orlowski:
Coherence and Large-Scale Pattern Formation in Coupled Logistic-Map Lattices via Computer Algebra Systems. 230-241 - Takuya Kitamoto:
On the Computation of the Determinant of a Generalized Vandermonde Matrix. 242-255 - Konstantin Korovin, Marek Kosta, Thomas Sturm:
Towards Conflict-Driven Learning for Virtual Substitution. 256-270 - Ryszard Kozera, Lyle Noakes, Piotr Szmielew:
Sharpness in Trajectory Estimation for Planar Four-points Piecewise-Quadratic Interpolation. 271-285 - Radoslaw Antoni Kycia:
Scheme for Numerical Investigation of Movable Singularities of the Complex Valued Solutions of Ordinary Differential Equations. 286-301 - Stefan Müller, Georg Regensburger:
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). 302-323 - Dominik Ludewig Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit Alexander Sobottka, Andreas G. Weber:
Lie Symmetry Analysis for Cosserat Rods. 324-334 - Victor Y. Pan:
Real Polynomial Root-Finding by Means of Matrix and Polynomial Iterations. 335-349 - Serge V. Paramonov:
On Testing Uniqueness of Analytic Solutions of PDE with Boundary Conditions. 350-356 - Leszek Plaskota:
Continuous Problems: Optimality, Complexity, Tractability (Invited Talk). 357-372 - Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Baglan A. Beketauov:
On Integrability of Evolutionary Equations in the Restricted Three-Body Problem with Variable Masses. 373-387 - Fatima K. Abu Salem, Khalil El-Harake, Karl Gemayel:
Factoring Sparse Bivariate Polynomials Using the Priority Queue. 388-402 - Tateaki Sasaki, Daiju Inaba, Fujio Kako:
Solving Parametric Sparse Linear Systems by Local Blocking. 403-418 - Leonid A. Sevastyanov, Anton L. Sevastyanov, Anastasiya A. Tyutyunnik:
Analytical Calculations in Maple to Implement the Method of Adiabatic Modes for Modelling Smoothly Irregular Integrated Optical Waveguide Structures. 419-431 - Vasily P. Shapeev, Evgenii V. Vorozhtsov:
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of the Burgers and Korteweg-de Vries-Burgers Equations. 432-446 - Takafumi Shibuta, Shinichi Tajima:
An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class. 447-459 - Doru Stefanescu:
Applications of the Newton Index to the Construction of Irreducible Polynomials. 460-471 - Sergue I. Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Luong Le Hai, Andrzej Gózdz, Vladimir Derbov, Pavel Krassovitskiy:
Symbolic-Numeric Algorithm for Solving the Problem of Quantum Tunneling of a Diatomic Molecule through Repulsive Barriers. 472-490 - Matan Ziv-Av:
Enumeration of Schur Rings Over Small Groups. 491-500
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.