Search dblp for Publications

export results for "toc:db/conf/snc/snc2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/snc/BaBM09,
  author       = {Thang Luu Ba and
                  Laurent Bus{\'{e}} and
                  Bernard Mourrain},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Curve/surface intersection problem by means of matrix representations},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {71--78},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577205},
  doi          = {10.1145/1577190.1577205},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/BaBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/BerzM09,
  author       = {Martin Berz and
                  Kyoko Makino},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Rigorous global search using taylor models},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577198},
  doi          = {10.1145/1577190.1577198},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/BerzM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/ChenFQZ09,
  author       = {Jingwei Chen and
                  Yong Feng and
                  Xiaolin Qin and
                  Jingzhong Zhang},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Exact polynomial factorization by approximate high degree algebraic
                  numbers},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {21--28},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577199},
  doi          = {10.1145/1577190.1577199},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/ChenFQZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/ChezeYGM09,
  author       = {Guillaume Ch{\`{e}}ze and
                  Jean{-}Claude Yakoubsohn and
                  Andr{\'{e}} Galligo and
                  Bernard Mourrain},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Computing nearest Gcd with certification},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {29--34},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577200},
  doi          = {10.1145/1577190.1577200},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/ChezeYGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Corless09,
  author       = {Robert M. Corless},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Pseudospectra for exponential polynomial matrices},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577192},
  doi          = {10.1145/1577190.1577192},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Corless09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/CuytL09,
  author       = {Annie A. M. Cuyt and
                  Wen{-}shin Lee},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Extracting numerical factors of multivariate polynomials from taylor
                  expansions},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {35--44},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577201},
  doi          = {10.1145/1577190.1577201},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/CuytL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/GalligoP09,
  author       = {Andr{\'{e}} Galligo and
                  Adrien Poteaux},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Continuations and monodromy on random riemann surfaces},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {115--124},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577210},
  doi          = {10.1145/1577190.1577210},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/GalligoP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/HemmerTZEKM09,
  author       = {Michael Hemmer and
                  Elias P. Tsigaridas and
                  Zafeirakis Zafeirakopoulos and
                  Ioannis Z. Emiris and
                  Menelaos I. Karavelas and
                  Bernard Mourrain},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Experimental evaluation and cross-benchmarking of univariate real
                  solvers},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {45--54},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577202},
  doi          = {10.1145/1577190.1577202},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/HemmerTZEKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/IwaneYAY09,
  author       = {Hidenao Iwane and
                  Hitoshi Yanami and
                  Hirokazu Anai and
                  Kazuhiro Yokoyama},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {An effective implementation of a symbolic-numeric cylindrical algebraic
                  decomposition for quantifier elimination},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {55--64},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577203},
  doi          = {10.1145/1577190.1577203},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/IwaneYAY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/KaltofenYZ09,
  author       = {Erich L. Kaltofen and
                  Zhengfeng Yang and
                  Lihong Zhi},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {A proof of the monotone column permanent {(MCP)} conjecture for dimension
                  4 via sums-of-squares of rational functions},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {65--70},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577204},
  doi          = {10.1145/1577190.1577204},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snc/KaltofenYZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/MakinoB09,
  author       = {Kyoko Makino and
                  Martin Berz},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Rigorous integration of flows and ODEs using taylor models},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {79--84},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577206},
  doi          = {10.1145/1577190.1577206},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/MakinoB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/MantzaflarisMT09,
  author       = {Angelos Mantzaflaris and
                  Bernard Mourrain and
                  Elias P. Tsigaridas},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Continued fraction expansion of real roots of polynomial systems},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {85--94},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577207},
  doi          = {10.1145/1577190.1577207},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/MantzaflarisMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Murakami09,
  author       = {Hiroshi Murakami},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Application of filter diagonalization method to numerical solution
                  of algebraic equations},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {95--104},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577208},
  doi          = {10.1145/1577190.1577208},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Murakami09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Oishi09,
  author       = {Shin'ichi Oishi},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Error free transformations of floating point numbers and its applications
                  to constructing efficient error free numerical algorithms},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {3--4},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577193},
  doi          = {10.1145/1577190.1577193},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Oishi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/PanMR09,
  author       = {Victor Y. Pan and
                  Brian Murphy and
                  Rhys Eric Rosholt},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Nearly optimal symbolic-numerical algorithms for structured integer
                  matrices and polynomials},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {105--114},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577209},
  doi          = {10.1145/1577190.1577209},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/PanMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/PanQZ09,
  author       = {Victor Y. Pan and
                  Guoliang Qian and
                  Ailong Zheng},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Preconditioning, randomization, solving linear systems, eigen-solving,
                  and root-finding},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577194},
  doi          = {10.1145/1577190.1577194},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/PanQZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/PebayRT09,
  author       = {Philippe P. P{\'{e}}bay and
                  J. Maurice Rojas and
                  David C. Thompson},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Optimization and NP{\_}R-completeness of certain fewnomials},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {133--142},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577212},
  doi          = {10.1145/1577190.1577212},
  timestamp    = {Tue, 15 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/PebayRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Perez-DiazSRS09,
  author       = {Sonia P{\'{e}}rez{-}D{\'{\i}}az and
                  J. Rafael Sendra and
                  Sonia L. Rueda and
                  Juana Sendra},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Parametrization of {\(\epsilon\)}-rational curves: extended abstract},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {199--200},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577221},
  doi          = {10.1145/1577190.1577221},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Perez-DiazSRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/QinFCZ09,
  author       = {Xiaolin Qin and
                  Yong Feng and
                  Jingwei Chen and
                  Jingzhong Zhang},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Finding exact minimal polynomial by approximations},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {125--132},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577211},
  doi          = {10.1145/1577190.1577211},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/QinFCZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Ratschan09,
  author       = {Stefan Ratschan},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Symbolic-numeric problems in the automatic analysis and verification
                  of cyber-physical systems},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {7--8},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577195},
  doi          = {10.1145/1577190.1577195},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Ratschan09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/SakuraiATIK09,
  author       = {Tetsuya Sakurai and
                  Junko Asakura and
                  Hiroto Tadano and
                  Tsutomu Ikegami and
                  Kinji Kimura},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {A method for finding zeros of polynomial equations using a contour
                  integral based eigensolver},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {143--148},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577213},
  doi          = {10.1145/1577190.1577213},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/SakuraiATIK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Sanuki09,
  author       = {Masaru Sanuki},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Computing multivariate approximate {GCD} based on Barnett's theorem},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {149--158},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577214},
  doi          = {10.1145/1577190.1577214},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Sanuki09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/SasakiI09,
  author       = {Tateaki Sasaki and
                  Daiju Inaba},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Convergence and many-valuedness of hensel seriesnear the expansion
                  point},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {159--168},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577215},
  doi          = {10.1145/1577190.1577215},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/SasakiI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/SasakiO09,
  author       = {Tateaki Sasaki and
                  Yasutaka Ookura},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Approximate factorization of polynomials over {Z}},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {169--176},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577216},
  doi          = {10.1145/1577190.1577216},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/SasakiO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/SasakiT09,
  author       = {Tateaki Sasaki and
                  Akira Terui},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Computing clustered close-roots of univariate polynomials},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {177--184},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577217},
  doi          = {10.1145/1577190.1577217},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/SasakiT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/ShenWYZ09,
  author       = {Liyong Shen and
                  Min Wu and
                  Zhengfeng Yang and
                  Zhenbing Zeng},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Finding positively invariant sets of a class of nonlinear loops via
                  curve fitting},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {185--190},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577218},
  doi          = {10.1145/1577190.1577218},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/ShenWYZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/ShirayanagiS09,
  author       = {Kiyoshi Shirayanagi and
                  Hiroshi Sekigawa},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Reducing exact computations to obtain exact results based on stabilization
                  techniques},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {191--198},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577219},
  doi          = {10.1145/1577190.1577219},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snc/ShirayanagiS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Sugihara09,
  author       = {Masaaki Sugihara},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {De-Sinc numerical methods},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {9--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577196},
  doi          = {10.1145/1577190.1577196},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Sugihara09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snc/2009,
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {http://dl.acm.org/citation.cfm?id=1577190},
  isbn         = {978-1-60558-664-9},
  timestamp    = {Thu, 24 Jul 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snc/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics