CASC B

28 papers

YearTitle / Authors
2006A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation.
I. N. Belyaeva, Nikolai A. Chekanov, Alexander Gusev, Vitaly Rostovtsev, Sergey I. Vinitsky
2006A Symbolic-Numeric Approach to Tube Modeling in CAD Systems.
Gerrit Sobottka, Andreas Weber
2006A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field.
Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky
2006Algorithmic Invariants for Alexander Modules.
Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, José María Ucha-Enríquez
2006Algorithms for Symbolic Polynomials.
Stephen M. Watt
2006Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem.
V. P. Borunov, Yu. A. Ryabov, O. V. Surkov
2006Cellular Automata with Symmetric Local Rules.
Vladimir V. Kornyak
2006Comparison Maps for Relatively Free Resolutions.
Víctor Álvarez, José Andrés Armario, María Dolores Frau, Pedro Real
2006Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings
Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
2006Efficient Preprocessing Methods for Quantifier Elimination.
Christopher W. Brown, Christian Gross
2006Inequalities on Upper Bounds for Real Polynomial Roots.
Doru Stefanescu
2006Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study.
Marco Bodrato, Alberto Zanoni
2006New Domains for Applied Quantifier Elimination.
Thomas Sturm
2006Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases.
Isroil A. Ikromov, Akhmadjon Soleev
2006Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem.
Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya
2006Numerical Study of Stability Domains of Hamiltonian Equation Solutions.
E. A. Grebenicov, Dorota Kozak-Skoworodkin, D. M. Diarova
2006On Connection Between Constructive Involutive Divisions and Monomial Orderings.
Alexander Semenov
2006On Decomposition of Tame Polynomials and Rational Functions.
Jaime Gutierrez, David Sevilla
2006On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions.
Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
2006Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations.
Natasha Malaschonok
2006Providing Modern Software Environments to Computer Algebra Systems.
Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov
2006Reducing Computational Costs in the Basic Perturbation Lemma.
Ainhoa Berciano, María José Jiménez, Pedro Real
2006Simplicial Perturbation Techniques and Effective Homology.
Rocío González-Díaz, Belén Medrano, Javier Sánchez-Peláez, Pedro Real
2006Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.
Rudolf Berghammer
2006Sudokus and Gröbner Bases: Not Only a
Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, Jorge Martín-Morales, José María Ucha-Enríquez
2006Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals.
A. Casian, R. Dusciac, V. Dusciac, V. Patsiuk
2006Testing Mersenne Primes with Elliptic Curves.
Song Y. Yan, Glyn James
2006The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem.
D. M. Diarova, N. I. Zemtsova