×

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]

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
Full Text: DOI