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/issac/issac2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/Abramov10,
author = {Sergei A. Abramov},
editor = {Wolfram Koepf},
title = {On some decidable and undecidable problems related to q-difference
equations with parameters},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {311--317},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837993},
doi = {10.1145/1837934.1837993},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Abramov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AvendanoIRR10,
author = {Martin E. Avendano and
Ashraf Ibrahim and
J. Maurice Rojas and
Korben Rusek},
editor = {Wolfram Koepf},
title = {Randomized NP-completeness for \emph{p}-adic rational roots of sparse
polynomials in one variable},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {331--338},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837997},
doi = {10.1145/1837934.1837997},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AvendanoIRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Barkatou10,
author = {Moulay A. Barkatou},
editor = {Wolfram Koepf},
title = {Symbolic methods for solving systems of linear ordinary differential
equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {7--8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837940},
doi = {10.1145/1837934.1837940},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Barkatou10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BarkatouBP10,
author = {Moulay A. Barkatou and
Carole El Bacha and
Eckhard Pfl{\"{u}}gel},
editor = {Wolfram Koepf},
title = {Simultaneously row- and column-reduced higher-order linear differential
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {45--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837949},
doi = {10.1145/1837934.1837949},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BarkatouBP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BerkeschL10,
author = {Christine Berkesch and
Anton Leykin},
editor = {Wolfram Koepf},
title = {Algorithms for Bernstein-Sato polynomials and multiplier ideals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {99--106},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837958},
doi = {10.1145/1837934.1837958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BerkeschL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Bodrato10,
author = {Marco Bodrato},
editor = {Wolfram Koepf},
title = {A Strassen-like matrix multiplication suited for squaring and higher
power computation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {273--280},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837987},
doi = {10.1145/1837934.1837987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Bodrato10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanCCL10,
author = {Alin Bostan and
Shaoshi Chen and
Fr{\'{e}}d{\'{e}}ric Chyzak and
Ziming Li},
editor = {Wolfram Koepf},
title = {Complexity of creative telescoping for bivariate rational functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {203--210},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837975},
doi = {10.1145/1837934.1837975},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BostanCCL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrisebarreJ10,
author = {Nicolas Brisebarre and
Mioara Joldes},
editor = {Wolfram Koepf},
title = {Chebyshev interpolation polynomial-based tools for rigorous computing},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {147--154},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837966},
doi = {10.1145/1837934.1837966},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BrisebarreJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrownS10,
author = {Christopher W. Brown and
Adam W. Strzebonski},
editor = {Wolfram Koepf},
title = {Black-box/white-box simplification and applications to quantifier
elimination},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {69--76},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837953},
doi = {10.1145/1837934.1837953},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BrownS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChaHL10,
author = {Yongjae Cha and
Mark van Hoeij and
Giles Levy},
editor = {Wolfram Koepf},
title = {Solving recurrence relations using local invariants},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {303--309},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837992},
doi = {10.1145/1837934.1837992},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChaHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenDMMXX10,
author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
editor = {Wolfram Koepf},
title = {Triangular decomposition of semi-algebraic systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {187--194},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837972},
doi = {10.1145/1837934.1837972},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ChenDMMXX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ContiGR10,
author = {Costanza Conti and
Luca Gemignani and
Lucia Romani},
editor = {Wolfram Koepf},
title = {Solving Bezout-like polynomial equations for the design of interpolatory
subdivision schemes},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {251--256},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837983},
doi = {10.1145/1837934.1837983},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ContiGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Eberly10,
author = {Wayne Eberly},
editor = {Wolfram Koepf},
title = {Yet another block Lanczos algorithm: how to simplify the computation
and reduce reliance on preconditioners in the small field case},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {289--296},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837989},
doi = {10.1145/1837934.1837989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Eberly10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EmirisGT10,
author = {Ioannis Z. Emiris and
Andr{\'{e}} Galligo and
Elias P. Tsigaridas},
editor = {Wolfram Koepf},
title = {Random polynomials and expected complexity of bisection methods for
real solving},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {235--242},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837980},
doi = {10.1145/1837934.1837980},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/EmirisGT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EmirisMT10,
author = {Ioannis Z. Emiris and
Bernard Mourrain and
Elias P. Tsigaridas},
editor = {Wolfram Koepf},
title = {The {DMM} bound: multivariate (aggregate) separation bounds},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {243--250},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837981},
doi = {10.1145/1837934.1837981},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/EmirisMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereDS10,
author = {Jean{-}Charles Faug{\`{e}}re and
Mohab Safey El Din and
Pierre{-}Jean Spaenlehauer},
editor = {Wolfram Koepf},
title = {Computing loci of rank defects of linear matrices using Gr{\"{o}}bner
bases and applications to cryptology},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {257--264},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837984},
doi = {10.1145/1837934.1837984},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/FaugereDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereGP10,
author = {Jean{-}Charles Faug{\`{e}}re and
Joachim von zur Gathen and
Ludovic Perret},
editor = {Wolfram Koepf},
title = {Decomposition of generic multivariate polynomials},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {131--137},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837963},
doi = {10.1145/1837934.1837963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FaugereGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GaoGV10,
author = {Shuhong Gao and
Yinhua Guan and
Frank Volny},
editor = {Wolfram Koepf},
title = {A new incremental algorithm for computing Groebner bases},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {13--19},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837944},
doi = {10.1145/1837934.1837944},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GaoGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GathenGZ10,
author = {Joachim von zur Gathen and
Mark Giesbrecht and
Konstantin Ziegler},
editor = {Wolfram Koepf},
title = {Composition collisions and projective polynomials: statement of results},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {123--130},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837962},
doi = {10.1145/1837934.1837962},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GathenGZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GerdtR10,
author = {Vladimir P. Gerdt and
Daniel Robertz},
editor = {Wolfram Koepf},
title = {Consistency of finite difference approximations for linear {PDE} systems
and its algorithmic verification},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {53--59},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837950},
doi = {10.1145/1837934.1837950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GerdtR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Gerhard10,
author = {J{\"{u}}rgen Gerhard},
editor = {Wolfram Koepf},
title = {Asymptotically fast algorithms for modern computer algebra},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {9--10},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837941},
doi = {10.1145/1837934.1837941},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Gerhard10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GrigorievS10,
author = {Dima Grigoriev and
Fritz Schwarz},
editor = {Wolfram Koepf},
title = {Absolute factoring of non-holonomic ideals in the plane},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {93--97},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837957},
doi = {10.1145/1837934.1837957},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GrigorievS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuoDZ10,
author = {Feng Guo and
Mohab Safey El Din and
Lihong Zhi},
editor = {Wolfram Koepf},
title = {Global optimization of polynomials using generalized critical values
and sums of squares},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {107--114},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837960},
doi = {10.1145/1837934.1837960},
timestamp = {Thu, 11 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GuoDZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HarveyR10,
author = {David Harvey and
Daniel S. Roche},
editor = {Wolfram Koepf},
title = {An in-place truncated fourier transform and applications to polynomial
multiplication},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {325--329},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837996},
doi = {10.1145/1837934.1837996},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HarveyR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoeijL10,
author = {Mark van Hoeij and
Giles Levy},
editor = {Wolfram Koepf},
title = {Liouvillian solutions of irreducible second order linear difference
equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {297--301},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837991},
doi = {10.1145/1837934.1837991},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HoeijL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoeijY10,
author = {Mark van Hoeij and
Quan Yuan},
editor = {Wolfram Koepf},
title = {Finding all bessel type solutions for linear differential equations
with rational function coefficients},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {37--44},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837948},
doi = {10.1145/1837934.1837948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/HoeijY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Hubert10,
author = {Evelyne Hubert},
editor = {Wolfram Koepf},
title = {Algebraic invariants and their differential algebras},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {1--2},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837936},
doi = {10.1145/1837934.1837936},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Hubert10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HuttonKZ10,
author = {Sharon Hutton and
Erich L. Kaltofen and
Lihong Zhi},
editor = {Wolfram Koepf},
title = {Computing the radius of positive semidefiniteness of a multivariate
real polynomial via a dual of Seidenberg's method},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {227--234},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837979},
doi = {10.1145/1837934.1837979},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HuttonKZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/JeannerodM10,
author = {Claude{-}Pierre Jeannerod and
Christophe Mouilleron},
editor = {Wolfram Koepf},
title = {Computing specified generators of structured matrix inverses},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {281--288},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837988},
doi = {10.1145/1837934.1837988},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/JeannerodM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurSW10,
author = {Deepak Kapur and
Yao Sun and
Dingkang Wang},
editor = {Wolfram Koepf},
title = {A new algorithm for computing comprehensive Gr{\"{o}}bner systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {29--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837946},
doi = {10.1145/1837934.1837946},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KauersP10,
author = {Manuel Kauers and
Veronika Pillwein},
editor = {Wolfram Koepf},
title = {When can we detect that a P-finite sequence is positive?},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {195--201},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837974},
doi = {10.1145/1837934.1837974},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KauersP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KauersS10,
author = {Manuel Kauers and
Carsten Schneider},
editor = {Wolfram Koepf},
title = {Partial denominator bounds for partial linear difference equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {211--218},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837976},
doi = {10.1145/1837934.1837976},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KauersS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KhonjiPRRS10,
author = {Majid Khonji and
Cl{\'{e}}ment Pernet and
Jean{-}Louis Roch and
Thomas Roche and
Thomas Stalinski},
editor = {Wolfram Koepf},
title = {Output-sensitive decoding for redundant residue systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {265--272},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837985},
doi = {10.1145/1837934.1837985},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KhonjiPRRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LemaireU10,
author = {Fran{\c{c}}ois Lemaire and
Asli {\"{U}}rg{\"{u}}pl{\"{u}}},
editor = {Wolfram Koepf},
title = {A method for semi-rectifying algebraic and differential systems using
scaling type lie point symmetries with linear algebra},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {85--92},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837956},
doi = {10.1145/1837934.1837956},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LemaireU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiYZ10,
author = {Zijia Li and
Zhengfeng Yang and
Lihong Zhi},
editor = {Wolfram Koepf},
title = {Blind image deconvolution via fast approximate {GCD}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {155--162},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837967},
doi = {10.1145/1837934.1837967},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LiYZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LintonHKZTHR10,
author = {Steve Linton and
Kevin Hammond and
Alexander Konovalov and
Abdallah Al Zain and
Philip W. Trinder and
Peter Horn and
Dan Roozemond},
editor = {Wolfram Koepf},
title = {Easy composition of symbolic computation software: a new lingua franca
for symbolic computation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {339--346},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837999},
doi = {10.1145/1837934.1837999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LintonHKZTHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MayrR10,
author = {Ernst W. Mayr and
Stephan Ritscher},
editor = {Wolfram Koepf},
title = {Degree bounds for Gr{\"{o}}bner bases of low-dimensional polynomial
ideals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {21--27},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837945},
doi = {10.1145/1837934.1837945},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MayrR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Mezzarobba10,
author = {Marc Mezzarobba},
editor = {Wolfram Koepf},
title = {NumGfun: a package for numerical and analytic computation with D-finite
functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {139--145},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837965},
doi = {10.1145/1837934.1837965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Mezzarobba10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PanZ10,
author = {Victor Y. Pan and
Ailong Zheng},
editor = {Wolfram Koepf},
title = {Real and complex polynomial root-finding with eigen-solving and preprocessing},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {219--226},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837978},
doi = {10.1145/1837934.1837978},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/PanZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Roune10,
author = {Bjarke Hammersholt Roune},
editor = {Wolfram Koepf},
title = {A Slice algorithm for corners and Hilbert-Poincar{\'{e}} series
of monomial ideals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {115--122},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837961},
doi = {10.1145/1837934.1837961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Roune10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Rump10,
author = {Siegfried M. Rump},
editor = {Wolfram Koepf},
title = {Verification methods: rigorous results using floating-point arithmetic},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {3--4},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837937},
doi = {10.1145/1837934.1837937},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Rump10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Rupp10,
author = {Karl Rupp},
editor = {Wolfram Koepf},
title = {Symbolic integration at compile time in finite element methods},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {347--354},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1838000},
doi = {10.1145/1837934.1838000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Rupp10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SevillaW10,
author = {David Sevilla and
Daniel Wachsmuth},
editor = {Wolfram Koepf},
title = {Polynomial integration on regions defined by a triangle and a conic},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {163--170},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837968},
doi = {10.1145/1837934.1837968},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SevillaW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ShiC10,
author = {Xiaoran Shi and
Falai Chen},
editor = {Wolfram Koepf},
title = {Computing the singularities of rational space curves},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {171--178},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837970},
doi = {10.1145/1837934.1837970},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ShiC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SlaviciDKC10,
author = {Vlad Slavici and
Xin Dong and
Daniel Kunkle and
Gene Cooperman},
editor = {Wolfram Koepf},
title = {Fast multiplication of large permutations for disk, flash memory and
{RAM}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {355--362},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1838001},
doi = {10.1145/1837934.1838001},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SlaviciDKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SottileVV10,
author = {Frank Sottile and
Ravi Vakil and
Jan Verschelde},
editor = {Wolfram Koepf},
title = {Solving schubert problems with Littlewood-Richardson homotopies},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {179--186},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837971},
doi = {10.1145/1837934.1837971},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SottileVV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Strzebonski10,
author = {Adam W. Strzebonski},
editor = {Wolfram Koepf},
title = {Computation with semialgebraic sets represented by cylindrical algebraic
formulas},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {61--68},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837952},
doi = {10.1145/1837934.1837952},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Strzebonski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SturmZ10,
author = {Thomas Sturm and
Christoph Zengler},
editor = {Wolfram Koepf},
title = {Parametric quantified {SAT} solving},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {77--84},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837954},
doi = {10.1145/1837934.1837954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SturmZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Tiwari10,
author = {Ashish Tiwari},
editor = {Wolfram Koepf},
title = {Theory of reals for verification and synthesis of hybrid dynamical
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {5--6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837938},
doi = {10.1145/1837934.1837938},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Tiwari10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Tsarev10,
author = {Sergey P. Tsarev},
editor = {Wolfram Koepf},
title = {Transformation and factorization of partial differential systems:
applications to stochastic systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {11--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837942},
doi = {10.1145/1837934.1837942},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Tsarev10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Zanoni10,
author = {Alberto Zanoni},
editor = {Wolfram Koepf},
title = {Iterative Toom-Cook methods for very unbalanced long integer multiplication},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {319--323},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837995},
doi = {10.1145/1837934.1837995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Zanoni10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2010,
editor = {Wolfram Koepf},
title = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0150-3},
timestamp = {Tue, 05 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/2010.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-04-19 17:43 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:
