default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th CASC 2015: Aachen, Germany
- Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler
, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings. Lecture Notes in Computer Science 9301, Springer 2015, ISBN 978-3-319-24020-6 - Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko:
Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients. 1-14 - Mario Albert, Matthias Fetzer, Werner M. Seiler:
Janet Bases and Resolutions in CoCoALib. 15-29 - Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza:
Regular Chains under Linear Changes of Coordinates and Applications. 30-44 - Parisa Alvandi, Marc Moreno Maza, Éric Schost, Paul Vrbik:
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve. 45-60 - Andrei V. Banshchikov:
Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling. 61-71 - Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha:
A New Approach for Computing Regular Solutions of Linear Difference Systems. 72-86 - Nathan Bliss, Jeff Sommars, Jan Verschelde, Xiangcheng Yu:
Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation. 87-100 - François Boulier, François Lemaire:
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. 101-118 - Changbo Chen, Marc Moreno Maza:
Simplification of Cylindrical Algebraic Formulas. 119-134 - Alexandra Goeke, Sebastian Walcher, Eva Zerz:
Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra. 135-151 - Dima Grigoriev:
Polynomial Complexity Recognizing a Tropical Linear Variety. 152-157 - Dima Grigoriev, Fritz Schwarz:
Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations. 158-165 - A. A. Gusev, Vladimir P. Gerdt, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Aleksandra Pedrak:
Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group. 166-181 - Alexander Gusev, Luong Le Hai, Ochbadrakh Chuluunbaatar, Vandandoo Ulziibayar, Sergey I. Vinitsky, V. L. Derbov, Andrzej Gózdz, Vitaly Rostovtsev:
Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States. 182-197 - Sergey A. Gutnik, Anna Guerman, Vasily A. Sarychev:
Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite. 198-209 - Aaron Herman, Elias P. Tsigaridas:
Bounds for the Condition Number of Polynomials Systems with Integer Coefficients - (Invited Talk). 210-219 - Valentin Irtegov, Tatiana Titorenko:
On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields. 220-232 - Maciej Janowicz, Joanna Kaleta, Filip Krzyzewski, Marian Rusek, Arkadiusz Orlowski:
Homotopy Analysis Method for Stochastic Differential Equations with Maxima. 233-244 - Kai Jin, Jin-San Cheng, Xiao-Shan Gao:
On the Topology and Visualization of Plane Algebraic Curves. 245-259 - Ryszard Kozera, Lyle Noakes:
Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data. 260-274 - Heinz Kredel:
Parametric Solvable Polynomial Rings and Applications. 275-291 - Gennadi I. Malaschonok, Anton Scherbinin:
Triangular Decomposition of Matrices in a Domain. 292-306 - Alexander Maletzky:
Automated Reasoning in Reduction Rings Using the Theorema System. 307-321 - Dominik Ludewig Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit Alexander Sobottka, Andreas G. Weber:
On the Partial Analytical Solution of the Kirchhoff Equation. 322-333 - Katsusuke Nabeshima, Shinichi Tajima:
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases. 334-348 - Victor Y. Pan, Liang Zhao:
Polynomial Real Root Isolation by Means of Root Radii Approximation. 349-360 - Victor Y. Pan, Liang Zhao:
Randomized Circulant and Gaussian Pre-processing. 361-375 - Veronika Pillwein:
Symbolic Computation and Finite Element Methods - (Invited Talk). 376-390 - Alexander N. Prokopenya:
Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation. 391-405 - Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger:
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. 406-423 - Satya Swarup Samal, Dima Grigoriev, Holger Fröhlich, Ovidiu Radulescu:
Analysis of Reaction Network Systems Using Tropical Geometry. 424-439 - Zhikun She, Dan Song, Meilun Li:
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. 440-456 - Doru Stefanescu:
A New Polynomial Bound and Its Efficiency. 457-467 - Alexei Yu. Uteshev, Marina V. Yashina:
Distance Evaluation Between an Ellipse and an Ellipsoid. 468-478 - Ngoc Thieu Vo, Franz Winkler:
Algebraic General Solutions of First Order Algebraic ODEs. 479-492
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.
last updated on 2024-10-07 01:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
