Search results for "ISSAC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Leilei Guo, Feng Liu	An algorithm for computing set-theoretic generators of an algebraic variety.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Benjamin A. Burton	Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Curtis Bright, Arne Storjohann	Vector rational number reconstruction.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Kosaku Nagasaka	Computing a structured Gröbner basis approximately.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Christian Eder, John Edward Perry	Signature-based algorithms to compute Gröbner bases.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Angelos Mantzaflaris, Bernard Mourrain	Deflation and certified isolation of singular zeros of polynomial systems.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Michael Kerber, Michael Sagraloff	Efficient real root approximation.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Gilles Villard	Recent progress in linear algebra and lattice basis reduction.	ISSAC	2011	DBLP DOI BibTeX RDF
1	B. David Saunders, David Harlan Wood, Bryan S. Youse	Numeric-symbolic exact rational linear system solver.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Zhikun She, Bai Xue 0001, Zhiming Zheng 0001	Algebraic analysis on asymptotic stability of continuous dynamical systems.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Ainhoa Aparicio-Monforte, Moulay A. Barkatou, Sergi Simon, Jacques-Arthur Weil	Formal first integrals along solutions of differential systems I.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Mark van Hoeij, Jürgen Klüners, Andrew Novocin	Generating subfields.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Dustin Moody	Division polynomials for Jacobi quartic curves.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Guoliang Qian, Ailong Zheng	Randomized preconditioning of the MBA algorithm.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Victor S. Miller	Computational aspects of elliptic curves and modular forms.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Hongbo Li 0012, Ruiyong Sun, Shoubin Yao, Ge Li	Approximate rational solutions torational ODEs defined on discrete differentiable curves.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Manuel Kauers	The concrete tetrahedron.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Ernst W. Mayr, Stephan Ritscher	Space-efficient Gröbner basis computation without degree bounds.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Daniel Bembé, André Galligo	Virtual roots of a real polynomial and fractional derivatives.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza	Algorithms for computing triangular decompositions of polynomial systems.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Wei Li 0056, Xiao-Shan Gao, Chun-Ming Yuan	Sparse differential resultant.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Thomas Sturm 0001, Ashish Tiwari 0001	Verification and synthesis using real quantifier elimination.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Somit Gupta, Arne Storjohann	Computing hermite forms of polynomial matrices.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Li Guo 0003, William Y. Sit, Ronghua Zhang	On Rota's problem for linear operators in associative algebras.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Daniel S. Roche	Diversification improves interpolation.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Yue Li, Gabriel Dos Reis	An automatic parallelization framework for algebraic computation systems.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Jean-Charles Faugère, Chenqi Mou	Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Deepak Kapur, Yao Sun 0004, Dingkang Wang	Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Soumojit Sarkar, Arne Storjohann	Normalization of row reduced matrices.	ISSAC	2011	DBLP DOI BibTeX RDF
1	Zijia Li, Zhengfeng Yang, Lihong Zhi	Blind image deconvolution via fast approximate GCD.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Ashish Tiwari 0001	Theory of reals for verification and synthesis of hybrid dynamical systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Ailong Zheng	Real and complex polynomial root-finding with eigen-solving and preprocessing.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Moulay A. Barkatou, Carole El Bacha, Eckhard Pflügel	Simultaneously row- and column-reduced higher-order linear differential systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Majid Khonji, Clément Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski	Output-sensitive decoding for redundant residue systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Feng Guo 0007, Mohab Safey El Din, Lihong Zhi	Global optimization of polynomials using generalized critical values and sums of squares.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Manuel Kauers, Veronika Pillwein	When can we detect that a P-finite sequence is positive?	ISSAC	2010	DBLP DOI BibTeX RDF
1	Vladimir P. Gerdt, Daniel Robertz	Consistency of finite difference approximations for linear PDE systems and its algorithmic verification.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Marc Mezzarobba	NumGfun: a package for numerical and analytic computation with D-finite functions.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Sharon Hutton, Erich L. Kaltofen, Lihong Zhi	Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Thomas Sturm 0001, Christoph Zengler	Parametric quantified SAT solving.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Deepak Kapur, Yao Sun 0004, Dingkang Wang	A new algorithm for computing comprehensive Gröbner systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Karl Rupp	Symbolic integration at compile time in finite element methods.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Nicolas Brisebarre, Mioara Joldes	Chebyshev interpolation polynomial-based tools for rigorous computing.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Evelyne Hubert	Algebraic invariants and their differential algebras.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler	Composition collisions and projective polynomials: statement of results.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Dima Grigoriev, Fritz Schwarz	Absolute factoring of non-holonomic ideals in the plane.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Adam W. Strzebonski	Computation with semialgebraic sets represented by cylindrical algebraic formulas.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Sergei A. Abramov	On some decidable and undecidable problems related to q-difference equations with parameters.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Christine Berkesch, Anton Leykin	Algorithms for Bernstein-Sato polynomials and multiplier ideals.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Shuhong Gao, Yinhua Guan, Frank Volny	A new incremental algorithm for computing Groebner bases.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li 0002	Complexity of creative telescoping for bivariate rational functions.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Wayne Eberly	Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Bjarke Hammersholt Roune	A Slice algorithm for corners and Hilbert-Poincaré series of monomial ideals.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Marco Bodrato	A Strassen-like matrix multiplication suited for squaring and higher power computation.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Steve Linton, Kevin Hammond, Alexander Konovalov 0001, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond	Easy composition of symbolic computation software: a new lingua franca for symbolic computation.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Jean-Charles Faugère, Joachim von zur Gathen, Ludovic Perret	Decomposition of generic multivariate polynomials.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Claude-Pierre Jeannerod, Christophe Mouilleron	Computing specified generators of structured matrix inverses.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Siegfried M. Rump	Verification methods: rigorous results using floating-point arithmetic.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Mark van Hoeij, Giles Levy	Liouvillian solutions of irreducible second order linear difference equations.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas	The DMM bound: multivariate (aggregate) separation bounds.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Christopher W. Brown 0001, Adam W. Strzebonski	Black-box/white-box simplification and applications to quantifier elimination.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Costanza Conti, Luca Gemignani, Lucia Romani	Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes.	ISSAC	2010	DBLP DOI BibTeX RDF
1	David Harvey, Daniel S. Roche	An in-place truncated fourier transform and applications to polynomial multiplication.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Martin E. Avendano, Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek	Randomized NP-completeness for p-adic rational roots of sparse polynomials in one variable.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Jean-Charles Faugère, Mohab Safey El Din, Pierre-Jean Spaenlehauer	Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Alberto Zanoni	Iterative Toom-Cook methods for very unbalanced long integer multiplication.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Frank Sottile, Ravi Vakil, Jan Verschelde	Solving schubert problems with Littlewood-Richardson homotopies.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Sergey P. Tsarev	Transformation and factorization of partial differential systems: applications to stochastic systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao 0004	Triangular decomposition of semi-algebraic systems.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, André Galligo, Elias P. Tsigaridas	Random polynomials and expected complexity of bisection methods for real solving.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Ernst W. Mayr, Stephan Ritscher	Degree bounds for Gröbner bases of low-dimensional polynomial ideals.	ISSAC	2010	DBLP DOI BibTeX RDF
1	François Lemaire, Asli Ürgüplü	A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Vlad Slavici, Xin Dong 0004, Daniel Kunkle, Gene Cooperman	Fast multiplication of large permutations for disk, flash memory and RAM.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Yongjae Cha, Mark van Hoeij, Giles Levy	Solving recurrence relations using local invariants.	ISSAC	2010	DBLP DOI BibTeX RDF
1	David Sevilla, Daniel Wachsmuth	Polynomial integration on regions defined by a triangle and a conic.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Manuel Kauers, Carsten Schneider	Partial denominator bounds for partial linear difference equations.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Jürgen Gerhard	Asymptotically fast algorithms for modern computer algebra.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Mark van Hoeij, Quan Yuan	Finding all bessel type solutions for linear differential equations with rational function coefficients.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Xiaoran Shi, Falai Chen	Computing the singularities of rational space curves.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Moulay A. Barkatou	Symbolic methods for solving systems of linear ordinary differential equations.	ISSAC	2010	DBLP DOI BibTeX RDF
1	Wolfram Koepf (eds.)	Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings	ISSAC	2010	DBLP BibTeX RDF
1	Hoon Hong, Mohab Safey El Din	Variant real quantifier elimination: algorithm and application.	ISSAC	2009	DBLP DOI BibTeX RDF	quantifier elimination, polynomial systems, real solutions
1	Yongjae Cha, Mark van Hoeij	Liouvillian solutions of irreducible linear difference equations.	ISSAC	2009	DBLP DOI BibTeX RDF	liouvillian solutions, difference equations
1	Markus Püschel	Automatic synthesis of high performance mathematical programs.	ISSAC	2009	DBLP DOI BibTeX RDF	parallelization, domain-specific language, automation, vectorization, high performance, fourier transform, matrix algebra, rewriting, program generation
1	Wei Zhou 0029, George Labahn	Efficient computation of order bases.	ISSAC	2009	DBLP DOI BibTeX RDF	order basis, complexity
1	Akira Terui	An iterative method for calculating approximate GCD of univariate polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	approximate polynomial gcd, gradient-projection method, optimization, ill-conditioned problem
1	Yosuke Sato, Akira Suzuki	Computation of inverses in residue class rings of parametric polynomial ideals.	ISSAC	2009	DBLP DOI BibTeX RDF	primary decomposition, saturation ideal
1	Gábor Ivanyos, Marek Karpinski, Nitin Saxena 0001	Schemes for deterministic polynomial factoring.	ISSAC	2009	DBLP DOI BibTeX RDF	grh, schemes, polynomial factoring, representation theory
1	Anna Maria Bigatti, Eduardo Sáenz-de-Cabezón	Computation of the (n-1)-st Koszul Homology of monomialideals and related algorithms.	ISSAC	2009	DBLP DOI BibTeX RDF	cocoalib, irreducible decomposition, koszul homology, monomial ideal, stanley decomposition, betti numbers
1	Alexandre Benoît, Bruno Salvy	Chebyshev expansions for solutions of linear differential equations.	ISSAC	2009	DBLP DOI BibTeX RDF	chebyshev series, ore polynomials
1	Jin-San Cheng, Xiao-Shan Gao, Jia Li 0023	Root isolation for bivariate polynomial systems with local generic position method.	ISSAC	2009	DBLP DOI BibTeX RDF	bivariate polynomial system, generic position, root bound, root isolation
1	Frédéric Bihan, J. Maurice Rojas, Casey E. Stella	Faster real feasibility via circuit discriminants.	ISSAC	2009	DBLP DOI BibTeX RDF	discriminant chamber, linear forms in logarithms, real, polynomial-time, sparse, feasibility
1	Jean-Charles Faugère, Sajjad Rahmany	Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases.	ISSAC	2009	DBLP DOI BibTeX RDF	invariant ring, sagbi-groebner, symmetric polynomials, groebner basis, f5 algorithm
1	Daniel Kunkle, Gene Cooperman	Biased tadpoles: a fast algorithm for centralizers in large matrix groups.	ISSAC	2009	DBLP DOI BibTeX RDF	conjugator, group order, tadpole, centralizer, matrix groups
1	Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou	Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm.	ISSAC	2009	DBLP DOI BibTeX RDF	memory placement, strassen-winograd's algorithm, matrix multiplication
1	Arne Storjohann	Integer matrix rank certification.	ISSAC	2009	DBLP DOI BibTeX RDF	integer matrix, las vegas, rank
1	Frédéric Chyzak, Manuel Kauers, Bruno Salvy	A non-holonomic systems approach to special function identities.	ISSAC	2009	DBLP DOI BibTeX RDF	d-finite functions, symbolic summation and integration
1	Jean-Guillaume Dumas, Clément Pernet, B. David Saunders	On finding multiplicities of characteristic polynomial factors of black-box matrices.	ISSAC	2009	DBLP DOI BibTeX RDF	finite field, characteristic polynomial, black-box matrix
1	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Solution of algebraic riccati equations using the sum of roots.	ISSAC	2009	DBLP DOI BibTeX RDF	algebraic riccati equation, gröbner basis, polynomial spectral factorization, sum of roots, control theory
1	Adam W. Strzebonski	Real root isolation for tame elementary functions.	ISSAC	2009	DBLP DOI BibTeX RDF	real root isolation, solving equations, elementary functions

Publications at "ISSAC"( http://dblp.L3S.de/Venues/ISSAC )