default search action
CASC 2001: Konstanz, Germany
- Victor G. Ganzha, Ernst Wilhelm Mayr, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001. Springer Berlin Heidelberg 2001, ISBN 978-3-642-56666-0 - Mohamed Barakat:
Jets. A Maple-Package for Formal Differential Geometry. 1-12 - Thomas Bayer:
Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys. 13-23 - Jay Belanger, Marcus Hausdorf, Werner M. Seiler:
A MuPAD Library for Differential Equations. 25-42 - Farida Benmakrouha, Christiane Hespel, Gérard Jacob, Edouard Monnier:
Algebraic Identification Algorithm and Application to Dynamical Systems. 43-61 - Francisco Botana, José L. Valcarce:
Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. 63-74 - Larissa Bourlakova:
On the Stability of Steady Motions of Solar-Sail Satellite. 75-82 - Vasiliy V. Bublik:
Application of Computer Algebra for Investigation of Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas. 83-89 - Luisa M. Camacho, J. R. Gómez, R. M. Navarro, I. Rodríguez:
Mathematica and Nilpotent Lie Superalgebras. 91-105 - Giuseppa Carrà Ferro, Valentina Marotta:
Neighborhoods of an Ordinary Linear Differential Equation. 107-121 - C. F. Cid, Wilhelm Plesken:
Invariants of Finite Groups and Involutive Division. 123-135 - Alan Stanton Deakin, H. Rasmussen:
Symbolic Computation and Boundary Conditions for the Wave Equation. 137-147 - Andreas Dolzmann, Thomas Sturm:
Parametric Systems of Linear Congruences. 149-166 - Victor F. Edneral:
Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System. 167-175 - Joachim Engelmann, Gerd Baumann:
An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations. 177-186 - Gani E. Ergashev, Ulugbek H. Narzullaev:
Recurrence Functions and Numerical Characteristics of Graphs. 187-194 - Anna Gambin, Piotr Pokarowski:
A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract). 195-211 - Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov:
GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing. 213-232 - Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich:
Construction of Janet Bases I. Monomial Bases. 233-247 - Vladimir P. Gerdt, Yuri A. Blinkov, Denis A. Yanovich:
Construction of Janet Bases II. Polynomial Bases. 249-263 - J. R. Gómez, A. Jiménez-Merchán, J. Reyes:
Low-Dimensional Quasi-Filiform Lie Algebras with Great Length. 265-282 - Jesus Espinola, Laureano González-Vega, Ioana Necula:
Algebraic Methods for Sectioning Parametric Surfaces. 283-295 - Evgenii A. Grebenikov:
The Methods of Computer Algebra and the Arnold-Moser Theorem. 297-308 - Alexander Gusev, Valentin Samoylov, Vitaly Rostovtsev, Sergey I. Vinitsky:
Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge. 309-322 - Marcus Hausdorf, Werner M. Seiler:
Perturbation versus Differentiation Indices. 323-337 - Valentin Irtegov, Tatyana Titorenko:
Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals. 339-346 - María José Jiménez, Pedro Real:
"Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras. 347-361 - Bülent Karasözen, Vyacheslav Tsybulin:
Conservative Finite Difference Schemes for Cosymmetric Systems. 363-375 - Raya Khanin:
A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems. 377-390 - Vladimir V. Kornyak:
A New Algorithm for Computing Cohomologies of Lie Superalgebras. 391-398 - Roman E. Mäder:
Parallel Computing with Mathematica. 399 - Gennadi I. Malaschonok:
Solution of Systems of Linear Diophantine Equations. 401-415 - Isolde Mazzucco:
SYMOPT: Symbolic Parametric Mathematical Programming. 417-429 - Michal Mnuk:
Representing Graph Properties by Polynomial Ideals. 431-444 - Sonia Pérez-Díaz, Juan Rafael Sendra:
Parametric G1-Blending of Several Surfaces. 445-459 - Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita:
A Method of Logic Deduction and Verification in KBS Using Positive Integers. 461-475 - Alexander Shermenev:
Progressive Long Waves on a Slope (A New Solution to the Euler Equation?). 477-489 - Akhmadjon Soleev, Adizjon S. Barotov:
The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms. 491-498 - Hans J. Stetter:
Algebraic Predicates for Empirical Data. 499-512 - Norbert Südland, Gerd Baumann, Theo F. Nonnenmacher:
Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients. 513-528 - Serguei P. Tsarev:
Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space. 529-539 - Volker Weispfenning:
Semilinear Motion Planning Among Moving Objects in REDLOG. 541-553
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.