![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/casc/casc2005.bht:"
@inproceedings{DBLP:conf/casc/AbramovBK05, author = {Sergei A. Abramov and Manuel Bronstein and Denis E. Khmelnov}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {1--12}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_1}, doi = {10.1007/11555964\_1}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/AbramovBK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BasuK05, author = {Saugata Basu and Michael Kettner}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Computing the Betti Numbers of Arrangements in Practice}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {13--31}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_2}, doi = {10.1007/11555964\_2}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BasuK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BelyaevaCGRUUV05, author = {I. N. Belyaeva and Nikolai A. Chekanov and Alexander Gusev and V. A. Rostovtsev and Yu. A. Ukolov and Yoshio Uwano and Sergey I. Vinitsky}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {A {MAPLE} Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {32--39}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_3}, doi = {10.1007/11555964\_3}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BelyaevaCGRUUV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BerghammerN05, author = {Rudolf Berghammer and Frank Neumann}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {RelView - An OBDD-Based Computer Algebra System for Relations}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {40--51}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_4}, doi = {10.1007/11555964\_4}, timestamp = {Mon, 30 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BerghammerN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Borges-QuintanaBM05, author = {Mijail Borges{-}Quintana and Miguel A. Borges{-}Trenard and Edgar Mart{\'{\i}}nez{-}Moro}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {On the Use of Gr{\"{o}}bner Bases for Computing the Structure of Finite Abelian Groups}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {52--64}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_5}, doi = {10.1007/11555964\_5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Borges-QuintanaBM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BrunoE05, author = {Alexander D. Bruno and Victor F. Edneral}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Normal Forms and Integrability of {ODE} Systems}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {65--74}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_6}, doi = {10.1007/11555964\_6}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BrunoE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/BuseKM05, author = {Laurent Bus{\'{e}} and Houssam Khalil and Bernard Mourrain}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Resultant-Based Methods for Plane Curves Intersection Problems}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {75--92}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_7}, doi = {10.1007/11555964\_7}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/BuseKM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/CattaniGP05, author = {Carlo Cattani and Evgenii A. Grebenikov and Alexander N. Prokopenya}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {93--104}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_8}, doi = {10.1007/11555964\_8}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/CattaniGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChibisovGMV05, 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 = {Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {105--114}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_9}, doi = {10.1007/11555964\_9}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChibisovGMV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChibisovGPZ05, author = {Dmytro Chibisov and Victor G. Ganzha and Sergey Pankratov and Christoph Zenger}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {115--124}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_10}, doi = {10.1007/11555964\_10}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChibisovGPZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChtcherbaKM05, author = {Arthur D. Chtcherba and Deepak Kapur and Manfred Minimair}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {125--137}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_11}, doi = {10.1007/11555964\_11}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChtcherbaKM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/EigenwilligKKMSW05, author = {Arno Eigenwillig and Lutz Kettner and Werner Krandick and Kurt Mehlhorn and Susanne Schmitt and Nicola Wolpert}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {A Descartes Algorithm for Polynomials with Bit-Stream Coefficients}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {138--149}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_12}, doi = {10.1007/11555964\_12}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/EigenwilligKKMSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/EmirisT05, author = {Ioannis Z. Emiris and Elias P. Tsigaridas}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Real Solving of Bivariate Polynomial Systems}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {150--161}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_13}, doi = {10.1007/11555964\_13}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/EmirisT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Gago-VargasHU05, 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 = {\emph{Nouvelle Cuisine} for the Computation of the Annihilating Ideal of f\({}^{\mbox{s}}\)}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {162--173}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_14}, doi = {10.1007/11555964\_14}, timestamp = {Wed, 15 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/Gago-VargasHU05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GerdtB05, author = {Vladimir P. Gerdt and Yuri A. Blinkov}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Janet-Like Monomial Division}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {174--183}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_15}, doi = {10.1007/11555964\_15}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/GerdtB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GerdtB05a, author = {Vladimir P. Gerdt and Yuri A. Blinkov}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Janet-Like Gr{\"{o}}bner Bases}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {184--195}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_16}, doi = {10.1007/11555964\_16}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/GerdtB05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Gomez-PerezGI05, author = {Domingo G{\'{o}}mez{-}P{\'{e}}rez and Jaime Gutierrez and {\'{A}}lvar Ibeas}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Circulant Digraphs and Monomial Ideals}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {196--207}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_17}, doi = {10.1007/11555964\_17}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Gomez-PerezGI05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Gonzalez-DiazMRS05, author = {Roc{\'{\i}}o Gonz{\'{a}}lez{-}D{\'{\i}}az and Bel{\'{e}}n Medrano and Pedro Real and Javier S{\'{a}}nchez{-}Pel{\'{a}}ez}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Algebraic Topological Analysis of Time-Sequence of Digital Images}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {208--219}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_18}, doi = {10.1007/11555964\_18}, timestamp = {Fri, 25 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/Gonzalez-DiazMRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Gonzalez-VegaTZ05, author = {Laureano Gonz{\'{a}}lez{-}Vega and Carlo Traverso and Alberto Zanoni}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Hilbert Stratification and Parametric Gr{\"{o}}bner Bases}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {220--235}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_19}, doi = {10.1007/11555964\_19}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Gonzalez-VegaTZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GrebenicovKJ05, author = {E. A. Grebenicov and Dorota Kozak{-}Skoworodkin and M. Jakubiak}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {236--243}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_20}, doi = {10.1007/11555964\_20}, timestamp = {Sat, 29 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/GrebenicovKJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/GusevGKRSTUV05, author = {Alexander Gusev and Vladimir P. Gerdt and Michail S. Kaschiev and Vitaly Rostovtsev and Valentin Samoylov and Tatyana Tupikova and Yoshio Uwano and Sergey I. Vinitsky}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Symbolic-Numerical Algorithm for Solving the Time-Dependent Schr{\"{o}}dinger Equation by Split-Operator Method}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {244--258}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_21}, doi = {10.1007/11555964\_21}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/GusevGKRSTUV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/IrtegovT05, author = {Valentin Irtegov and Tatyana Titorenko}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {259--271}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_22}, doi = {10.1007/11555964\_22}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/IrtegovT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Kornyak05, author = {Vladimir V. Kornyak}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {On Compatibility of Discrete Relations}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {272--284}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_23}, doi = {10.1007/11555964\_23}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Kornyak05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/KoukouvinosL05, author = {Christos Koukouvinos and E. Lappas}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {285--293}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_24}, doi = {10.1007/11555964\_24}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/KoukouvinosL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/KravvaritisMS05, author = {Christos Kravvaritis and Marilena Mitrouli and Jennifer Seberry}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {294--305}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_25}, doi = {10.1007/11555964\_25}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/KravvaritisMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/MiyajimaOO05, author = {Shinya Miyajima and Takeshi Ogita and Shin'ichi Oishi}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Fast Verification for Respective Eigenvalues of Symmetric Matrix}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {306--317}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_26}, doi = {10.1007/11555964\_26}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/MiyajimaOO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Nagasaka05, author = {Kosaku Nagasaka}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Towards More Accurate Separation Bounds of Empirical Polynomials {II}}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {318--329}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_27}, doi = {10.1007/11555964\_27}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Nagasaka05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/RichardsonK05, author = {David G. Richardson and Werner Krandick}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Compiler-Enforced Memory Semantics in the {SACLIB} Computer Algebra Library}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {330--343}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_28}, doi = {10.1007/11555964\_28}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/RichardsonK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Roanes-LozanoGRAL05, author = {Eugenio Roanes{-}Lozano and R. Garc{\'{\i}}a and Eugenio Roanes{-}Mac{\'{\i}}as and Alfredo Aparicio Yag{\"{u}}e and Luis M. Laita}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {\emph{Meta-Petro}: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {344--354}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_29}, doi = {10.1007/11555964\_29}, timestamp = {Fri, 11 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/Roanes-LozanoGRAL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Schmitt05, author = {Susanne Schmitt}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {The Diamond Operator - Implementation of Exact Real Algebraic Numbers}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {355--366}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_30}, doi = {10.1007/11555964\_30}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Schmitt05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/SeminS05, author = {Leonid Semin and Vasily P. Shapeev}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {367--378}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_31}, doi = {10.1007/11555964\_31}, timestamp = {Wed, 11 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/SeminS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Shermenev05, author = {Alexander Shermenev}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Nonlinear Waves in a Rod}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {379--386}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_32}, doi = {10.1007/11555964\_32}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Shermenev05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ShuW05, author = {Liu Shu and Andreas Weber}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {387--398}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_33}, doi = {10.1007/11555964\_33}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ShuW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/SlavyanovP05, author = {Sergey Slavyanov and Vladimir Papshev}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Differential and Difference Equations for Products of Classical Orthogonal Polynomials}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {399--404}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_34}, doi = {10.1007/11555964\_34}, timestamp = {Thu, 01 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/SlavyanovP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Soleev05, author = {Akhmadjon Soleev}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Algorithm of Local Resolution of Singularities of a Space Curve}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {405--415}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_35}, doi = {10.1007/11555964\_35}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Soleev05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Sturm05, author = {Thomas Sturm}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Quantifier Elimination for Constraint Logic Programming}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {416--430}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_36}, doi = {10.1007/11555964\_36}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Sturm05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Suzuki05, author = {Akira Suzuki}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Computation of Full Comprehensive Gr{\"{o}}bner Bases}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {431--444}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_37}, doi = {10.1007/11555964\_37}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Suzuki05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Terui05, author = {Akira Terui}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Recursive Polynomial Remainder Sequence and the Nested Subresultants}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {445--456}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_38}, doi = {10.1007/11555964\_38}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Terui05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Vernov05, author = {S. Yu. Vernov}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {457--468}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_39}, doi = {10.1007/11555964\_39}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Vernov05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Weispfenning05, author = {Volker Weispfenning}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Solving Linear Differential Problems with Parameters}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {469--488}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_40}, doi = {10.1007/11555964\_40}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Weispfenning05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/Zemskov05, author = {Serguey Zemskov}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Approximate Solution of the Dirichlet Problem for Elliptic {PDE} and Its Error Estimate}, booktitle = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, pages = {489--500}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964\_41}, doi = {10.1007/11555964\_41}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/Zemskov05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/casc/2005, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Computer Algebra in Scientific Computing, 8th International Workshop, {CASC} 2005, Kalamata, Greece, September 12-16, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3718}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11555964}, doi = {10.1007/11555964}, isbn = {3-540-28966-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.