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/issac2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/issac/BarkatouP07,
author = {Moulay A. Barkatou and
Eckhard Pfl{\"{u}}gel},
editor = {Dongming Wang},
title = {Computing super-irreducible forms of systems of linear differential
equations via moser-reduction: a new approach},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {1--8},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277550},
doi = {10.1145/1277548.1277550},
timestamp = {Mon, 22 Apr 2024 21:24:34 +0200},
biburl = {https://dblp.org/rec/conf/issac/BarkatouP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BiniB07,
author = {Dario Andrea Bini and
Paola Boito},
editor = {Dongming Wang},
title = {Structured matrix-based methods for polynomial in-gcd: analysis and
comparisons},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {9--16},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277551},
doi = {10.1145/1277548.1277551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BiniB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BodratoZ07,
author = {Marco Bodrato and
Alberto Zanoni},
editor = {Dongming Wang},
title = {Integer and polynomial multiplication: towards optimal toom-cook matrices},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {17--24},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277552},
doi = {10.1145/1277548.1277552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BodratoZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanCSLS07,
author = {Alin Bostan and
Fr{\'{e}}d{\'{e}}ric Chyzak and
Bruno Salvy and
Gr{\'{e}}goire Lecerf and
{\'{E}}ric Schost},
editor = {Dongming Wang},
title = {Differential equations for algebraic functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {25--32},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277553},
doi = {10.1145/1277548.1277553},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BostanCSLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BostanJS07,
author = {Alin Bostan and
Claude{-}Pierre Jeannerod and
{\'{E}}ric Schost},
editor = {Dongming Wang},
title = {Solving toeplitz- and vandermonde-like linear systems with large displacement
rank},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {33--40},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277554},
doi = {10.1145/1277548.1277554},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BostanJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BremnerHP07,
author = {Murray R. Bremner and
Michael J. Hancock and
Yunfeng Piao},
editor = {Dongming Wang},
title = {Nonassociative structures on polynomial algebras arising from bio-operations
on formal languages: an application of computer algebra to nonassociative
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {41--48},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277555},
doi = {10.1145/1277548.1277555},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BremnerHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrettoG07,
author = {Alain Bretto and
Luc Gillibert},
editor = {Dongming Wang},
title = {G-graphs for the cage problem: a new upper bound},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {49--53},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277556},
doi = {10.1145/1277548.1277556},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BrettoG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BrownD07,
author = {Christopher W. Brown and
James H. Davenport},
editor = {Dongming Wang},
title = {The complexity of quantifier elimination and cylindrical algebraic
decomposition},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {54--60},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277557},
doi = {10.1145/1277548.1277557},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/BrownD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BurgisserS07,
author = {Peter B{\"{u}}rgisser and
Peter Scheiblechner},
editor = {Dongming Wang},
title = {Differential forms in computational algebraic geometry},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {61--68},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277558},
doi = {10.1145/1277548.1277558},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BurgisserS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BuseD07,
author = {Laurent Bus{\'{e}} and
Marc Dohm},
editor = {Dongming Wang},
title = {Implicitization of bihomogeneous parametrizations of algebraic surfaces
via linear syzygies},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {69--76},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277559},
doi = {10.1145/1277548.1277559},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BuseD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Carette07,
author = {Jacques Carette},
editor = {Dongming Wang},
title = {A canonical form for piecewise defined functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {77--84},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277560},
doi = {10.1145/1277548.1277560},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Carette07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChengGY07,
author = {Jin{-}San Cheng and
Xiao{-}Shan Gao and
Chee{-}Keng Yap},
editor = {Dongming Wang},
title = {Complete numerical isolation of real zeros in zero-dimensional triangular
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {92--99},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277562},
doi = {10.1145/1277548.1277562},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ChengGY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChengHTZZ07,
author = {Howard Cheng and
Guillaume Hanrot and
Emmanuel Thom{\'{e}} and
Paul Zimmermann and
Eugene V. Zima},
editor = {Dongming Wang},
title = {Time-and space-efficient evaluation of some hypergeometric constants},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {85--91},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277561},
doi = {10.1145/1277548.1277561},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/ChengHTZZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CicaloG07,
author = {Serena Cical{\`{o}} and
Willem A. de Graaf},
editor = {Dongming Wang},
title = {Non-associative gr{\"{o}}bner bases, finitely-presented lie rings
and the engel condition},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {100--107},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277563},
doi = {10.1145/1277548.1277563},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CicaloG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessA07,
author = {Robert M. Corless and
Dawit Assefa},
editor = {Dongming Wang},
title = {Jeffery-hamel flow with maple: : a case study of integration of elliptic
functions in a cas},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {108--115},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277564},
doi = {10.1145/1277548.1277564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CorlessA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessDJ07,
author = {Robert M. Corless and
Hui Ding and
David J. Jeffrey},
editor = {Dongming Wang},
title = {The solution of \emph{s} exp(\emph{s}) = \emph{a} is not always the
lambert \emph{w} function of \emph{a}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {116--121},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277565},
doi = {10.1145/1277548.1277565},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/CorlessDJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Cox07,
author = {David A. Cox},
editor = {Dongming Wang},
title = {Gr{\"{o}}bner bases: a sampler of recent developments},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {387--388},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277601},
doi = {10.1145/1277548.1277601},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Cox07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DimitrovaJLS07,
author = {Elena S. Dimitrova and
Abdul Salam Jarrah and
Reinhard C. Laubenbacher and
Brandilyn Stigler},
editor = {Dongming Wang},
title = {A Gr{\"{o}}bner fan method for biochemical network modeling},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {122--126},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277566},
doi = {10.1145/1277548.1277566},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DimitrovaJLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DiochnosET07,
author = {Dimitrios I. Diochnos and
Ioannis Z. Emiris and
Elias P. Tsigaridas},
editor = {Dongming Wang},
title = {On the complexity of real solving bivariate systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {127--134},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277567},
doi = {10.1145/1277548.1277567},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DiochnosET07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DridiP07,
author = {Raouf Dridi and
Michel Petitot},
editor = {Dongming Wang},
title = {Towards a new ode solver based on cartan's equivalence method},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {135--142},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277568},
doi = {10.1145/1277548.1277568},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/DridiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EberlyGGSV07,
author = {Wayne Eberly and
Mark Giesbrecht and
Pascal Giorgi and
Arne Storjohann and
Gilles Villard},
editor = {Dongming Wang},
title = {Faster inversion and other black box matrix computations using efficient
block projections},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {143--150},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277569},
doi = {10.1145/1277548.1277569},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/EberlyGGSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/EigenwilligKW07,
author = {Arno Eigenwillig and
Michael Kerber and
Nicola Wolpert},
editor = {Dongming Wang},
title = {Fast and exact geometric analysis of real algebraic plane curves},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {151--158},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277570},
doi = {10.1145/1277548.1277570},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/EigenwilligKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ElkadiG07,
author = {Mohamed Elkadi and
Andr{\'{e}} Galligo},
editor = {Dongming Wang},
title = {Systems of three polynomials with two separated variables},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {159--166},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277571},
doi = {10.1145/1277548.1277571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/ElkadiG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Gathen07,
author = {Joachim von zur Gathen},
editor = {Dongming Wang},
title = {Counting reducible and singular bivariate polynomials},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {369--376},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277598},
doi = {10.1145/1277548.1277598},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Gathen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GaudryKZ07,
author = {Pierrick Gaudry and
Alexander Kruppa and
Paul Zimmermann},
editor = {Dongming Wang},
title = {A gmp-based implementation of sch{\"{o}}nhage-strassen's large
integer multiplication algorithm},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {167--174},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277572},
doi = {10.1145/1277548.1277572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/GaudryKZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Gemignani07,
author = {Luca Gemignani},
editor = {Dongming Wang},
title = {Structured matrix methods for polynomial root-finding},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {175--180},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277573},
doi = {10.1145/1277548.1277573},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Gemignani07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Hanke07,
author = {Timo Hanke},
editor = {Dongming Wang},
title = {The isomorphism problem for cyclic algebras and an application},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {181--186},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277574},
doi = {10.1145/1277548.1277574},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Hanke07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Hoeij07,
author = {Mark van Hoeij},
editor = {Dongming Wang},
title = {Solving third order linear differential equations in terms of second
order equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {355--360},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277596},
doi = {10.1145/1277548.1277596},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Hoeij07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/JavadiM07,
author = {Seyed Mohammad Mahdi Javadi and
Michael B. Monagan},
editor = {Dongming Wang},
title = {A sparse modular {GCD} algorithm for polynomials over algebraic function
fields},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {187--194},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277575},
doi = {10.1145/1277548.1277575},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/JavadiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/JohnsonX07,
author = {Jeremy Johnson and
Xu Xu},
editor = {Dongming Wang},
title = {Generating symmetric DFTs and equivariant {FFT} algorithms},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {195--202},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277576},
doi = {10.1145/1277548.1277576},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/JohnsonX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenY07,
author = {Erich L. Kaltofen and
Zhengfeng Yang},
editor = {Dongming Wang},
title = {On exact and approximate interpolation of sparse rational functions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {203--210},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277577},
doi = {10.1145/1277548.1277577},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KaltofenY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KannoYAH07,
author = {Masaaki Kanno and
Kazuhiro Yokoyama and
Hirokazu Anai and
Shinji Hara},
editor = {Dongming Wang},
title = {Parametric optimization in control using the sum of roots for parametric
polynomial spectral factorization},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {211--218},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277578},
doi = {10.1145/1277548.1277578},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KannoYAH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KauersS07,
author = {Manuel Kauers and
Carsten Schneider},
editor = {Dongming Wang},
title = {Symbolic summation with radical expressions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {219--226},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277579},
doi = {10.1145/1277548.1277579},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KauersS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KhungurnSS07,
author = {Pramook Khungurn and
Hiroshi Sekigawa and
Kiyoshi Shirayanagi},
editor = {Dongming Wang},
title = {Minimum converging precision of the QR-factorization algorithm for
real polynomial {GCD}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {227--234},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277580},
doi = {10.1145/1277548.1277580},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/KhungurnSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KunkleC07,
author = {Daniel Kunkle and
Gene Cooperman},
editor = {Dongming Wang},
title = {Twenty-six moves suffice for Rubik's cube},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {235--242},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277581},
doi = {10.1145/1277548.1277581},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KunkleC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KurataN07,
author = {Yosuke Kurata and
Masayuki Noro},
editor = {Dongming Wang},
title = {Computation of discrete comprehensive Gr{\"{o}}bner bases using
modular dynamic evaluation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {243--250},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277582},
doi = {10.1145/1277548.1277582},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/KurataN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Levin07,
author = {Alexander B. Levin},
editor = {Dongming Wang},
title = {Gr{\"{o}}bner bases with respect to several term orderings and
multivariate dimension polynomials},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {251--260},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277583},
doi = {10.1145/1277548.1277583},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Levin07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Li07,
author = {Hongbo Li},
editor = {Dongming Wang},
title = {A recipe for symbolic geometric computing: long geometric product,
{BREEFS} and Clifford factorization},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {261--268},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277584},
doi = {10.1145/1277548.1277584},
timestamp = {Thu, 04 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Li07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiMS07,
author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
editor = {Dongming Wang},
title = {Fast arithmetic for triangular sets: from theory to practice},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {269--276},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277585},
doi = {10.1145/1277548.1277585},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LiMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MaySW07,
author = {John P. May and
David Saunders and
Zhendong Wan},
editor = {Dongming Wang},
title = {Efficient matrix rank computation with application to the study of
strongly regular graphs},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {277--284},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277586},
doi = {10.1145/1277548.1277586},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/MaySW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MihailescuMS07,
author = {P. Mihailescu and
Fran{\c{c}}ois Morain and
{\'{E}}ric Schost},
editor = {Dongming Wang},
title = {Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using
Abelian lifts},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {285--292},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277587},
doi = {10.1145/1277548.1277587},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/MihailescuMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Miyamoto07,
author = {Izumi Miyamoto},
editor = {Dongming Wang},
title = {A computation of some multiply homogeneous superschemes from transitive
permutation groups},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {293--298},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277588},
doi = {10.1145/1277548.1277588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Miyamoto07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Nabeshima07,
author = {Katsusuke Nabeshima},
editor = {Dongming Wang},
title = {A speed-up of the algorithm for computing comprehensive Gr{\"{o}}bner
systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {299--306},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277589},
doi = {10.1145/1277548.1277589},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Nabeshima07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/PernetS07,
author = {Cl{\'{e}}ment Pernet and
Arne Storjohann},
editor = {Dongming Wang},
title = {Faster algorithms for the characteristic polynomial},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {307--314},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277590},
doi = {10.1145/1277548.1277590},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/PernetS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/RobinsonMC07,
author = {Eric Robinson and
J{\"{u}}rgen M{\"{u}}ller and
Gene Cooperman},
editor = {Dongming Wang},
title = {A disk-based parallel implementation for direct condensation of large
permutation modules},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {315--322},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277591},
doi = {10.1145/1277548.1277591},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/RobinsonMC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Ruffo07,
author = {James Ruffo},
editor = {Dongming Wang},
title = {A straightening law for the Drinfel'd Lagrangian Grassmannian},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {323--330},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277592},
doi = {10.1145/1277548.1277592},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Ruffo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Schwarz07,
author = {F. Schwarz},
editor = {Dongming Wang},
title = {Loewy decomposition of linear differential equations},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {389--390},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277602},
doi = {10.1145/1277548.1277602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Schwarz07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sekigawa07,
author = {Hiroshi Sekigawa},
editor = {Dongming Wang},
title = {On real factors of real interval polynomials},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {331--338},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277593},
doi = {10.1145/1277548.1277593},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/Sekigawa07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Sharma07,
author = {Vikram Sharma},
editor = {Dongming Wang},
title = {Complexity of real root isolation using continued fractions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {339--346},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277594},
doi = {10.1145/1277548.1277594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Sharma07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SmithRJ07,
author = {Jacob N. Smith and
Gabriel Dos Reis and
Jaakko J{\"{a}}rvi},
editor = {Dongming Wang},
title = {Algorithmic differentiation in Axiom},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {347--354},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277595},
doi = {10.1145/1277548.1277595},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/SmithRJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Villard07,
author = {Gilles Villard},
editor = {Dongming Wang},
title = {Certification of the {QR} factor {R} and of lattice basis reducedness},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {361--368},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277597},
doi = {10.1145/1277548.1277597},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Villard07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Villard07a,
author = {Gilles Villard},
editor = {Dongming Wang},
title = {Some recent progress in exact linear algebra and related questions},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {391--392},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277603},
doi = {10.1145/1277548.1277603},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/Villard07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/WuR07,
author = {Wenyuan Wu and
Greg Reid},
editor = {Dongming Wang},
title = {Symbolic-numeric computation of implicit riquier bases for {PDE}},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
pages = {377--386},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1277548.1277599},
doi = {10.1145/1277548.1277599},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/WuR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2007,
editor = {Dongming Wang},
title = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-743-8},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/2007.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-06 13:33 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:
