Watt, Stephen M. (ed.) Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. (English) Zbl 1271.68060 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). xiv, 363 p. (2010). Show indexed articles as search result. The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1236.00041].Indexed articles:Gao, Shuhong; Guan, Yinhua; Volny, Frank, A new incremental algorithm for computing Groebner bases, 13-19 [Zbl 1321.68531]Mayr, Ernst W.; Ritscher, Stephan, Degree bounds for Gröbner bases of low-dimensional polynomial ideals, 21-27 [Zbl 1321.68539]Kapur, Deepak; Sun, Yao; Wang, Dingkang, A new algorithm for computing comprehensive Gröbner systems, 29-36 [Zbl 1321.68533]van Hoeij, Mark; Yuan, Quan, Finding all Bessel type solutions for linear differential equations with rational function coefficients, 37-44 [Zbl 1321.68545]Barkatou, Moulay A.; El Bacha, Carole; Pflügel, Eckhard, Simultaneously row- and column-reduced higher-order linear differential systems, 45-52 [Zbl 1321.68521]Gerdt, Vladimir P.; Robertz, Daniel, Consistency of finite difference approximations for linear PDE systems and its algorithmic verification, 53-59 [Zbl 1321.65161]Strzeboński, Adam, Computation with semialgebraic sets represented by cylindrical algebraic formulas, 61-68 [Zbl 1321.68543]Brown, Christopher W.; Strzeboński, Adam, Black-box/white-box simplification and applications to quantifier elimination, 69-76 [Zbl 1321.68525]Sturm, Thomas; Zengler, Christoph, Parametric quantified SAT solving, 77-84 [Zbl 1321.68322]Lemaire, François; Ürgüplü, Asli, A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra, 85-92 [Zbl 1321.68537]Grigoriev, D.; Schwarz, F., Absolute factoring of non-holonomic ideals in the plane, 93-97 [Zbl 1321.68532]Berkesch, Christine; Leykin, Anton, Algorithms for Bernstein-Sato polynomials and multiplier ideals, 99-106 [Zbl 1321.68522]Guo, Feng; El Din, Mohab Safey; Zhi, Lihong, Global optimization of polynomials using generalized critical values and sums of squares, 107-114 [Zbl 1321.90127]Roune, Bjarke Hammersholt, A slice algorithm for corners and Hilbert-Poincaré series of monomial ideals, 115-122 [Zbl 1321.13014]von zur Gathen, Joachim; Giesbrecht, Mark; Ziegler, Konstantin, Composition collisions and projective polynomials: statement of results, 123-130 [Zbl 1321.68546]Faugère, Jean-Charles; von zur Gathen, Joachim; Perret, Ludovic, Decomposition of generic multivariate polynomials, 131-137 [Zbl 1321.68530]Mezzarobba, Marc, NumGfun: a package for numerical and analytic computation with D-finite functions, 139-145 [Zbl 1321.65202]Brisebarre, Nicolas; Joldeş, Mioara, Chebyshev interpolation polynomial-based tools for rigorous computing, 147-154 [Zbl 1321.65018]Li, Zijia; Yang, Zhengfeng; Zhi, Lihong, Blind image deconvolution via fast approximate GCD, 155-162 [Zbl 1321.68442]Sevilla, David; Wachsmuth, Daniel, Polynomial integration on regions defined by a triangle and a conic, 163-170 [Zbl 1321.65034]Shi, Xiaoran; Chen, Falai, Computing the singularities of rational space curves, 171-178 [Zbl 1321.14043]Sottile, Frank; Vakil, Ravi; Verschelde, Jan, Solving Schubert problems with Littlewood-Richardson homotopies, 179-186 [Zbl 1321.68541]Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong, Triangular decomposition of semi-algebraic systems, 187-194 [Zbl 1321.68526]Kauers, Manuel; Pillwein, Veronika, When can we detect that a P-finite sequence is positive?, 195-201 [Zbl 1321.68535]Bostan, Alin; Chen, Shaoshi; Chyzak, Frédéric; Li, Ziming, Complexity of creative telescoping for bivariate rational functions, 203-210 [Zbl 1321.68524]Kauers, Manuel; Schneider, Carsten, Partial denominator bounds for partial linear difference equations, 211-218 [Zbl 1321.68536]Pan, Victor Y.; Zheng, Ai-Long, Real and complex polynomial root-finding with eigen-solving and preprocessing, 219-226 [Zbl 1321.65079]Hutton, Sharon; Kaltofen, Erich L.; Zhi, Lihong, Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg’s method, 227-234 [Zbl 1321.65077]Emiris, Ioannis Z.; Galligo, André; Tsigaridas, Elias P., Random polynomials and expected complexity of bisection methods for real solving, 235-242 [Zbl 1321.68308]Emiris, Ioannis Z.; Mourrain, Bernard; Tsigaridas, Elias P., The DMM bound: multivariate (aggregate) separation bounds, 243-250 [Zbl 1321.68528]Conti, C.; Gemignani, L.; Romani, L., Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes, 251-256 [Zbl 1321.68527]Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean, Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology, 257-264 [Zbl 1321.68529]Khonji, Majid; Pernet, Clément; Roch, Jean-Louis; Roche, Thomas; Stalinski, Thomas, Output-sensitive decoding for redundant residue systems, 265-272 [Zbl 1321.11127]Bodrato, Marco, A Strassen-like matrix multiplication suited for squaring and higher power computation, 273-280 [Zbl 1321.68523]Jeannerod, Claude-Pierre; Mouilleron, Christophe, Computing specified generators of structured matrix inverses, 281-288 [Zbl 1321.65042]Eberly, Wayne, Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case, 289-296 [Zbl 1321.65044]van Hoeij, Mark; Levy, Giles, Liouvillian solutions of irreducible second order linear difference equations, 297-301 [Zbl 1321.68544]Cha, Yongjae; van Hoeij, Mark; Levy, Giles, Solving recurrence relations using local invariants, 303-309 [Zbl 1321.11124]Abramov, S. A., On some decidable and undecidable problems related to \(q\)-difference equations with parameters, 311-317 [Zbl 1321.68519]Zanoni, Alberto, Iterative Toom-Cook methods for very unbalanced long integer multiplication, 319-323 [Zbl 1321.65201]Harvey, David; Roche, Daniel S., An in-place truncated Fourier transform and applications to polynomial multiplication, 325-329 [Zbl 1321.65197]Avendaño, Martín; Ibrahim, Ashraf; Rojas, J. Maurice; Rusek, Korben, Randomized NP-completeness for \(p\)-adic rational roots of sparse polynomials in one variable, 331-338 [Zbl 1321.68279]Linton, S.; Hammond, K.; Konovalov, A.; Al Zain, A. D.; Trinder, P.; Horn, P.; Roozemond, D., Easy composition of symbolic computation software: a new lingua franca for symbolic computation, 339-346 [Zbl 1321.68538]Rupp, Karl, Symbolic integration at compile time in finite element methods, 347-354 [Zbl 1321.68540] Cited in 2 Reviews MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 65-06 Proceedings, conferences, collections, etc. pertaining to numerical analysis 13-06 Proceedings, conferences, collections, etc. pertaining to commutative algebra 37-06 Proceedings, conferences, collections, etc. pertaining to dynamical systems and ergodic theory 35-06 Proceedings, conferences, collections, etc. pertaining to partial differential equations 68W30 Symbolic computation and algebraic computation 65-04 Software, source code, etc. for problems pertaining to numerical analysis 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1236.00041 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010. New York, NY: Association for Computing Machinery (ACM) (2010; Zbl 1271.68060) Full Text: DOI