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.