8. CASC 2005:
Kalamata,
Greece
Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (Eds.):
Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings.
Lecture Notes in Computer Science 3718 Springer 2005, ISBN 3-540-28966-6 BibTeX
- Sergei A. Abramov, Manuel Bronstein, D. E. Khmelnov:
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems.
1-12
Electronic Edition (link) BibTeX
- Saugata Basu, Michael Kettner:
Computing the Betti Numbers of Arrangements in Practice.
13-31
Electronic Edition (link) BibTeX
- I. N. Belyaeva, N. A. Chekanov, Alexander Gusev, V. A. Rostovtsev, Yu. A. Ukolov, Yoshio Uwano, Sergey I. Vinitsky:
A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method.
32-39
Electronic Edition (link) BibTeX
- Rudolf Berghammer, Frank Neumann:
RelView - An OBDD-Based Computer Algebra System for Relations.
40-51
Electronic Edition (link) BibTeX
- Mijail Borges-Quintana, Miguel A. Borges-Trenard, Edgar Martínez-Moro:
On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups.
52-64
Electronic Edition (link) BibTeX
- Alexander D. Bruno, Victor F. Edneral:
Normal Forms and Integrability of ODE Systems.
65-74
Electronic Edition (link) BibTeX
- Laurent Busé, Houssam Khalil, Bernard Mourrain:
Resultant-Based Methods for Plane Curves Intersection Problems.
75-92
Electronic Edition (link) BibTeX
- Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya:
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion.
93-104
Electronic Edition (link) BibTeX
- Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time.
105-114
Electronic Edition (link) BibTeX
- Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger:
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots.
115-124
Electronic Edition (link) BibTeX
- Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair:
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials.
125-137
Electronic Edition (link) BibTeX
- Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert:
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients.
138-149
Electronic Edition (link) BibTeX
- Ioannis Z. Emiris, Elias P. Tsigaridas:
Real Solving of Bivariate Polynomial Systems.
150-161
Electronic Edition (link) BibTeX
- Jesús Gago-Vargas, Maria Isabel Hartillo-Hermoso, Jose Maria Ucha-Enríquez:
Nouvelle Cuisine for the Computation of the Annihilating Ideal of fs.
162-173
Electronic Edition (link) BibTeX
- Vladimir P. Gerdt, Yuri A. Blinkov:
Janet-Like Monomial Division.
174-183
Electronic Edition (link) BibTeX
- Vladimir P. Gerdt, Yuri A. Blinkov:
Janet-Like Gröbner Bases.
184-195
Electronic Edition (link) BibTeX
- Domingo Gomez-Perez, Jaime Gutierrez, Álvar Ibeas:
Circulant Digraphs and Monomial Ideals.
196-207
Electronic Edition (link) BibTeX
- Rocío González-Díaz, Belén Medrano, Pedro Real, Javier Sánchez-Peláez:
Algebraic Topological Analysis of Time-Sequence of Digital Images.
208-219
Electronic Edition (link) BibTeX
- Laureano González-Vega, Carlo Traverso, Alberto Zanoni:
Hilbert Stratification and Parametric Gröbner Bases.
220-235
Electronic Edition (link) BibTeX
- E. A. Grebenicov, D. Kozak-Skoworodkin, M. Jakubiak:
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem.
236-243
Electronic Edition (link) BibTeX
- Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Yoshio Uwano, Sergey I. Vinitsky:
Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method.
244-258
Electronic Edition (link) BibTeX
- Valentin Irtegov, Tatyana Titorenko:
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid.
259-271
Electronic Edition (link) BibTeX
- Vladimir V. Kornyak:
On Compatibility of Discrete Relations.
272-284
Electronic Edition (link) BibTeX
- Christos Koukouvinos, E. Lappas:
Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems.
285-293
Electronic Edition (link) BibTeX
- Christos Kravvaritis, M. Mitrouli, Jennifer Seberry:
Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices.
294-305
Electronic Edition (link) BibTeX
- Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi:
Fast Verification for Respective Eigenvalues of Symmetric Matrix.
306-317
Electronic Edition (link) BibTeX
- Kosaku Nagasaka:
Towards More Accurate Separation Bounds of Empirical Polynomials II.
318-329
Electronic Edition (link) BibTeX
- David G. Richardson, Werner Krandick:
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.
330-343
Electronic Edition (link) BibTeX
- Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita:
Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies.
344-354
Electronic Edition (link) BibTeX
- Susanne Schmitt:
The Diamond Operator - Implementation of Exact Real Algebraic Numbers.
355-366
Electronic Edition (link) BibTeX
- Leonid Semin, Vasily Shapeev:
Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System.
367-378
Electronic Edition (link) BibTeX
- Alexander Shermenev:
Nonlinear Waves in a Rod.
379-386
Electronic Edition (link) BibTeX
- Liu Shu, Andreas Weber:
A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods.
387-398
Electronic Edition (link) BibTeX
- Sergey Slavyanov, Vladimir Papshev:
Differential and Difference Equations for Products of Classical Orthogonal Polynomials.
399-404
Electronic Edition (link) BibTeX
- Akhmadjon Soleev:
Algorithm of Local Resolution of Singularities of a Space Curve.
405-415
Electronic Edition (link) BibTeX
- Thomas Sturm:
Quantifier Elimination for Constraint Logic Programming.
416-430
Electronic Edition (link) BibTeX
- Akira Suzuki:
Computation of Full Comprehensive Gröbner Bases.
431-444
Electronic Edition (link) BibTeX
- Akira Terui:
Recursive Polynomial Remainder Sequence and the Nested Subresultants.
445-456
Electronic Edition (link) BibTeX
- S. Yu. Vernov:
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems.
457-468
Electronic Edition (link) BibTeX
- Volker Weispfenning:
Solving Linear Differential Problems with Parameters.
469-488
Electronic Edition (link) BibTeX
- Serguey Zemskov:
Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate.
489-500
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:00:26 2009
by Michael Ley (ley@uni-trier.de)
