default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/issac/issac2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/AnanthD11,
author = {Prabhanjan Vijendra Ananth and
Ambedkar Dukkipati},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Border basis detection is NP-complete},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {11--18},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993895},
doi = {10.1145/1993886.1993895},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AnanthD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Aparicio-MonforteBSW11,
author = {Ainhoa Aparicio{-}Monforte and
Moulay A. Barkatou and
Sergi Simon and
Jacques{-}Arthur Weil},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Formal first integrals along solutions of differential systems {I}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {19--26},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993896},
doi = {10.1145/1993886.1993896},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Aparicio-MonforteBSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BembeG11,
author = {Daniel Bemb{\'{e}} and
Andr{\'{e}} Galligo},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Virtual roots of a real polynomial and fractional derivatives},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {27--34},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993897},
doi = {10.1145/1993886.1993897},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BembeG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BernardiBCM11,
author = {Alessandra Bernardi and
J{\'{e}}r{\^{o}}me Brachat and
Pierre Comon and
Bernard Mourrain},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Multihomogeneous polynomial decomposition using moment matrices},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {35--42},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993898},
doi = {10.1145/1993886.1993898},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BernardiBCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BorweinS11,
author = {Jonathan M. Borwein and
Armin Straub},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Special values of generalized log-sine integrals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {43--50},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993899},
doi = {10.1145/1993886.1993899},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BorweinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrightS11,
author = {Curtis Bright and
Arne Storjohann},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Vector rational number reconstruction},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {51--58},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993900},
doi = {10.1145/1993886.1993900},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BrightS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Burgisser11,
author = {Peter B{\"{u}}rgisser},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Probabilistic analysis of condition numbers},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {5--6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993891},
doi = {10.1145/1993886.1993891},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Burgisser11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Burton11,
author = {Benjamin A. Burton},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Detecting genus in vertex links for the fast enumeration of 3-manifold
triangulations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {59--66},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993901},
doi = {10.1145/1993886.1993901},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Burton11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CabarcasD11,
author = {Daniel Cabarcas and
Jintai Ding},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Linear algebra to compute syzygies and Gr{\"{o}}bner bases},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {67--74},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993902},
doi = {10.1145/1993886.1993902},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CabarcasD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenDMXX11,
author = {Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Computing with semi-algebraic sets represented by triangular decomposition},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {75--82},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993903},
doi = {10.1145/1993886.1993903},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ChenDMXX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenFFL11,
author = {Shaoshi Chen and
Ruyong Feng and
Guofeng Fu and
Ziming Li},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {On the structure of compatible rational functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {91--98},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993905},
doi = {10.1145/1993886.1993905},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChenFFL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenM11,
author = {Changbo Chen and
Marc Moreno Maza},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Algorithms for computing triangular decompositions of polynomial systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {83--90},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993904},
doi = {10.1145/1993886.1993904},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChenM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EderP11,
author = {Christian Eder and
John Edward Perry},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Signature-based algorithms to compute Gr{\"{o}}bner bases},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {99--106},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993906},
doi = {10.1145/1993886.1993906},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/EderP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FangH11,
author = {Tingting Fang and
Mark van Hoeij},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {2-descent for second order linear differential equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {107--114},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993907},
doi = {10.1145/1993886.1993907},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FangH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereM11,
author = {Jean{-}Charles Faug{\`{e}}re and
Chenqi Mou},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Fast algorithm for change of ordering of zero-dimensional Gr{\"{o}}bner
bases with sparse multiplication matrices},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {115--122},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993908},
doi = {10.1145/1993886.1993908},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FaugereM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiesbrechtR11,
author = {Mark Giesbrecht and
Daniel S. Roche},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Diversification improves interpolation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {123--130},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993909},
doi = {10.1145/1993886.1993909},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GiesbrechtR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GreuetD11,
author = {Aur{\'{e}}lien Greuet and
Mohab Safey El Din},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Deciding reachability of the infimum of a multivariate polynomial},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {131--138},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993910},
doi = {10.1145/1993886.1993910},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/GreuetD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuoL11,
author = {Leilei Guo and
Feng Liu},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {An algorithm for computing set-theoretic generators of an algebraic
variety},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {139--146},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993911},
doi = {10.1145/1993886.1993911},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GuoL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuoSZ11,
author = {Li Guo and
William Y. Sit and
Ronghua Zhang},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {On Rota's problem for linear operators in associative algebras},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {147--154},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993912},
doi = {10.1145/1993886.1993912},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GuoSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GuptaS11,
author = {Somit Gupta and
Arne Storjohann},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Computing hermite forms of polynomial matrices},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {155--162},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993913},
doi = {10.1145/1993886.1993913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GuptaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HartHN11,
author = {William Hart and
Mark van Hoeij and
Andrew Novocin},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Practical polynomial factoring in polynomial time},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {163--170},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993914},
doi = {10.1145/1993886.1993914},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HartHN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HoeijKN11,
author = {Mark van Hoeij and
J{\"{u}}rgen Kl{\"{u}}ners and
Andrew Novocin},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Generating subfields},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {345--352},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993937},
doi = {10.1145/1993886.1993937},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HoeijKN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenN11,
author = {Erich L. Kaltofen and
Michael Nehring},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Supersparse black box rational function interpolation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {177--186},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993916},
doi = {10.1145/1993886.1993916},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KaltofenN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenNS11,
author = {Erich L. Kaltofen and
Michael Nehring and
B. David Saunders},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Quadratic-time certificates in linear algebra},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {171--176},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993915},
doi = {10.1145/1993886.1993915},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KaltofenNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaminskiS11,
author = {Jeremy Yrmeyahu Kaminski and
Yann Sepulcre},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Using discriminant curves to recover a surface of P\({}^{\mbox{4}}\)
from two generic linear projections},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {187--192},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993917},
doi = {10.1145/1993886.1993917},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KaminskiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KapurSW11,
author = {Deepak Kapur and
Yao Sun and
Dingkang Wang},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Computing comprehensive Gr{\"{o}}bner systems and comprehensive
Gr{\"{o}}bner bases simultaneously},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {193--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993918},
doi = {10.1145/1993886.1993918},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KapurSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kauers11,
author = {Manuel Kauers},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {The concrete tetrahedron},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {7--8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993892},
doi = {10.1145/1993886.1993892},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Kauers11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KauersS11,
author = {Manuel Kauers and
Carsten Schneider},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {A refined denominator bounding algorithm for multivariate linear difference
equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {201--208},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993919},
doi = {10.1145/1993886.1993919},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KauersS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KerberS11,
author = {Michael Kerber and
Michael Sagraloff},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Efficient real root approximation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {209--216},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993920},
doi = {10.1145/1993886.1993920},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KerberS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiGY11,
author = {Wei Li and
Xiao{-}Shan Gao and
Chun{-}Ming Yuan},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Sparse differential resultant},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {225--232},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993922},
doi = {10.1145/1993886.1993922},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LiGY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiR11,
author = {Yue Li and
Gabriel Dos Reis},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {An automatic parallelization framework for algebraic computation systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {233--240},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993923},
doi = {10.1145/1993886.1993923},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiSYL11,
author = {Hongbo Li and
Ruiyong Sun and
Shoubin Yao and
Ge Li},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Approximate rational solutions torational ODEs defined on discrete
differentiable curves},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {217--224},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993921},
doi = {10.1145/1993886.1993921},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LiSYL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MaZ11,
author = {Yue Ma and
Lihong Zhi},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {The minimum-rank gram matrix completion via modified fixed point continuation
method},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {241--248},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993924},
doi = {10.1145/1993886.1993924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MaZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MantzaflarisM11,
author = {Angelos Mantzaflaris and
Bernard Mourrain},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Deflation and certified isolation of singular zeros of polynomial
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {249--256},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993925},
doi = {10.1145/1993886.1993925},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MantzaflarisM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MayrR11,
author = {Ernst W. Mayr and
Stephan Ritscher},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Space-efficient Gr{\"{o}}bner basis computation without degree
bounds},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {257--264},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993926},
doi = {10.1145/1993886.1993926},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MayrR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Miller11,
author = {Victor S. Miller},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Computational aspects of elliptic curves and modular forms},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {1--2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993888},
doi = {10.1145/1993886.1993888},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Miller11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Moody11,
author = {Dustin Moody},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Division polynomials for Jacobi quartic curves},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {265--272},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993927},
doi = {10.1145/1993886.1993927},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Moody11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Nagasaka11,
author = {Kosaku Nagasaka},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Computing a structured Gr{\"{o}}bner basis approximately},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {273--280},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993928},
doi = {10.1145/1993886.1993928},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Nagasaka11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PanQZ11,
author = {Victor Y. Pan and
Guoliang Qian and
Ailong Zheng},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Randomized preconditioning of the {MBA} algorithm},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {281--288},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993929},
doi = {10.1145/1993886.1993929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/PanQZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Pospelov11,
author = {Alexey Pospelov},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Fast fourier transforms over poor fields},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {289--296},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993930},
doi = {10.1145/1993886.1993930},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Pospelov11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SarkarS11,
author = {Soumojit Sarkar and
Arne Storjohann},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Normalization of row reduced matrices},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {297--304},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993931},
doi = {10.1145/1993886.1993931},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SarkarS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SaundersWY11,
author = {B. David Saunders and
David Harlan Wood and
Bryan S. Youse},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Numeric-symbolic exact rational linear system solver},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {305--312},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993932},
doi = {10.1145/1993886.1993932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SaundersWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SheXZ11,
author = {Zhikun She and
Bai Xue and
Zhiming Zheng},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Algebraic analysis on asymptotic stability of continuous dynamical
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {313--320},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993933},
doi = {10.1145/1993886.1993933},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SheXZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/StrzebonskiT11,
author = {Adam W. Strzebonski and
Elias P. Tsigaridas},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Univariate real root isolation in an extension field},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {321--328},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993934},
doi = {10.1145/1993886.1993934},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/StrzebonskiT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SturmT11,
author = {Thomas Sturm and
Ashish Tiwari},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Verification and synthesis using real quantifier elimination},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {329--336},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993935},
doi = {10.1145/1993886.1993935},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SturmT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SunW11,
author = {Yao Sun and
Dingkang Wang},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {A generalized criterion for signature related Gr{\"{o}}bner basis
algorithms},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {337--344},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993936},
doi = {10.1145/1993886.1993936},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SunW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Szanto11,
author = {{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Hybrid symbolic-numeric methods for the solution of polynomial systems:
tutorial overview},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {9--10},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993893},
doi = {10.1145/1993886.1993893},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Szanto11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Villard11,
author = {Gilles Villard},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Recent progress in linear algebra and lattice basis reduction},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {3--4},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993889},
doi = {10.1145/1993886.1993889},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Villard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/YapS11,
author = {Chee{-}Keng Yap and
Michael Sagraloff},
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {A simple but exact and efficient algorithm for complex root isolation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
pages = {353--360},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993886.1993938},
doi = {10.1145/1993886.1993938},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/YapS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2011,
editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
title = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0675-1},
timestamp = {Thu, 09 Jun 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/2011.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.
retrieved on 2025-01-14 06:44 CET 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:
