default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th CASC 2013: Berlin, Germany
- Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings. Lecture Notes in Computer Science 8136, Springer 2013, ISBN 978-3-319-02296-3 - Sergei A. Abramov
, Moulay A. Barkatou:
On the Dimension of Solution Spaces of Full Rank Linear Differential Systems. 1-9 - Danko Adrovic, Jan Verschelde:
Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem. 10-29 - Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. 30-45 - Pierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala:
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations. 46-60 - Andrew Arnold, Mark Giesbrecht, Daniel S. Roche:
Faster Sparse Interpolation of Straight-Line Programs. 61-74 - Alexander D. Bruno, Victor F. Edneral:
On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter. 75-87 - Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber:
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. 88-99 - Mickaël Gastineau, Jacques Laskar:
Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems. 100-115 - Vladimir P. Gerdt, Alexander N. Prokopenya:
Simulation of Quantum Error Correction with Mathematica. 116-129 - Andreas Griewank:
From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk). 130-135 - Dima Grigoriev:
Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees. 136-139 - Dima Grigoriev, Fritz Schwarz:
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations. 140-147 - Dima Grigoriev:
Complexity in Tropical Algebra (Invited Talk). 148-154 - Alexander Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Andrzej Gózdz, Evgenii Klimov:
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions. 155-168 - Sergey A. Gutnik, Vasily A. Sarychev:
Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics. 169-178 - Valentin Irtegov, Tatyana Titorenko:
On Stationary Sets of Euler's Equations on so(3, 1) and Their Stability. 179-193 - Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai:
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. 194-208 - Raphael Jolly:
Categories as Type Classes in the Scala Algebra System. 209-218 - Mikhail H. Klin, Matan Ziv-Av:
Enumeration of Schur Rings over the Group A 5. 219-230 - Gennadi I. Malaschonok:
Generalized Bruhat Decomposition in Commutative Domains. 231-242 - Lingchuan Meng, Jeremy Johnson:
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms. 243-256 - Kosaku Nagasaka, Takaaki Masui:
Extended QRGCD Algorithm. 257-272 - Victor Y. Pan:
Polynomial Evaluation and Interpolation and Transformations of Matrix Structures. 273-287 - Eugenio Roanes-Lozano, Eugenio Roanes-Macías:
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. 288-300 - Markus Rosenkranz, Nalina Phisanbut:
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. 301-314 - Tateaki Sasaki, Daiju Inaba, Fujio Kako:
Towards Industrial Application of Approximate Computer Algebra. 315-330 - Stefan Schirra:
A Note on Sekigawa's Zero Separation Bound. 331-339 - Dana Schlomiuk, Nicolae Vulpe:
Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems. 340-354 - Werner M. Seiler:
Singularities of Implicit Differential Equations and Static Bifurcations. 355-368 - Leonid A. Sevastianov, Alexander V. Zorin, Alexander Gorbachev:
A Quantum Measurements Model of Hydrogen-Like Atoms in Maple. 369-380 - Vasily P. Shapeev, Evgenii V. Vorozhtsov:
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes Equations. 381-392 - Doru Stefanescu:
Construction of Classes of Irreducible Bivariate Polynomials. 393-400 - Ehsan Ullah:
Algebraic Attacks Using IP-Solvers. 401-411 - Alexei Yu. Uteshev, Marina V. Yashina:
Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential Functions. 412-426 - Sergue I. Vinitsky, Alexander Gusev, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Pavel Krassovitskiy:
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers. 427-442
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 2026-04-11 00: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:
