Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya |
Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 192-204, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001 |
New Domains for Applied Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 295-301, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gusev 0001, 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 Magnetic Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 205-218, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 109-128, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | A. Casian, R. Dusciac, V. Dusciac, V. Patsiuk |
Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 101-108, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Isroil A. Ikromov, Akhmadjon Soleev |
Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 227-239, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Malaschonok |
Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 251-260, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, Jorge Martín-Morales, José María Ucha-Enríquez |
Sudokus and Gröbner Bases: Not Only a Divertimento. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 155-165, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Sobottka, Andreas Weber 0004 |
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 279-283, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Kirchhoff rod, automatic differentiation, boundary value problems |
1 | V. P. Borunov, Yu. A. Ryabov, O. V. Surkov |
Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 77-88, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Gago-Vargas, María Isabel Hartillo-Hermoso, José María Ucha-Enríquez |
Algorithmic Invariants for Alexander Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 149-154, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Brown 0001, Christian Gross 0003 |
Efficient Preprocessing Methods for Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 89-100, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 3-540-45182-X The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov |
Providing Modern Software Environments to Computer Algebra Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 129-140, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
Algorithms for Symbolic Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 302, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer |
Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 49-63, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Semenov |
On Connection Between Constructive Involutive Divisions and Monomial Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 261-278, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | D. M. Diarova, N. I. Zemtsova |
The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 141-148, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Liu Shu, Andreas Weber 0004 |
A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 387-398, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David G. Richardson, Werner Krandick |
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 330-343, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer, 3-540-28966-6 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander D. Bruno, Victor F. Edneral |
Normal Forms and Integrability of ODE Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 65-74, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Volker Weispfenning |
Solving Linear Differential Problems with Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 469-488, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 162-173, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Domingo Gómez-Pérez, Jaime Gutierrez 0001, Álvar Ibeas |
Circulant Digraphs and Monomial Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 196-207, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Shermenev |
Nonlinear Waves in a Rod. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 379-386, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Leonid Semin, Vasily P. Shapeev |
Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 367-378, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi |
Fast Verification for Respective Eigenvalues of Symmetric Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 306-317, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert |
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 138-149, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Busé, Houssam Khalil, Bernard Mourrain |
Resultant-Based Methods for Plane Curves Intersection Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 75-92, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Sturm 0001 |
Quantifier Elimination for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 416-430, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Schmitt |
The Diamond Operator - Implementation of Exact Real Algebraic Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 355-366, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Akhmadjon Soleev |
Algorithm of Local Resolution of Singularities of a Space Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 405-415, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christos Koukouvinos, E. Lappas |
Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 285-293, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Frank Neumann 0001 |
RelView - An OBDD-Based Computer Algebra System for Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 40-51, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Yuri A. Blinkov |
Janet-Like Monomial Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 174-183, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | S. Yu. Vernov |
Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 457-468, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Serguey Zemskov |
Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 489-500, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Manuel Bronstein, Denis E. Khmelnov |
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 1-12, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gusev 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 244-258, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Akira Terui |
Recursive Polynomial Remainder Sequence and the Nested Subresultants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 445-456, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Saugata Basu, Michael Kettner |
Computing the Betti Numbers of Arrangements in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 13-31, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 344-354, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Metamorphic Petrology, Expert Systems, Computer Algebra Systems |
1 | Ioannis Z. Emiris, Elias P. Tsigaridas |
Real Solving of Bivariate Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 150-161, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair |
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 125-137, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Akira Suzuki |
Computation of Full Comprehensive Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 431-444, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Kornyak |
On Compatibility of Discrete Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 272-284, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
Towards More Accurate Separation Bounds of Empirical Polynomials II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 318-329, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | E. A. Grebenicov, Dorota Kozak-Skoworodkin, M. Jakubiak |
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 236-243, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | I. N. Belyaeva, Nikolai A. Chekanov, Alexander Gusev 0001, 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 32-39, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christos Kravvaritis, Marilena Mitrouli, Jennifer Seberry |
Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 294-305, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
complete pivoting, weighing matrices, symbolic computation, Gaussian elimination, growth |
1 | Dmytro Chibisov, Victor G. Ganzha, Sergey Pankratov, Christoph Zenger 0001 |
Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 115-124, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 52-64, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 105-114, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatyana Titorenko |
On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 259-271, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya |
Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 93-104, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Yuri A. Blinkov |
Janet-Like Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 184-195, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Laureano González-Vega, Carlo Traverso, Alberto Zanoni |
Hilbert Stratification and Parametric Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 220-235, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Gröbner bases, Hilbert function, Specialization |
1 | Sergey Slavyanov, Vladimir Papshev |
Differential and Difference Equations for Products of Classical Orthogonal Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 399-404, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rocío González-Díaz, Belén Medrano, Pedro Real 0001, Javier Sánchez-Peláez |
Algebraic Topological Analysis of Time-Sequence of Digital Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 208-219, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Kornyak |
A New Algorithm for Computing Cohomologies of Lie Superalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 391-398, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michal Mnuk |
Representing Graph Properties by Polynomial Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 431-444, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Isolde Mazzucco |
SYMOPT: Symbolic Parametric Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 417-429, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov |
GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 213-232, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich |
Construction of Janet Bases II. Polynomial Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 249-263, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luisa M. Camacho, J. R. Gómez, R. M. Navarro, I. Rodríguez |
Mathematica and Nilpotent Lie Superalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 91-105, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Barakat |
Jets. A Maple-Package for Formal Differential Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 1-12, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jay Belanger, Marcus Hausdorf, Werner M. Seiler |
A MuPAD Library for Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 25-42, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita |
A Method of Logic Deduction and Verification in KBS Using Positive Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 461-475, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | María José Jiménez 0001, Pedro Real 0001 |
"Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 347-361, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bayer |
Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 13-23, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Raya Khanin |
A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 377-390, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gani E. Ergashev, Ulugbek H. Narzullaev |
Recurrence Functions and Numerical Characteristics of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 187-194, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Victor G. Ganzha, Ernst Wilhelm Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![Springer Berlin Heidelberg, 978-3-642-56666-0 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gusev 0001, Valentin Samoylov, Vitaly Rostovtsev, Sergey I. Vinitsky |
Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 309-322, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Südland, Gerd Baumann, Theo F. Nonnenmacher |
Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 513-528, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatyana Titorenko |
Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 339-346, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Akhmadjon Soleev, Adizjon S. Barotov |
The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 491-498, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Larissa Bourlakova |
On the Stability of Steady Motions of Solar-Sail Satellite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 75-82, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | C. F. Cid, Wilhelm Plesken |
Invariants of Finite Groups and Involutive Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 123-135, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppa Carrà Ferro, Valentina Marotta |
Neighborhoods of an Ordinary Linear Differential Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 107-121, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Farida Benmakrouha, Christiane Hespel, Gérard Jacob, Edouard Monnier |
Algebraic Identification Algorithm and Application to Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 43-61, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jesus Espinola, Laureano González-Vega, Ioana Necula |
Algebraic Methods for Sectioning Parametric Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 283-295, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Engelmann, Gerd Baumann |
An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 177-186, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Shermenev |
Progressive Long Waves on a Slope (A New Solution to the Euler Equation?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 477-489, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bülent Karasözen, Vyacheslav Tsybulin |
Conservative Finite Difference Schemes for Cosymmetric Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 363-375, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii A. Grebenikov |
The Methods of Computer Algebra and the Arnold-Moser Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 297-308, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Serguei P. Tsarev |
Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 529-539, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hans J. Stetter |
Algebraic Predicates for Empirical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 499-512, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Volker Weispfenning |
Semilinear Motion Planning Among Moving Objects in REDLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 541-553, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Pérez-Díaz, Juan Rafael Sendra |
Parametric G1-Blending of Several Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 445-459, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Roman E. Mäder |
Parallel Computing with Mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 399, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Dolzmann, Thomas Sturm 0001 |
Parametric Systems of Linear Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 149-166, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vasiliy V. Bublik |
Application of Computer Algebra for Investigation of Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 83-89, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich |
Construction of Janet Bases I. Monomial Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 233-247, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alan Stanton Deakin, H. Rasmussen |
Symbolic Computation and Boundary Conditions for the Wave Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 137-147, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Anna Gambin, Piotr Pokarowski |
A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 195-211, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Botana, José L. Valcarce |
Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 63-74, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gennadi I. Malaschonok |
Solution of Systems of Linear Diophantine Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 401-415, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Victor F. Edneral |
Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001., pp. 167-175, 2001, Springer Berlin Heidelberg, 978-3-642-56666-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|