default search action
Search dblp for Publications
export results for "toc:db/conf/issac/issac2007.bht:"
@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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
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.