Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/snc/snc2009.bht:"
@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} }
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.