Search dblp for Publications

export results for "toc:db/conf/casc/casc2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/casc/Barakat01,
  author       = {Mohamed Barakat},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Jets. {A} Maple-Package for Formal Differential Geometry},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {1--12},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_1},
  doi          = {10.1007/978-3-642-56666-0\_1},
  timestamp    = {Sat, 03 Dec 2022 16:36:45 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Barakat01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Bayer01,
  author       = {Thomas Bayer},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Computing Stratifications of Quotients of Finite Groups and an Application
                  to Shape Memory Alloys},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {13--23},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_2},
  doi          = {10.1007/978-3-642-56666-0\_2},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Bayer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BelangerHS01,
  author       = {Jay Belanger and
                  Marcus Hausdorf and
                  Werner M. Seiler},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A MuPAD Library for Differential Equations},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {25--42},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_3},
  doi          = {10.1007/978-3-642-56666-0\_3},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BelangerHS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BenmakrouhaHJM01,
  author       = {Farida Benmakrouha and
                  Christiane Hespel and
                  G{\'{e}}rard Jacob and
                  Edouard Monnier},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Algebraic Identification Algorithm and Application to Dynamical Systems},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {43--61},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_4},
  doi          = {10.1007/978-3-642-56666-0\_4},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BenmakrouhaHJM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BotanaV01,
  author       = {Francisco Botana and
                  Jos{\'{e}} L. Valcarce},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Cooperation between a Dynamic Geometry Environment and a Computer
                  Algebra System for Geometric Discovery},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {63--74},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_5},
  doi          = {10.1007/978-3-642-56666-0\_5},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BotanaV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Bourlakova01,
  author       = {Larissa Bourlakova},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On the Stability of Steady Motions of Solar-Sail Satellite},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {75--82},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_6},
  doi          = {10.1007/978-3-642-56666-0\_6},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Bourlakova01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Bublik01,
  author       = {Vasiliy V. Bublik},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Application of Computer Algebra for Investigation of Group Properties
                  of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting
                  Gas},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {83--89},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_7},
  doi          = {10.1007/978-3-642-56666-0\_7},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Bublik01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/CamachoGNR01,
  author       = {Luisa M. Camacho and
                  J. R. G{\'{o}}mez and
                  R. M. Navarro and
                  I. Rodr{\'{\i}}guez},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Mathematica and Nilpotent Lie Superalgebras},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {91--105},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_8},
  doi          = {10.1007/978-3-642-56666-0\_8},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/CamachoGNR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/CidP01,
  author       = {C. F. Cid and
                  Wilhelm Plesken},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Invariants of Finite Groups and Involutive Division},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {123--135},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_10},
  doi          = {10.1007/978-3-642-56666-0\_10},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/CidP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DeakinR01,
  author       = {Alan Stanton Deakin and
                  H. Rasmussen},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic Computation and Boundary Conditions for the Wave Equation},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {137--147},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_11},
  doi          = {10.1007/978-3-642-56666-0\_11},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/DeakinR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DolzmannS01,
  author       = {Andreas Dolzmann and
                  Thomas Sturm},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Parametric Systems of Linear Congruences},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {149--166},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_12},
  doi          = {10.1007/978-3-642-56666-0\_12},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/DolzmannS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Edneral01,
  author       = {Victor F. Edneral},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Bifurcation Analysis of Low Resonant Case of the Generalized Henon
                  - Heiles System},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {167--175},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_13},
  doi          = {10.1007/978-3-642-56666-0\_13},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Edneral01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/EngelmannB01,
  author       = {Joachim Engelmann and
                  Gerd Baumann},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {An Involutive Reduction Method to Find Invariant Solutions for Partial
                  Differential Equations},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {177--186},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_14},
  doi          = {10.1007/978-3-642-56666-0\_14},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/EngelmannB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ErgashevN01,
  author       = {Gani E. Ergashev and
                  Ulugbek H. Narzullaev},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Recurrence Functions and Numerical Characteristics of Graphs},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {187--194},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_15},
  doi          = {10.1007/978-3-642-56666-0\_15},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/ErgashevN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/EspinolaGN01,
  author       = {Jesus Espinola and
                  Laureano Gonz{\'{a}}lez{-}Vega and
                  Ioana Necula},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Algebraic Methods for Sectioning Parametric Surfaces},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {283--295},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_21},
  doi          = {10.1007/978-3-642-56666-0\_21},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/EspinolaGN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/FerroM01,
  author       = {Giuseppa Carr{\`{a}} Ferro and
                  Valentina Marotta},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Neighborhoods of an Ordinary Linear Differential Equation},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {107--121},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_9},
  doi          = {10.1007/978-3-642-56666-0\_9},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/FerroM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GambinP01,
  author       = {Anna Gambin and
                  Piotr Pokarowski},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract)},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {195--211},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_16},
  doi          = {10.1007/978-3-642-56666-0\_16},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GambinP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GanzhaCV01,
  author       = {Victor G. Ganzha and
                  Dmytro Chibisov and
                  Evgenii V. Vorozhtsov},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {{GROOME} - Tool Supported Graphical Object Oriented Modelling for
                  Computer Algebra and Scientific Computing},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {213--232},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_17},
  doi          = {10.1007/978-3-642-56666-0\_17},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GanzhaCV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GerdtBY01,
  author       = {Vladimir P. Gerdt and
                  Yuri A. Blinkov and
                  Denis A. Yanovich},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Construction of Janet Bases I. Monomial Bases},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {233--247},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_18},
  doi          = {10.1007/978-3-642-56666-0\_18},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GerdtBY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GerdtBY01a,
  author       = {Vladimir P. Gerdt and
                  Yuri A. Blinkov and
                  Denis A. Yanovich},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Construction of Janet Bases {II.} Polynomial Bases},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {249--263},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_19},
  doi          = {10.1007/978-3-642-56666-0\_19},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GerdtBY01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GomezJR01,
  author       = {J. R. G{\'{o}}mez and
                  A. Jim{\'{e}}nez{-}Merch{\'{a}}n and
                  J. Reyes},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Low-Dimensional Quasi-Filiform Lie Algebras with Great Length},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {265--282},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_20},
  doi          = {10.1007/978-3-642-56666-0\_20},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GomezJR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Grebenikov01,
  author       = {Evgenii A. Grebenikov},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {The Methods of Computer Algebra and the Arnold-Moser Theorem},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {297--308},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_22},
  doi          = {10.1007/978-3-642-56666-0\_22},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Grebenikov01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GusevSRV01,
  author       = {Alexander Gusev and
                  Valentin Samoylov and
                  Vitaly Rostovtsev and
                  Sergey I. Vinitsky},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom
                  in the Field of Distant Charge},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {309--322},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_23},
  doi          = {10.1007/978-3-642-56666-0\_23},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GusevSRV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/HausdorfS01,
  author       = {Marcus Hausdorf and
                  Werner M. Seiler},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Perturbation versus Differentiation Indices},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {323--337},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_24},
  doi          = {10.1007/978-3-642-56666-0\_24},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/HausdorfS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/IrtegovT01,
  author       = {Valentin Irtegov and
                  Tatyana Titorenko},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Employment of the Gr{\"{o}}bner Bases in Analysis of Systems
                  Having Algebraic First Integrals},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {339--346},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_25},
  doi          = {10.1007/978-3-642-56666-0\_25},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/IrtegovT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/JimenezR01,
  author       = {Mar{\'{\i}}a Jos{\'{e}} Jim{\'{e}}nez and
                  Pedro Real},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {"Coalgebra" Structures on 1-Homological Models for Commutative Differential
                  Graded Algebras},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {347--361},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_26},
  doi          = {10.1007/978-3-642-56666-0\_26},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/JimenezR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/KarasozenT01,
  author       = {B{\"{u}}lent Karas{\"{o}}zen and
                  Vyacheslav Tsybulin},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Conservative Finite Difference Schemes for Cosymmetric Systems},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {363--375},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_27},
  doi          = {10.1007/978-3-642-56666-0\_27},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/KarasozenT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Khanin01,
  author       = {Raya Khanin},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value
                  Problems},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {377--390},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_28},
  doi          = {10.1007/978-3-642-56666-0\_28},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Khanin01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Kornyak01,
  author       = {Vladimir V. Kornyak},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A New Algorithm for Computing Cohomologies of Lie Superalgebras},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {391--398},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_29},
  doi          = {10.1007/978-3-642-56666-0\_29},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Kornyak01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Mader01,
  author       = {Roman E. M{\"{a}}der},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Parallel Computing with Mathematica},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {399},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_30},
  doi          = {10.1007/978-3-642-56666-0\_30},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Mader01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Malaschonok01,
  author       = {Gennadi I. Malaschonok},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Solution of Systems of Linear Diophantine Equations},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {401--415},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_31},
  doi          = {10.1007/978-3-642-56666-0\_31},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Malaschonok01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Mazzucco01,
  author       = {Isolde Mazzucco},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {{SYMOPT:} Symbolic Parametric Mathematical Programming},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {417--429},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_32},
  doi          = {10.1007/978-3-642-56666-0\_32},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Mazzucco01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Mnuk01,
  author       = {Michal Mnuk},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Representing Graph Properties by Polynomial Ideals},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {431--444},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_33},
  doi          = {10.1007/978-3-642-56666-0\_33},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Mnuk01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Perez-DiazS01,
  author       = {Sonia P{\'{e}}rez{-}D{\'{\i}}az and
                  Juan Rafael Sendra},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Parametric G1-Blending of Several Surfaces},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {445--459},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_34},
  doi          = {10.1007/978-3-642-56666-0\_34},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Perez-DiazS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Roanes-LozanoRL01,
  author       = {Eugenio Roanes{-}Lozano and
                  Eugenio Roanes{-}Mac{\'{\i}}as and
                  Luis M. Laita},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Method of Logic Deduction and Verification in {KBS} Using Positive
                  Integers},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {461--475},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_35},
  doi          = {10.1007/978-3-642-56666-0\_35},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Roanes-LozanoRL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Shermenev01,
  author       = {Alexander Shermenev},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Progressive Long Waves on a Slope {(A} New Solution to the Euler Equation?)},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {477--489},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_36},
  doi          = {10.1007/978-3-642-56666-0\_36},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Shermenev01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/SoleevB01,
  author       = {Akhmadjon Soleev and
                  Adizjon S. Barotov},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {The Method of Newton Polyhedra for Investigating Singular Positions
                  of Some Mechanisms},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {491--498},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_37},
  doi          = {10.1007/978-3-642-56666-0\_37},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/SoleevB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Stetter01,
  author       = {Hans J. Stetter},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Algebraic Predicates for Empirical Data},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {499--512},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_38},
  doi          = {10.1007/978-3-642-56666-0\_38},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Stetter01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/SudlandBN01,
  author       = {Norbert S{\"{u}}dland and
                  Gerd Baumann and
                  Theo F. Nonnenmacher},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Fractional Driftless Fokker-Planck Equation with Power Law Diffusion
                  Coefficients},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {513--528},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_39},
  doi          = {10.1007/978-3-642-56666-0\_39},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/SudlandBN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Tsarev01,
  author       = {Serguei P. Tsarev},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Factorization of Overdetermined Systems of Linear Partial Differential
                  Equations with Finite-Dimensional Solution Space},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {529--539},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_40},
  doi          = {10.1007/978-3-642-56666-0\_40},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Tsarev01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Weispfenning01,
  author       = {Volker Weispfenning},
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Semilinear Motion Planning Among Moving Objects in {REDLOG}},
  booktitle    = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  pages        = {541--553},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0\_41},
  doi          = {10.1007/978-3-642-56666-0\_41},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Weispfenning01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2001,
  editor       = {Victor G. Ganzha and
                  Ernst Wilhelm Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in Scientific Computing, {CASC} 2001, Konstanz, Germany,
                  September 22-26, 2001},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-642-56666-0},
  doi          = {10.1007/978-3-642-56666-0},
  isbn         = {978-3-642-56666-0},
  timestamp    = {Sat, 03 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}