Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/casc/casc2005.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-08-26 20:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
