Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/casc/AbramovP07,
  author       = {Sergei A. Abramov and
                  Marko Petkovsek},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Analytic Solutions of Linear Difference Equations, Formal Series,
                  and Bottom Summation},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_1},
  doi          = {10.1007/978-3-540-75187-8\_1},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/AbramovP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AkritasM07,
  author       = {Alkiviadis G. Akritas and
                  Gennadi I. Malaschonok},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Computations in Modules over Commutative Domains},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {11--23},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_2},
  doi          = {10.1007/978-3-540-75187-8\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/AkritasM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/AkritasSV07,
  author       = {Alkiviadis G. Akritas and
                  Adam W. Strzebonski and
                  Panagiotis S. Vigklas},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Advances on the Continued Fractions Method Using Better Estimations
                  of Positive Root Bounds},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {24--30},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_3},
  doi          = {10.1007/978-3-540-75187-8\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/AkritasSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BackesW07,
  author       = {Werner Backes and
                  Susanne Wetzel},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {An Efficient {LLL} Gram Using Buffered Transformations},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {31--44},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_4},
  doi          = {10.1007/978-3-540-75187-8\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BackesW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BercianoJR07,
  author       = {Ainhoa Berciano and
                  Mar{\'{\i}}a Jos{\'{e}} Jim{\'{e}}nez and
                  Pedro Real},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On the Computation of \emph{A}\({}_{\mbox{infinity}}\)-Maps},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {45--57},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_5},
  doi          = {10.1007/978-3-540-75187-8\_5},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BercianoJR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/BerghammerS07,
  author       = {Rudolf Berghammer and
                  Gunther Schmidt},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Algebraic Visualization of Relations Using RelView},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {58--72},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_6},
  doi          = {10.1007/978-3-540-75187-8\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BerghammerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ChenGLMP07,
  author       = {Changbo Chen and
                  Oleg Golubitsky and
                  Fran{\c{c}}ois Lemaire and
                  Marc Moreno Maza and
                  Wei Pan},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Comprehensive Triangular Decomposition},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {73--101},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_7},
  doi          = {10.1007/978-3-540-75187-8\_7},
  timestamp    = {Tue, 07 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChenGLMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ChibisovGMV07,
  author       = {Dmytro Chibisov and
                  Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Stability Investigation of a Difference Scheme for Incompressible
                  Navier-Stokes Equations},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {102--117},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_8},
  doi          = {10.1007/978-3-540-75187-8\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChibisovGMV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ChuluunbaatarGGKRSTV07,
  author       = {Ochbadrakh Chuluunbaatar and
                  Alexander Gusev and
                  Vladimir P. Gerdt and
                  Michail S. Kaschiev and
                  Vitaly Rostovtsev and
                  Valentin Samoylov and
                  Tatyana Tupikova and
                  Sergey I. Vinitsky},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem
                  for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_9},
  doi          = {10.1007/978-3-540-75187-8\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/ChuluunbaatarGGKRSTV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Deytseva07,
  author       = {Anna Deytseva},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On the Representation of the Differential Operator in Bases of Periodic
                  Coiflets and It's Application},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {448--457},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_36},
  doi          = {10.1007/978-3-540-75187-8\_36},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Deytseva07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Edneral07,
  author       = {Victor F. Edneral},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {An Algorithm for Construction of Normal Forms},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {134--142},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_10},
  doi          = {10.1007/978-3-540-75187-8\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Edneral07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Fritzsche07,
  author       = {Stephan Fritzsche},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra: {A} 'Classical' Path to Explore Decoherence and
                  Entanglement Phenomena in Quantum Information Theory},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {143--144},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_11},
  doi          = {10.1007/978-3-540-75187-8\_11},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Fritzsche07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GerdtKP07,
  author       = {Vladimir P. Gerdt and
                  Arsen Khvedelidze and
                  Yuri Palii},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Deducing the Constraints in the Light-Cone \emph{SU} {(3)} Yang-Mills
                  Mechanics Via Gr{\"{o}}bner Bases},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_12},
  doi          = {10.1007/978-3-540-75187-8\_12},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GerdtKP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GoginM07,
  author       = {Nikita Gogin and
                  Aleksandr Myll{\"{a}}ri},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On the Weight Spectra of Conway Matrices Related to the Non-transitive
                  Head-or-Tail Game},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {160--168},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_13},
  doi          = {10.1007/978-3-540-75187-8\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GoginM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GrebenikovIP07,
  author       = {Evgenii A. Grebenikov and
                  Ersain V. Ikhsanov and
                  Alexander N. Prokopenya},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Studying the Stability of the Second Order Non-autonomous Hamiltonian
                  System},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {181--194},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_15},
  doi          = {10.1007/978-3-540-75187-8\_15},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GrebenikovIP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/GrebenikovKZ07,
  author       = {Evgenii A. Grebenikov and
                  Dorota Kozak{-}Skoworodkin and
                  N. I. Zemtsova},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Properties of the Liapunov Stability Zones of the Lagrange Triangle},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {169--180},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_14},
  doi          = {10.1007/978-3-540-75187-8\_14},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GrebenikovKZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/IrtegovT07,
  author       = {Valentin Irtegov and
                  Tatyana Titorenko},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On the Peculiar Properties of Families of Invariant Manifolds of Conservative
                  Systems},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {195--210},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_16},
  doi          = {10.1007/978-3-540-75187-8\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/IrtegovT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Iwami07,
  author       = {Maki Iwami},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Unified Algorithm for Multivariate Analytic Factorization},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {211--223},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_17},
  doi          = {10.1007/978-3-540-75187-8\_17},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Iwami07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KitamotoY07,
  author       = {Takuya Kitamoto and
                  Tetsu Yamaguchi},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On the Computation of the Defining Polynomial of the Algebraic Riccati
                  Equation},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {224--235},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_18},
  doi          = {10.1007/978-3-540-75187-8\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/KitamotoY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Kornyak07,
  author       = {Vladimir V. Kornyak},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Symmetries and Dynamics of Discrete Systems},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {236--251},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_19},
  doi          = {10.1007/978-3-540-75187-8\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Kornyak07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KostovK07,
  author       = {N. A. Kostov and
                  Z. T. Kostova},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Exact Solutions of Completely Integrable Systems and Linear ODE's
                  Having Elliptic Function Coefficients},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {252--264},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_20},
  doi          = {10.1007/978-3-540-75187-8\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/KostovK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/KovalevaTF07,
  author       = {Ekaterina S. Kovaleva and
                  Vyacheslav Tsybulin and
                  Kurt Frischmuth},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Dynamics of Nonlinear Parabolic Equations with Cosymmetry},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {265--274},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_21},
  doi          = {10.1007/978-3-540-75187-8\_21},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/KovalevaTF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/LasarukS07,
  author       = {Aless Lasaruk and
                  Thomas Sturm},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Weak Integer Quantifier Elimination Beyond the Linear Case},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {275--294},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_22},
  doi          = {10.1007/978-3-540-75187-8\_22},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/LasarukS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/MonaganP07,
  author       = {Michael B. Monagan and
                  Roman Pearce},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent
                  Vectors},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {295--315},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_23},
  doi          = {10.1007/978-3-540-75187-8\_23},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/MonaganP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Nagasaka07,
  author       = {Kosaku Nagasaka},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Ruppert Matrix as Subresultant Mapping},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {316--327},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_24},
  doi          = {10.1007/978-3-540-75187-8\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Nagasaka07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/NarzullaevAJ07,
  author       = {Ulugbek Kh. Narzullaev and
                  Akmal R. Akhatov and
                  Olim I. Jumanov},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Construction of Computer System for Microobjects Recognition Based
                  on Neural Networks},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {328--338},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_25},
  doi          = {10.1007/978-3-540-75187-8\_25},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/NarzullaevAJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/OspinaV07,
  author       = {Juan Ospina and
                  Mario V{\'{e}}lez},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Analytical Solution for Transient Flow of a Generalized Bingham Fluid
                  with Memory in a Movable Tube Using Computer Algebra},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {339--349},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_26},
  doi          = {10.1007/978-3-540-75187-8\_26},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/OspinaV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/PleskenR07,
  author       = {Wilhelm Plesken and
                  Daniel Robertz},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Some Elimination Problems for Matrices},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {350--359},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_27},
  doi          = {10.1007/978-3-540-75187-8\_27},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/PleskenR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ShemyakovaW07,
  author       = {Ekaterina Shemyakova and
                  Franz Winkler},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Full System of Invariants for Third-Order Linear Partial Differential
                  Operators in General Form},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {360--369},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_28},
  doi          = {10.1007/978-3-540-75187-8\_28},
  timestamp    = {Fri, 08 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/ShemyakovaW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Sosa07,
  author       = {Daniel Esteban Sierra Sosa},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Automatic Stability Analysis for a Diffusion Equation with Memories
                  Using Maple},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {370--376},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_29},
  doi          = {10.1007/978-3-540-75187-8\_29},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Sosa07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Stefanescu07,
  author       = {Doru Stefanescu},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Bounds for Real Roots and Applications to Orthogonal Polynomials},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {377--391},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_30},
  doi          = {10.1007/978-3-540-75187-8\_30},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Stefanescu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/UteshevY07,
  author       = {Alexei Yu. Uteshev and
                  Marina V. Yashina},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Distance Computation from an Ellipsoid to a Linear or a Quadric Surface
                  in IR\({}^{\mbox{ \emph{n} }}\)},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {392--401},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_31},
  doi          = {10.1007/978-3-540-75187-8\_31},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/UteshevY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/Weispfenning07,
  author       = {Volker Weispfenning},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Robust Stability for Parametric Linear ODEs},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {402--422},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_32},
  doi          = {10.1007/978-3-540-75187-8\_32},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Weispfenning07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/WinklerS07,
  author       = {Franz Winkler and
                  Ekaterina Shemyakova},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic and Algebraic Methods for Linear Partial Differential Operators},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {423},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_33},
  doi          = {10.1007/978-3-540-75187-8\_33},
  timestamp    = {Fri, 08 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/WinklerS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/YanMJ07,
  author       = {Song Y. Yan and
                  Carsten Maple and
                  Glyn James},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A New Scheme for Deniable/Repudiable Authentication},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {424--432},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_34},
  doi          = {10.1007/978-3-540-75187-8\_34},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/YanMJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/YoshidaNAH07,
  author       = {Hiroshi Yoshida and
                  Koji Nakagawa and
                  Hirokazu Anai and
                  Katsuhisa Horimoto},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {An Algebraic-Numeric Algorithm for the Model Selection in Kinetic
                  Networks},
  booktitle    = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  pages        = {433--447},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8\_35},
  doi          = {10.1007/978-3-540-75187-8\_35},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/YoshidaNAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/casc/2007,
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in Scientific Computing, 10th International Workshop,
                  {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4770},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75187-8},
  doi          = {10.1007/978-3-540-75187-8},
  isbn         = {978-3-540-75186-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.