Zhou, Wei; Labahn, George Unimodular completion of polynomial matrices. (English) Zbl 1325.68304 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 413-420 (2014). MSC: 68W30 12E05 15A54 15A83 PDFBibTeX XMLCite \textit{W. Zhou} and \textit{G. Labahn}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 413--420 (2014; Zbl 1325.68304) Full Text: DOI
van der Hoeven, Joris Faster relaxed multiplication. (English) Zbl 1325.68305 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 405-412 (2014). MSC: 68W30 13F25 65T50 68Q25 68W27 PDFBibTeX XMLCite \textit{J. van der Hoeven}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 405--412 (2014; Zbl 1325.68305) Full Text: DOI HAL
Vaccon, Tristan Matrix-F5 algorithms over finite-precision complete discrete valuation fields. (English) Zbl 1325.68303 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 397-404 (2014). MSC: 68W30 13P05 13P10 PDFBibTeX XMLCite \textit{T. Vaccon}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 397--404 (2014; Zbl 1325.68303) Full Text: DOI arXiv
Strzeboński, Adam Cylindrical algebraic decomposition using local projections. (English) Zbl 1325.68302 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 389-396 (2014). MSC: 68W30 03C10 14P10 PDFBibTeX XMLCite \textit{A. Strzeboński}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 389--396 (2014; Zbl 1325.68302) Full Text: DOI arXiv
Storjohann, Arne; Yang, Shiyun Linear independence oracles and applications to rectangular and low rank linear systems. (English) Zbl 1325.68300 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 381-388 (2014). MSC: 68W30 15A06 68Q25 68W20 PDFBibTeX XMLCite \textit{A. Storjohann} and \textit{S. Yang}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 381--388 (2014; Zbl 1325.68300) Full Text: DOI
Sendra, J. Rafael; Sevilla, David; Villarino, Carlos Covering of surfaces parametrized without projective base points. (English) Zbl 1325.68299 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 375-380 (2014). MSC: 68W30 14Q10 68U05 PDFBibTeX XMLCite \textit{J. R. Sendra} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 375--380 (2014; Zbl 1325.68299) Full Text: DOI
Saruchi; Morel, Ivan; Stehlé, Damien; Villard, Gilles LLL reducing with the most significant bits. (English) Zbl 1325.68298 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 367-374 (2014). MSC: 68W30 11H06 11Y16 PDFBibTeX XMLCite \textit{Saruchi} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 367--374 (2014; Zbl 1325.68298) Full Text: DOI
Nabeshima, Katsusuke; Tajima, Shinichi On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. (English) Zbl 1325.68297 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 351-358 (2014). MSC: 68W30 13D45 13P10 PDFBibTeX XMLCite \textit{K. Nabeshima} and \textit{S. Tajima}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 351--358 (2014; Zbl 1325.68297) Full Text: DOI
Mourrain, Bernard; Trébuchet, Philippe Toric border basis. (English) Zbl 1325.68296 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 343-350 (2014). MSC: 68W30 13P10 13P15 PDFBibTeX XMLCite \textit{B. Mourrain} and \textit{P. Trébuchet}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 343--350 (2014; Zbl 1325.68296) Full Text: DOI arXiv
Minimair, Manfred Randomized detection of extraneous factors. (English) Zbl 1325.68295 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 335-342 (2014). MSC: 68W30 13P15 68W20 PDFBibTeX XMLCite \textit{M. Minimair}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 335--342 (2014; Zbl 1325.68295) Full Text: DOI
Maddah, Suzy S.; Barkatou, Moulay A.; Abbas, Hassan On the reduction of singularly-perturbed linear differential systems. (English) Zbl 1325.68294 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 320-327 (2014). MSC: 68W30 34A30 34E20 PDFBibTeX XMLCite \textit{S. S. Maddah} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 320--327 (2014; Zbl 1325.68294) Full Text: DOI arXiv
Maddah, Suzy S.; Barkatou, Moulay A.; Abbas, Hassan Formal solutions of a class of Pfaffian systems in two variables. (English) Zbl 1325.68293 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 312-319 (2014). MSC: 68W30 34A30 35F35 PDFBibTeX XMLCite \textit{S. S. Maddah} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 312--319 (2014; Zbl 1325.68293) Full Text: DOI arXiv
Li, Hongbo; Shao, Changpeng; Huang, Lei; Liu, Yue Reduction among bracket polynomials. (English) Zbl 1325.68291 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 304-311 (2014). MSC: 68W30 12E05 13A50 13P10 PDFBibTeX XMLCite \textit{H. Li} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 304--311 (2014; Zbl 1325.68291) Full Text: DOI
Le Gall, François Powers of tensors and fast matrix multiplication. (English) Zbl 1325.65061 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 296-303 (2014). MSC: 65F30 15A69 68Q17 68Q25 68W30 PDFBibTeX XMLCite \textit{F. Le Gall}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 296--303 (2014; Zbl 1325.65061) Full Text: DOI arXiv
Kauers, Manuel Bounds for D-finite closure properties. (English) Zbl 1325.68290 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 288-295 (2014). MSC: 68W30 16S36 16Z05 PDFBibTeX XMLCite \textit{M. Kauers}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 288--295 (2014; Zbl 1325.68290) Full Text: DOI arXiv
Kaltofen, Erich L.; Yang, Zhengfeng Sparse multivariate function recovery with a high error rate in the evaluations. (English) Zbl 1325.68289 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 280-287 (2014). MSC: 68W30 41A05 65D05 94B35 PDFBibTeX XMLCite \textit{E. L. Kaltofen} and \textit{Z. Yang}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 280--287 (2014; Zbl 1325.68289) Full Text: DOI
Kaltofen, Erich L.; Pernet, Clément Sparse polynomial interpolation codes and their decoding beyond half the minimum distance. (English) Zbl 1325.68288 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 272-279 (2014). MSC: 68W30 12E05 41A05 65D05 94B35 PDFBibTeX XMLCite \textit{E. L. Kaltofen} and \textit{C. Pernet}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 272--279 (2014; Zbl 1325.68288) Full Text: DOI arXiv
Kahle, Thomas; Krone, Robert; Leykin, Anton Equivariant lattice generators and Markov bases. (English) Zbl 1325.68287 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 264-271 (2014). MSC: 68W30 11C08 62H17 PDFBibTeX XMLCite \textit{T. Kahle} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 264--271 (2014; Zbl 1325.68287) Full Text: DOI arXiv
Johansson, Fredrik Evaluating parametric holonomic sequences using rectangular splitting. (English) Zbl 1325.65178 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 256-263 (2014). MSC: 65Q30 33F10 68W30 PDFBibTeX XMLCite \textit{F. Johansson}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 256--263 (2014; Zbl 1325.65178) Full Text: DOI arXiv
Hauenstein, Jonathan D.; Haywood, Ian; Liddell, Alan C. jun. An a posteriori certification algorithm for Newton homotopies. (English) Zbl 1325.65074 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 248-255 (2014). MSC: 65H20 13P15 68T40 68W30 PDFBibTeX XMLCite \textit{J. D. Hauenstein} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 248--255 (2014; Zbl 1325.65074) Full Text: DOI
Han, Jingjun; Dai, Liyun; Xia, Bican Constructing fewer open cells by GCD computation in CAD projection. (English) Zbl 1325.68286 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 240-247 (2014). MSC: 68W30 PDFBibTeX XMLCite \textit{J. Han} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 240--247 (2014; Zbl 1325.68286) Full Text: DOI arXiv
Gross, Elizabeth; Rodriguez, Jose Israel Maximum likelihood geometry in the presence of data zeros. (English) Zbl 1325.68285 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 232-239 (2014). MSC: 68W30 13P25 14A10 62F10 PDFBibTeX XMLCite \textit{E. Gross} and \textit{J. I. Rodriguez}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 232--239 (2014; Zbl 1325.68285) Full Text: DOI arXiv
Grenet, Bruno Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach. (English) Zbl 1325.68284 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 224-231 (2014). MSC: 68W30 12E05 68Q25 PDFBibTeX XMLCite \textit{B. Grenet}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 224--231 (2014; Zbl 1325.68284) Full Text: DOI arXiv
Grasegger, Georg Radical solutions of first order autonomous algebraic ordinary differential equations. (English) Zbl 1325.68283 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 217-223 (2014). MSC: 68W30 12H20 14Q05 34A05 PDFBibTeX XMLCite \textit{G. Grasegger}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 217--223 (2014; Zbl 1325.68283) Full Text: DOI
Gómez-Torrecillas, José; Lobillo, F. J.; Navarro, Gabriel On isomorphisms of modules over non-commutative PID. (English) Zbl 1325.68282 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 210-216 (2014). MSC: 68W30 16D70 16S36 16Z05 PDFBibTeX XMLCite \textit{J. Gómez-Torrecillas} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 210--216 (2014; Zbl 1325.68282) Full Text: DOI
Giorgi, Pascal; Lebreton, Romain Online order basis algorithm and its impact on the block Wiedemann algorithm. (English) Zbl 1325.68281 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 202-209 (2014). MSC: 68W30 15A54 65F50 68W27 PDFBibTeX XMLCite \textit{P. Giorgi} and \textit{R. Lebreton}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 202--209 (2014; Zbl 1325.68281) Full Text: DOI Link
Giesbrecht, Mark; Heinle, Albert; Levandovskyy, Viktor Factoring linear differential operators in \(n\) variables. (English) Zbl 1325.68280 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 194-201 (2014). MSC: 68W30 16S32 16Z05 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 194--201 (2014; Zbl 1325.68280) Full Text: DOI arXiv
García-Morchón, Oscar; Gómez-Pérez, Domingo; Gutiérrez, Jaime; Rietman, Ronald; Tolhuizen, Ludo The MMO problem. (English) Zbl 1325.68279 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 186-193 (2014). MSC: 68W30 11T06 11T71 94A60 PDFBibTeX XMLCite \textit{O. García-Morchón} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 186--193 (2014; Zbl 1325.68279) Full Text: DOI arXiv
Faugère, Jean-Charles; Spaenlehauer, Pierre-Jean; Svartz, Jules Sparse Gröbner bases: the unmixed case. (English) Zbl 1325.68278 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 178-185 (2014). MSC: 68W30 13P10 13P15 68Q25 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 178--185 (2014; Zbl 1325.68278) Full Text: DOI arXiv
Faugère, Jean-Charles; Gaudry, Pierrick; Huot, Louise; Renault, Guénaël Sub-cubic change of ordering for Gröbner basis: a probabilistic approach. (English) Zbl 1325.68277 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 170-177 (2014). MSC: 68W30 13P10 13P15 68Q25 PDFBibTeX XMLCite \textit{J.-C. Faugère} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 170--177 (2014; Zbl 1325.68277) Full Text: DOI
Eraşcu, Mădălina; Hong, Hoon Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). (English) Zbl 1325.68276 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 162-169 (2014). MSC: 68W30 03C10 65H04 PDFBibTeX XMLCite \textit{M. Eraşcu} and \textit{H. Hong}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 162--169 (2014; Zbl 1325.68276) Full Text: DOI
Emiris, Ioannis Z.; Vidunas, Raimundas Root counts of semi-mixed systems, and an application to counting Nash equilibria. (English) Zbl 1325.68275 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 154-161 (2014). MSC: 68W30 13P15 15A15 52B20 68Q25 91A10 PDFBibTeX XMLCite \textit{I. Z. Emiris} and \textit{R. Vidunas}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 154--161 (2014; Zbl 1325.68275) Full Text: DOI
Dumas, Jean-Guillaume; Kaltofen, Erich Essentially optimal interactive certificates in linear algebra. (English) Zbl 1325.68274 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 146-153 (2014). MSC: 68W30 15B99 68P05 68Q25 68W20 94A60 PDFBibTeX XMLCite \textit{J.-G. Dumas} and \textit{E. Kaltofen}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 146--153 (2014; Zbl 1325.68274) Full Text: DOI arXiv
Diatta, Daouda Niang; Rouillier, Fabrice; Roy, Marie-Françoise On the computation of the topology of plane curves. (English) Zbl 1325.68273 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 130-137 (2014). MSC: 68W30 05C10 14H50 14P25 14Q05 68Q25 PDFBibTeX XMLCite \textit{D. N. Diatta} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 130--137 (2014; Zbl 1325.68273) Full Text: DOI HAL
De Feo, Luca; Doliskani, Javad; Schost, Éric Fast arithmetic for the algebraic closure of finite fields. (English) Zbl 1325.68272 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 122-129 (2014). MSC: 68W30 12F05 12Y05 68Q25 PDFBibTeX XMLCite \textit{L. De Feo} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 122--129 (2014; Zbl 1325.68272) Full Text: DOI
Corless, Robert M.; Jeffrey, David J.; Wang, Fei The asymptotic analysis of some interpolated nonlinear recurrence relations. (English) Zbl 1325.68271 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 115-121 (2014). MSC: 68W30 37B20 65Q30 PDFBibTeX XMLCite \textit{R. M. Corless} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 115--121 (2014; Zbl 1325.68271) Full Text: DOI
Chen, Shaoshi; Kauers, Manuel; Koutschan, Christoph A generalized Apagodu-Zeilberger algorithm. (English) Zbl 1325.68270 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 107-114 (2014). MSC: 68W30 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 107--114 (2014; Zbl 1325.68270) Full Text: DOI arXiv Link
Chen, Shaoshi; Feng, Ruyong; Li, Ziming; Singer, Michael F. Parallel telescoping and parameterized Picard-Vessiot theory. (English) Zbl 1325.68269 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 99-106 (2014). MSC: 68W30 12H05 12H20 33F10 PDFBibTeX XMLCite \textit{S. Chen} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 99--106 (2014; Zbl 1325.68269) Full Text: DOI arXiv
Chen, Changbo; Maza, Marc Moreno Quantifier elimination by cylindrical algebraic decomposition based on regular chains. (English) Zbl 1325.68268 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 91-98 (2014). MSC: 68W30 03C10 PDFBibTeX XMLCite \textit{C. Chen} and \textit{M. M. Maza}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 91--98 (2014; Zbl 1325.68268) Full Text: DOI
Burger, Reinhold Solving higher order linear differential equations having elliptic function coefficients. (English) Zbl 1325.34001 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 83-90 (2014). MSC: 34A05 34A30 68W30 PDFBibTeX XMLCite \textit{R. Burger}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 83--90 (2014; Zbl 1325.34001) Full Text: DOI
Bouzidi, Yacine; Lazard, Sylvain; Moroz, Guillaume; Pouget, Marc; Rouillier, Fabrice Improved algorithm for computing separating linear forms for bivariate systems. (English) Zbl 1325.68267 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 75-82 (2014). MSC: 68W30 13P15 68Q25 PDFBibTeX XMLCite \textit{Y. Bouzidi} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 75--82 (2014; Zbl 1325.68267) Full Text: DOI arXiv HAL
Bostan, Alin; Combot, Thierry; Safey El Din, Mohab Computing necessary integrability conditions for planar parametrized homogeneous potentials. (English) Zbl 1325.68266 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 67-74 (2014). MSC: 68W30 37J35 70F07 70H07 PDFBibTeX XMLCite \textit{A. Bostan} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 67--74 (2014; Zbl 1325.68266) Full Text: DOI arXiv HAL
Bostan, Alin; Caruso, Xavier; Schost, Éric A fast algorithm for computing the characteristic polynomial of the \(p\)-curvature. (English) Zbl 1325.68265 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 59-66 (2014). MSC: 68W30 12H20 65D18 68Q25 PDFBibTeX XMLCite \textit{A. Bostan} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 59--66 (2014; Zbl 1325.68265) Full Text: DOI arXiv
Bläser, Markus; Jindal, Gorav A new deterministic algorithm for sparse multivariate polynomial interpolation. (English) Zbl 1325.68264 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 51-58 (2014). MSC: 68W30 11Y16 41A05 65D05 PDFBibTeX XMLCite \textit{M. Bläser} and \textit{G. Jindal}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 51--58 (2014; Zbl 1325.68264) Full Text: DOI
Arreche, Carlos E. Computing the differential Galois group of a parameterized second-order linear differential equation. (English) Zbl 1325.68263 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 43-50 (2014). MSC: 68W30 12H20 34A30 35A30 PDFBibTeX XMLCite \textit{C. E. Arreche}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 43--50 (2014; Zbl 1325.68263) Full Text: DOI arXiv
Arnold, Andrew; Roche, Daniel S. Multivariate sparse interpolation using randomized Kronecker substitutions. (English) Zbl 1325.68262 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 35-42 (2014). MSC: 68W30 41A05 65D05 68W20 PDFBibTeX XMLCite \textit{A. Arnold} and \textit{D. S. Roche}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 35--42 (2014; Zbl 1325.68262) Full Text: DOI arXiv
Arnold, Andrew; Giesbrecht, Mark; Roche, Daniel S. Sparse interpolation over finite fields via low-order roots of unity. (English) Zbl 1325.68261 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 27-34 (2014). MSC: 68W30 11T06 11Y16 41A05 65C05 65D05 68W20 PDFBibTeX XMLCite \textit{A. Arnold} et al., in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 27--34 (2014; Zbl 1325.68261) Full Text: DOI arXiv
Stoutemyer, David R. Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers. (English) Zbl 1325.68301 Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 9-16 (2014). MSC: 68W30 65G40 65Y04 65Y15 PDFBibTeX XMLCite \textit{D. R. Stoutemyer}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 9--16 (2014; Zbl 1325.68301) Full Text: DOI