default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th CASC 2007: Bonn, Germany
- Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings. Lecture Notes in Computer Science 4770, Springer 2007, ISBN 978-3-540-75186-1 - Sergei A. Abramov, Marko Petkovsek:
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation. 1-10 - Alkiviadis G. Akritas, Gennadi I. Malaschonok:
Computations in Modules over Commutative Domains. 11-23 - Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas:
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. 24-30 - Werner Backes, Susanne Wetzel:
An Efficient LLL Gram Using Buffered Transformations. 31-44 - Ainhoa Berciano, María José Jiménez, Pedro Real
:
On the Computation of Ainfinity-Maps. 45-57 - Rudolf Berghammer, Gunther Schmidt:
Algebraic Visualization of Relations Using RelView. 58-72 - Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan:
Comprehensive Triangular Decomposition. 73-101 - Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov:
Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations. 102-117 - Ochbadrakh Chuluunbaatar, Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky:
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates. 118-133 - Victor F. Edneral:
An Algorithm for Construction of Normal Forms. 134-142 - Stephan Fritzsche:
Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. 143-144 - Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii:
Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases. 145-159 - Nikita Gogin, Aleksandr Mylläri:
On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game. 160-168 - Evgenii A. Grebenikov, Dorota Kozak-Skoworodkin, N. I. Zemtsova:
Properties of the Liapunov Stability Zones of the Lagrange Triangle. 169-180 - Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya:
Studying the Stability of the Second Order Non-autonomous Hamiltonian System. 181-194 - Valentin Irtegov, Tatyana Titorenko:
On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems. 195-210 - Maki Iwami:
A Unified Algorithm for Multivariate Analytic Factorization. 211-223 - Takuya Kitamoto, Tetsu Yamaguchi:
On the Computation of the Defining Polynomial of the Algebraic Riccati Equation. 224-235 - Vladimir V. Kornyak:
Symmetries and Dynamics of Discrete Systems. 236-251 - N. A. Kostov, Z. T. Kostova:
Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients. 252-264 - Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth:
Dynamics of Nonlinear Parabolic Equations with Cosymmetry. 265-274 - Aless Lasaruk, Thomas Sturm:
Weak Integer Quantifier Elimination Beyond the Linear Case. 275-294 - Michael B. Monagan, Roman Pearce:
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors. 295-315 - Kosaku Nagasaka:
Ruppert Matrix as Subresultant Mapping. 316-327 - Ulugbek Kh. Narzullaev, Akmal R. Akhatov, Olim I. Jumanov:
Construction of Computer System for Microobjects Recognition Based on Neural Networks. 328-338 - Juan Ospina, Mario Vélez:
Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra. 339-349 - Wilhelm Plesken, Daniel Robertz:
Some Elimination Problems for Matrices. 350-359 - Ekaterina Shemyakova, Franz Winkler:
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. 360-369 - Daniel Esteban Sierra Sosa:
Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple. 370-376 - Doru Stefanescu:
Bounds for Real Roots and Applications to Orthogonal Polynomials. 377-391 - Alexei Yu. Uteshev, Marina V. Yashina:
Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n . 392-401 - Volker Weispfenning:
Robust Stability for Parametric Linear ODEs. 402-422 - Franz Winkler, Ekaterina Shemyakova:
Symbolic and Algebraic Methods for Linear Partial Differential Operators. 423 - Song Y. Yan, Carsten Maple, Glyn James:
A New Scheme for Deniable/Repudiable Authentication. 424-432 - Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto:
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. 433-447 - Anna Deytseva:
On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application. 448-457
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 2026-04-25 00:23 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:
