default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th CASC 2005: Kalamata, Greece
- Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
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 - Sergei A. Abramov
, Manuel Bronstein, Denis E. Khmelnov:
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems. 1-12 - Saugata Basu, Michael Kettner:
Computing the Betti Numbers of Arrangements in Practice. 13-31 - I. N. Belyaeva, Nikolai 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 - Rudolf Berghammer, Frank Neumann:
RelView - An OBDD-Based Computer Algebra System for Relations. 40-51 - 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 - Alexander D. Bruno, Victor F. Edneral:
Normal Forms and Integrability of ODE Systems. 65-74 - Laurent Busé, Houssam Khalil, Bernard Mourrain:
Resultant-Based Methods for Plane Curves Intersection Problems. 75-92 - Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya:
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion. 93-104 - Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time. 105-114 - Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger:
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. 115-124 - Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair:
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. 125-137 - Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert:
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. 138-149 - Ioannis Z. Emiris, Elias P. Tsigaridas:
Real Solving of Bivariate Polynomial Systems. 150-161 - Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, José María Ucha-Enríquez:
Nouvelle Cuisine for the Computation of the Annihilating Ideal of fs. 162-173 - Vladimir P. Gerdt, Yuri A. Blinkov:
Janet-Like Monomial Division. 174-183 - Vladimir P. Gerdt, Yuri A. Blinkov:
Janet-Like Gröbner Bases. 184-195 - Domingo Gómez-Pérez, Jaime Gutierrez, Álvar Ibeas:
Circulant Digraphs and Monomial Ideals. 196-207 - 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 - Laureano González-Vega, Carlo Traverso, Alberto Zanoni:
Hilbert Stratification and Parametric Gröbner Bases. 220-235 - E. A. Grebenicov, Dorota Kozak-Skoworodkin, M. Jakubiak:
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem. 236-243 - 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 - Valentin Irtegov, Tatyana Titorenko:
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. 259-271 - Vladimir V. Kornyak:
On Compatibility of Discrete Relations. 272-284 - Christos Koukouvinos, E. Lappas:
Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems. 285-293 - Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry:
Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices. 294-305 - Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi:
Fast Verification for Respective Eigenvalues of Symmetric Matrix. 306-317 - Kosaku Nagasaka:
Towards More Accurate Separation Bounds of Empirical Polynomials II. 318-329 - David G. Richardson, Werner Krandick:
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. 330-343 - Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita:
Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. 344-354 - Susanne Schmitt:
The Diamond Operator - Implementation of Exact Real Algebraic Numbers. 355-366 - Leonid Semin, Vasily P. Shapeev:
Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. 367-378 - Alexander Shermenev:
Nonlinear Waves in a Rod. 379-386 - Liu Shu, Andreas Weber:
A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods. 387-398 - Sergey Slavyanov, Vladimir Papshev:
Differential and Difference Equations for Products of Classical Orthogonal Polynomials. 399-404 - Akhmadjon Soleev:
Algorithm of Local Resolution of Singularities of a Space Curve. 405-415 - Thomas Sturm:
Quantifier Elimination for Constraint Logic Programming. 416-430 - Akira Suzuki:
Computation of Full Comprehensive Gröbner Bases. 431-444 - Akira Terui:
Recursive Polynomial Remainder Sequence and the Nested Subresultants. 445-456 - S. Yu. Vernov:
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems. 457-468 - Volker Weispfenning:
Solving Linear Differential Problems with Parameters. 469-488 - Serguey Zemskov:
Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate. 489-500
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.
last updated on 2024-09-28 01:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
