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/issac2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/Abramov08,
author = {Sergei A. Abramov},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Power series and linear difference equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {1--2},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390769},
doi = {10.1145/1390768.1390769},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Abramov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AchatzMW08,
author = {Melanie Achatz and
Scott McCallum and
Volker Weispfenning},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Deciding polynomial-exponential problems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {215--222},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390799},
doi = {10.1145/1390768.1390799},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AchatzMW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AntritterL08,
author = {Felix Antritter and
Jean L{\'{e}}vine},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Towards a computer algebraic algorithm for flat output determination},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {7--14},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390773},
doi = {10.1145/1390768.1390773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/AntritterL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AschenbrennerH08,
author = {Matthias Aschenbrenner and
Christopher J. Hillar},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {An algorithm for finding symmetric Grobner bases in infinite dimensional
rings},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {117--124},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390787},
doi = {10.1145/1390768.1390787},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AschenbrennerH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BarkatouBP08,
author = {Moulay A. Barkatou and
Gary Broughton and
Eckhard Pfl{\"{u}}gel},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Regular systems of linear functional equations and applications},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {15--22},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390774},
doi = {10.1145/1390768.1390774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BarkatouBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanCR08,
author = {Alin Bostan and
Fr{\'{e}}d{\'{e}}ric Chyzak and
Nicolas Le Roux},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Products of ordinary differential operators by evaluation and interpolation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {23--30},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390775},
doi = {10.1145/1390768.1390775},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BostanCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanSS08,
author = {Alin Bostan and
Bruno Salvy and
{\'{E}}ric Schost},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Power series composition and change of basis},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {269--276},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390806},
doi = {10.1145/1390768.1390806},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BostanSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrickensteinD08,
author = {Michael Brickenstein and
Alexander Dreyer},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Gr{\"{o}}bner-free normal forms for boolean polynomials},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {55--62},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390779},
doi = {10.1145/1390768.1390779},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BrickensteinD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BurrCGY08,
author = {Michael A. Burr and
Sung Woo Choi and
Benjamin Galehouse and
Chee{-}Keng Yap},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Complete subdivision algorithms, {II:} isotopic meshing of singular
algebraic curves},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {87--94},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390783},
doi = {10.1145/1390768.1390783},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BurrCGY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CaboaraCT08,
author = {Massimo Caboara and
Fabrizio Caruso and
Carlo Traverso},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Gr{\"{o}}bner bases for public key cryptography},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {315--324},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390811},
doi = {10.1145/1390768.1390811},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CaboaraCT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DebeerstHK08,
author = {Ruben Debeerst and
Mark van Hoeij and
Wolfram Koepf},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Solving differential equations in terms of bessel functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {39--46},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390777},
doi = {10.1145/1390768.1390777},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DebeerstHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DiattaMR08,
author = {Daouda Niang Diatta and
Bernard Mourrain and
Olivier Ruatta},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {On the computation of the topology of a non-reduced implicit space
curve},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {47--54},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390778},
doi = {10.1145/1390768.1390778},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DiattaMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Din08,
author = {Mohab Safey El Din},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Computing the global optimum of a multivariate polynomial over the
reals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {71--78},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390781},
doi = {10.1145/1390768.1390781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Din08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dumas08,
author = {Jean{-}Guillaume Dumas},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Q-adic transform revisited},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {63--70},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390780},
doi = {10.1145/1390768.1390780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Dumas08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/FaugereMRD08,
author = {Jean{-}Charles Faug{\`{e}}re and
Guillaume Moroz and
Fabrice Rouillier and
Mohab Safey El Din},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Classification of the perspective-three-point problem, discriminant
variety and real solving polynomial systems of inequalities},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {79--86},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390782},
doi = {10.1145/1390768.1390782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/FaugereMRD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Fukuda08,
author = {Komei Fukuda},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Exact algorithms and software in optimization and polyhedral computation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {333--334},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390814},
doi = {10.1145/1390768.1390814},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Fukuda08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GerdtZ08,
author = {Vladimir P. Gerdt and
Mikhail V. Zinin},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {A pommaret division algorithm for computing Grobner bases in boolean
rings},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {95--102},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390784},
doi = {10.1145/1390768.1390784},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GerdtZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiesbrechtR08,
author = {Mark Giesbrecht and
Daniel S. Roche},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {On lacunary polynomial perfect powers},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {103--110},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390785},
doi = {10.1145/1390768.1390785},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GiesbrechtR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GrigorievS08,
author = {Dima Grigoriev and
Fritz Schwarz},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Loewy decomposition of third-order linear aPDE's in the plane},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {277--286},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390807},
doi = {10.1145/1390768.1390807},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GrigorievS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HenrionS08,
author = {Didier Henrion and
Michael Sebek},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Plane geometry and convexity of polynomial stability regions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {111--116},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390786},
doi = {10.1145/1390768.1390786},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/HenrionS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Janovitz-FreireichSMR08,
author = {Itnuit Janovitz{-}Freireich and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}} and
Bernard Mourrain and
Lajos R{\'{o}}nyai},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Moment matrices, trace matrices and the radical of ideals},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {125--132},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390788},
doi = {10.1145/1390768.1390788},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Janovitz-FreireichSMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KadyrsizovaR08,
author = {Zhibek Kadyrsizova and
Valery G. Romanovski},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {255--260},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390804},
doi = {10.1145/1390768.1390804},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KadyrsizovaR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenK08,
author = {Erich L. Kaltofen and
Pascal Koiran},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Expressing a fraction of two determinants as a determinant},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {141--146},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390790},
doi = {10.1145/1390768.1390790},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KaltofenK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenLYZ08,
author = {Erich L. Kaltofen and
Bin Li and
Zhengfeng Yang and
Lihong Zhi},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Exact certification of global optimality of approximate factorizations
via rationalizing sums-of-squares with floating point scalars},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {155--164},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390792},
doi = {10.1145/1390768.1390792},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KaltofenLYZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KannoYAH08,
author = {Masaaki Kanno and
Kazuhiro Yokoyama and
Hirokazu Anai and
Shinji Hara},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Symbolic optimization of algebraic functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {147--154},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390791},
doi = {10.1145/1390768.1390791},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KannoYAH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kauers08,
author = {Manuel Kauers},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Integration of algebraic functions: a simple heuristic for finding
the logarithmic part},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {133--140},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390789},
doi = {10.1145/1390768.1390789},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Kauers08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Kemper08,
author = {Gregor Kemper},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Algorithmic invariant theory},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {335--336},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390815},
doi = {10.1145/1390768.1390815},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Kemper08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LemaireMPX08,
author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {When does (\emph{T}) equal sat(\emph{T})?},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {207--214},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390798},
doi = {10.1145/1390768.1390798},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LemaireMPX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LevandovskyyM08,
author = {Viktor Levandovskyy and
Jorge Mart{\'{\i}}n{-}Morales},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Computational D-module theory with singular, comparison with other
systems and two new algorithms},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {173--180},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390794},
doi = {10.1145/1390768.1390794},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LevandovskyyM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Leykin08,
author = {Anton Leykin},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Numerical primary decomposition},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {165--172},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390793},
doi = {10.1145/1390768.1390793},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Leykin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiH08,
author = {Hongbo Li and
Lei Huang},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Complex brackets, balanced complex differences, and applications in
symbolic geometric computing},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {181--188},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390795},
doi = {10.1145/1390768.1390795},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/LiH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiangJM08,
author = {Songxin Liang and
David J. Jeffrey and
Marc Moreno Maza},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {The complete root classification of a parametric polynomial on an
interval},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {189--196},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390796},
doi = {10.1145/1390768.1390796},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LiangJM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LoeraLMM08,
author = {Jes{\'{u}}s A. De Loera and
Jon Lee and
Peter N. Malkin and
Susan Margulies},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Hilbert's nullstellensatz and an algorithm for proving combinatorial
infeasibility},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {197--206},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390797},
doi = {10.1145/1390768.1390797},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LoeraLMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Mansfield08,
author = {Elizabeth L. Mansfield},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Digital atlases and difference forms},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {3--4},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390770},
doi = {10.1145/1390768.1390770},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Mansfield08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PeternellO08,
author = {Martin Peternell and
Boris Odehnal},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {On generalized ln-surfaces in 4-space},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {223--230},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390800},
doi = {10.1145/1390768.1390800},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/PeternellO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Pflugel08,
author = {Eckhard Pfl{\"{u}}gel},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {A rational decomposition-lemma for systems of linear differential-algebraic
equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {231--238},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390801},
doi = {10.1145/1390768.1390801},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Pflugel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PoteauxR08,
author = {Adrien Poteaux and
Marc Rybowicz},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Good reduction of puiseux series and complexity of the Newton-Puiseux
algorithm over finite fields},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {239--246},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390802},
doi = {10.1145/1390768.1390802},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/PoteauxR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RenaultY08,
author = {Gu{\'{e}}na{\"{e}}l Renault and
Kazuhiro Yokoyama},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Multi-modular algorithm for computing the splitting field of a polynomial},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {247--254},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390803},
doi = {10.1145/1390768.1390803},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RenaultY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RosenkranzR08,
author = {Markus Rosenkranz and
Georg Regensburger},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Integro-differential polynomials and operators},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {261--268},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390805},
doi = {10.1145/1390768.1390805},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RosenkranzR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sekigawa08,
author = {Hiroshi Sekigawa},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {The nearest polynomial with a zero in a given domain from a geometrical
viewpoint},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {287--294},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390808},
doi = {10.1145/1390768.1390808},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Sekigawa08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ShemyakovaM08,
author = {Ekaterina Shemyakova and
Elizabeth L. Mansfield},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Moving frames for laplace invariants},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {295--302},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390809},
doi = {10.1145/1390768.1390809},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ShemyakovaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Stein08,
author = {William A. Stein},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Can we create a viable free open source alternative to magma, maple,
mathematica and matlab?},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {5--6},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390771},
doi = {10.1145/1390768.1390771},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Stein08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Strzebonski08,
author = {Adam W. Strzebonski},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Real root isolation for exp-log functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {303--314},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390810},
doi = {10.1145/1390768.1390810},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Strzebonski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sudan08,
author = {Madhu Sudan},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Algebraic algorithms and coding theory},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {337},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390816},
doi = {10.1145/1390768.1390816},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Sudan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/WangCD08,
author = {Xuhui Wang and
Falai Chen and
Jiansong Deng},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Implicitization and parametrization of quadratic surfaces with one
simple base point},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {31--38},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390776},
doi = {10.1145/1390768.1390776},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/WangCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/WuZ08,
author = {Xiaoli Wu and
Lihong Zhi},
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Computing the multiplicity structure from geometric involutive form},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
pages = {325--332},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390768.1390812},
doi = {10.1145/1390768.1390812},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/WuZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2008,
editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
title = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-59593-904-3},
timestamp = {Mon, 04 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/2008.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-05-28 07:23 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:
