


default search action
12th CASC 2010: Tsakhkadzor, Armenia
- Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr

, Evgenii V. Vorozhtsov:
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

, Amal Gheffar, Denis 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
, Vladislav 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, Yuri 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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














