12. CASC 2010:
Tsakhkadzor,
Armenia
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (Eds.):
Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings.
Lecture Notes in Computer Science 6244 Springer 2010, ISBN 978-3-642-15273-3 
- Sergey Abrahamyan:
Construction of Irreducible Polynomials over Finite Fields.
1-3
- Sergei A. Abramov, A. Gheffar, D. E. Khmelnov:
Factorization of Polynomials and GCD Computations for Finding Universal Denominators.
4-18
- Serge N. Andrianov:
A Role of Symbolic Computations in Beam Physics.
19-30
- Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz:
Thomas Decomposition of Algebraic and Differential Systems.
31-54
- Paula Bustillo, Jaime Gutierrez:
On Multivariate Homogeneous Polynomial Decomposition.
55-60
- Manuel Ceballos, Juan Núñez, Ángel F. Tenorio:
Computing Matrix Representations of Filiform Lie Algebras.
61-72
- Laurentiu Dragan, Stephen M. Watt:
Type Specialization in Aldor.
73-84
- Ambedkar Dukkipati, Joel George Manathara:
An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models.
85-96
- Victor F. Edneral, Valery G. Romanovski:
On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point.
97-105
- A. A. Gusev, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev, Sergey I. Vinitsky, V. L. Derbov, V. V. Serov:
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models.
106-122
- Valentin Irtegov, Tatyana Titorenko:
On Reduction of Lagrange Systems.
123-133
- G. A. Kalugin, D. J. Jeffrey:
Series Transformations to Improve and Extend Convergence.
134-147
- Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov:
Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems.
148-161
- Heinz Kredel, Raphael Jolly:
Generic, Type-Safe and Object Oriented Computer Algebra Software.
162-177
- Oleg Lobachev, Rita Loogen:
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden.
178-193
- Gennadi I. Malaschonok:
Fast Generalized Bruhat Decomposition.
194-202
- H. Marandjian, Yu. Shoukourian:
Computational Science in Armenia (Invited Talk).
203
- Ernst W. Mayr:
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk).
204
- Winfried Neun, Thomas Sturm, Stefan Vigerske:
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests.
205-219
- Tateaki Sasaki, Fujio Kako:
Term Cancellations in Computing Floating-Point Gröbner Bases.
220-231
- S. Yu. Slavyanov:
One Class of Third-Order Linear ODE's.
232-237
- Akira Terui:
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials.
238-249
- Evgenii V. Vorozhtsov:
Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions.
250-266
- Andreas Weber, Thomas Sturm, Werner M. Seiler, Essam O. Abdel-Rahman:
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk).
267-279
- Serguey V. Zemskov, Henk M. Jonkers, Fred J. Vermolen:
An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete.
280-292
- Christoph Zengler, Wolfgang Küchlin:
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases.
293-302
Last update Tue May 22 23:23:19 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
