Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/casc/AlvarezAFR06,
  author       = {V{\'{\i}}ctor {\'{A}}lvarez and
                  Jos{\'{e}} Andr{\'{e}}s Armario and
                  Mar{\'{\i}}a Dolores Frau and
                  Pedro Real},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Comparison Maps for Relatively Free Resolutions},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_1},
  doi          = {10.1007/11870814\_1},
  timestamp    = {Tue, 14 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/AlvarezAFR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BelyaevaCGRV06,
  author       = {I. N. Belyaeva and
                  Nikolai A. Chekanov and
                  Alexander Gusev and
                  Vitaly Rostovtsev and
                  Sergey I. Vinitsky},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for
                  the One-Dimensional Schr{\"{o}}dinger Equation},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {23--32},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_2},
  doi          = {10.1007/11870814\_2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BelyaevaCGRV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BercianoJR06,
  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        = {Reducing Computational Costs in the Basic Perturbation Lemma},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_3},
  doi          = {10.1007/11870814\_3},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/BercianoJR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Berghammer06,
  author       = {Rudolf Berghammer},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Solving Algorithmic Problems on Orders and Lattices by Relation Algebra
                  and RelView},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_4},
  doi          = {10.1007/11870814\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Berghammer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BodratoZ06,
  author       = {Marco Bodrato and
                  Alberto Zanoni},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Intervals, Syzygies, Numerical Gr{\"{o}}bner Bases: {A} Mixed
                  Study},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {64--76},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_5},
  doi          = {10.1007/11870814\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BodratoZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BorunovRS06,
  author       = {V. P. Borunov and
                  Yu. A. Ryabov and
                  O. V. Surkov},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Application of Computer Algebra for Construction of Quasi-periodic
                  Solutions for Restricted Circular Planar Three Body Problem},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {77--88},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_6},
  doi          = {10.1007/11870814\_6},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BorunovRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/BrownG06,
  author       = {Christopher W. Brown and
                  Christian Gross},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Efficient Preprocessing Methods for Quantifier Elimination},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {89--100},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_7},
  doi          = {10.1007/11870814\_7},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/BrownG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/CasianDDP06,
  author       = {A. Casian and
                  R. Dusciac and
                  V. Dusciac and
                  V. Patsiuk},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Symbolic and Numerical Calculation of Transport Integrals for Some
                  Organic Crystals},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {101--108},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_8},
  doi          = {10.1007/11870814\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/CasianDDP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChibisovGMV06,
  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        = {On the Provably Tight Approximation of Optimal Meshing for Non-convex
                  Regions},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {109--128},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_9},
  doi          = {10.1007/11870814\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ChibisovGMV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/CojocaruMC06,
  author       = {Svetlana Cojocaru and
                  Ludmila Malahova and
                  Alexander Colesnicov},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Providing Modern Software Environments to Computer Algebra Systems},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {129--140},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_10},
  doi          = {10.1007/11870814\_10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/CojocaruMC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/DiarovaZ06,
  author       = {D. M. Diarova and
                  N. I. Zemtsova},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {The Instability of the Rhombus-Like Central Configurations in Newton
                  9-Body Problem},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {141--148},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_11},
  doi          = {10.1007/11870814\_11},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/DiarovaZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Gago-VargasHMU06,
  author       = {Jes{\'{u}}s Gago{-}Vargas and
                  Mar{\'{\i}}a Isabel Hartillo{-}Hermoso and
                  Jorge Mart{\'{\i}}n{-}Morales and
                  Jos{\'{e}} Mar{\'{\i}}a Ucha{-}Enr{\'{\i}}quez},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Sudokus and Gr{\"{o}}bner Bases: Not Only a \emph{Divertimento}},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {155--165},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_13},
  doi          = {10.1007/11870814\_13},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Gago-VargasHMU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Gago-VargasHU06,
  author       = {Jes{\'{u}}s Gago{-}Vargas and
                  Mar{\'{\i}}a Isabel Hartillo{-}Hermoso and
                  Jos{\'{e}} Mar{\'{\i}}a Ucha{-}Enr{\'{\i}}quez},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Algorithmic Invariants for Alexander Modules},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {149--154},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_12},
  doi          = {10.1007/11870814\_12},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Gago-VargasHU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Gonzalez-DiazMSR06,
  author       = {Roc{\'{\i}}o Gonz{\'{a}}lez{-}D{\'{\i}}az and
                  Bel{\'{e}}n Medrano and
                  Javier S{\'{a}}nchez{-}Pel{\'{a}}ez and
                  Pedro Real},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Simplicial Perturbation Techniques and Effective Homology},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {166--177},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_14},
  doi          = {10.1007/11870814\_14},
  timestamp    = {Fri, 25 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/Gonzalez-DiazMSR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GrebenicovKD06,
  author       = {E. A. Grebenicov and
                  Dorota Kozak{-}Skoworodkin and
                  D. M. Diarova},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Numerical Study of Stability Domains of Hamiltonian Equation Solutions},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {178--191},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_15},
  doi          = {10.1007/11870814\_15},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GrebenicovKD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GrebenikovIP06,
  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        = {Numeric-Symbolic Computations in the Study of Central Configurations
                  in the Planar Newtonian Four-Body Problem},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {192--204},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_16},
  doi          = {10.1007/11870814\_16},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/GrebenikovIP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GusevGKRSTV06,
  author       = {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 Magnetic Field},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {205--218},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_17},
  doi          = {10.1007/11870814\_17},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GusevGKRSTV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/GutierrezS06,
  author       = {Jaime Gutierrez and
                  David Sevilla},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On Decomposition of Tame Polynomials and Rational Functions},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {219--226},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_18},
  doi          = {10.1007/11870814\_18},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/GutierrezS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/IkromovS06,
  author       = {Isroil A. Ikromov and
                  Akhmadjon Soleev},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Newton Polyhedra and an Oscillation Index of Oscillatory Integrals
                  with Convex Phases},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {227--239},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_19},
  doi          = {10.1007/11870814\_19},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/IkromovS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Kornyak06,
  author       = {Vladimir V. Kornyak},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Cellular Automata with Symmetric Local Rules},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {240--250},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_20},
  doi          = {10.1007/11870814\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Kornyak06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Malaschonok06,
  author       = {Natasha Malaschonok},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Parallel Laplace Method with Assured Accuracy for Solutions of Differential
                  Equations by Symbolic Computations},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {251--260},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_21},
  doi          = {10.1007/11870814\_21},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Malaschonok06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Semenov06,
  author       = {Alexander Semenov},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {On Connection Between Constructive Involutive Divisions and Monomial
                  Orderings},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {261--278},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_22},
  doi          = {10.1007/11870814\_22},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Semenov06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/SobottkaW06,
  author       = {Gerrit Sobottka and
                  Andreas Weber},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {A Symbolic-Numeric Approach to Tube Modeling in {CAD} Systems},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {279--283},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_23},
  doi          = {10.1007/11870814\_23},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/SobottkaW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Stefanescu06,
  author       = {Doru Stefanescu},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Inequalities on Upper Bounds for Real Polynomial Roots},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {284--294},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_24},
  doi          = {10.1007/11870814\_24},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Stefanescu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Sturm06,
  author       = {Thomas Sturm},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {New Domains for Applied Quantifier Elimination},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {295--301},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_25},
  doi          = {10.1007/11870814\_25},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Sturm06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/Watt06,
  author       = {Stephen M. Watt},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Algorithms for Symbolic Polynomials},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {302},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_26},
  doi          = {10.1007/11870814\_26},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/Watt06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/YanJ06,
  author       = {Song Y. Yan and
                  Glyn James},
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Testing Mersenne Primes with Elliptic Curves},
  booktitle    = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  pages        = {303--312},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814\_27},
  doi          = {10.1007/11870814\_27},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/YanJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2006,
  editor       = {Victor G. Ganzha and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Computer Algebra in Scientific Computing, 9th International Workshop,
                  {CASC} 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4194},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11870814},
  doi          = {10.1007/11870814},
  isbn         = {3-540-45182-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics