Search results for "ISSAC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Carsten Schneider	Finding telescopers with minimal depth for indefinite nested sum and product expressions.	ISSAC	2005	DBLP DOI BibTeX RDF	difference fields, symbolic summation
1	Aleksey Zobnin	Admissible orderings and finiteness criteria for differential standard bases.	ISSAC	2005	DBLP DOI BibTeX RDF	Gröbner bases, admissible orderings, differential algebra
1	Sonia Pérez-Díaz, J. Rafael Sendra	Partial degree formulae for rational algebraic surfaces.	ISSAC	2005	DBLP DOI BibTeX RDF	partial degrees of an algebraic surface, rational map degree, rational surface parametrization, algebraic surface
1	Michael B. Monagan	Probabilistic algorithms for computing resultants.	ISSAC	2005	DBLP DOI BibTeX RDF	Sylvester's resultant, polynomial resultants, probabilistic algorithms, modular algorithms
1	Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie	Lifting techniques for triangular decompositions.	ISSAC	2005	DBLP DOI BibTeX RDF	Hensel lifting, polynomial systems, triangular sets
1	Arne Storjohann, Gilles Villard	Computing the rank and a small nullspace basis of a polynomial matrix.	ISSAC	2005	DBLP DOI BibTeX RDF	matrix rank, minimal polynomial basis, nullspace basis, polynomial matrix, linear algebra
1	Stefan Gerhold, Manuel Kauers	A procedure for proving special function inequalities involving a discrete parameter.	ISSAC	2005	DBLP DOI BibTeX RDF	computer proofs, special functions, inequalities, cylindrical algebraic decomposition
1	Cosmin E. Oancea, Stephen M. Watt	Domains and expressions: an interface between two approaches to computer algebra.	ISSAC	2005	DBLP DOI BibTeX RDF
1	Bernard Mourrain	Generalized normal forms and polynomial system solving.	ISSAC	2005	DBLP DOI BibTeX RDF	quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding
1	William J. Turner	Preconditioners for singular black box matrices.	ISSAC	2005	DBLP DOI BibTeX RDF	Wiedemann method, black box linear algebra, rank preconditioner, singular linear system, switching network, Toeplitz matrix
1	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	Adherence is better than adjacency: computing the Riemann index using CAD.	ISSAC	2005	DBLP DOI BibTeX RDF	elementary functions, Riemann surfaces, branch cuts
1	Bradford Hovinen, Wayne Eberly	A reliable block Lanczos algorithm over small finite fields.	ISSAC	2005	DBLP DOI BibTeX RDF	Lanczos algorithm, linear system solution, parallel computing, randomized algorithm, finite field, black box matrix
1	Erich L. Kaltofen, Pascal Koiran	On the complexity of factoring bivariate supersparse (Lacunary) polynomials.	ISSAC	2005	DBLP DOI BibTeX RDF	lacunary polynomials, NP-hardness, multivariate polynomials, polynomial-time complexity, polynomial factorizations, sparse polynomials
1	Weibo Mao, Jinzhao Wu	Application of Wu's method to symbolic model checking.	ISSAC	2005	DBLP DOI BibTeX RDF	Wu's method, symbolic model checking, characteristic set
1	Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes	Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series.	ISSAC	2005	DBLP DOI BibTeX RDF	Geddes series scheme, Geddes-Newton series expansions, approximation of functions, bilinear series, deconstruction/approximation/reconstruction technique (DART), multiple integration, splitting operator, tensor products, symbolic-numeric algorithms
1	Erich L. Kaltofen, Dmitriy Morozov, George Yuhasz	Generic matrix multiplication and memory management in linBox.	ISSAC	2005	DBLP DOI BibTeX RDF	C++ allocator, exact linear algebra, garbage collection, memory management, system integration, C++ templates, black box matrix
1	David J. Jeffrey, Pratibha, K. B. Roach	Affine transformations of algebraic numbers.	ISSAC	2005	DBLP DOI BibTeX RDF	rootOf, affine transformation, algebraic numbers
1	Jiansong Deng, Falai Chen, Liyong Shen	Computing µ-bases of rational curves and surfaces using polynomial matrix factorization.	ISSAC	2005	DBLP DOI BibTeX RDF	?-basis, GCD extraction algorithm, Hermite form, syzygy module, implicitization, primitive, factorization algorithm
1	Manuel Bronstein, Ziming Li 0002, Min Wu 0003	Picard--Vessiot extensions for linear functional systems.	ISSAC	2005	DBLP DOI BibTeX RDF	Picard-Vessiot extensions, fundamental matrices, linear functional systems, modules of formal solutions
1	Christian Costermans, Jean-Yves Enjalbert, Vincel Hoang Ngoc Minh, Michel Petitot	Structure and asymptotic expansion of multiple harmonic sums.	ISSAC	2005	DBLP DOI BibTeX RDF	Lyndon words, multiple harmonic sums, polylogarithms, polyzêtas
1	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
1	Markus A. Hitz	On computing nearest singular hankel matrices.	ISSAC	2005	DBLP DOI BibTeX RDF	Hankel, Toeplitz, hybrid symbolic/numeric computing, nearest singular matrix, parametric minimization
1	Daniel Lichtblau	Half-GCD and fast rational recovery.	ISSAC	2005	DBLP DOI BibTeX RDF	integer gcd, rational recovery, subquadratic arithmetic
1	Dongming Wang 0001, Bican Xia	Stability analysis of biological systems with real solution classification.	ISSAC	2005	DBLP DOI BibTeX RDF	Cdc2-cyclin B/Wee1, Mos/MEK/p42 MAPK cascade, solution classification, stability, differential equations, equilibrium, polynomial system, biological network, real root
1	Jennifer de Kleine, Michael B. Monagan, Allan D. Wittkopf	Algorithms for the non-monic case of the sparse modular GCD algorithm.	ISSAC	2005	DBLP DOI BibTeX RDF	Zippel's algorithm, polynomial greatest common divisors, sparse multivariate polynomials, probabilistic algorithms, modular algorithms
1	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
1	André Galligo, Jean Pascal Pavone	Selfintersections of a bézier bicubic surface.	ISSAC	2005	DBLP DOI BibTeX RDF	floating point coefficients, implicit equations, polynomial solver, singular locus, sparse resultant, surfaces of bidegree (3, 3), implementations
1	Christiaan E. van de Woestijne	Deterministic equation solving over finite fields.	ISSAC	2005	DBLP DOI BibTeX RDF	equation solving, finite fields, deterministic algorithms
1	Wu Wen-Tsün	On a finite kernel theorem for polynomial-type optimization problems and some of its applications.	ISSAC	2005	DBLP DOI BibTeX RDF
1	Fangjian Huang, Shengli Chen	Schur partition for symmetric ternary forms and readable proof to inequalities.	ISSAC	2005	DBLP DOI BibTeX RDF	Schur partition, positive semi-definite, symmetric inequality, ternary symmetric form
1	Sergei A. Abramov, M. Petkovssek	Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula.	ISSAC	2005	DBLP DOI BibTeX RDF	Gosper's algorithm, Newton-Leibniz formula, accurate summation algorithm, symbolic summation
1	Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov	Architecture-aware classical Taylor shift by 1.	ISSAC	2005	DBLP DOI BibTeX RDF	ILP scheduling, Taylor shift, delayed carry propagation, multiprecision arithmetic, register tiling, high-performance computing, code generation, memory hierarchy, polynomials, performance tuning, loop unrolling
1	Jeffrey Adams, B. David Saunders, Zhendong Wan	Signature of symmetric rational matrices and the unitary dual of lie groups.	ISSAC	2005	DBLP DOI BibTeX RDF	matrix signature, lie group, symmetric matrix
1	Alain Bretto, Luc Gillibert, Bernard Laget	Symmetric and semisymmetric graphs construction using G-graphs.	ISSAC	2005	DBLP DOI BibTeX RDF	G-graphs, graphs from group, semisymmetric graph, symmetric graphs
1	Aude Rondepierre, Jean-Guillaume Dumas	Algorithms for symbolic/numeric control of affine dynamical systems.	ISSAC	2005	DBLP DOI BibTeX RDF	affine optimal control problems, canonical transformation, controllability
1	Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama	Sum of roots with positive real parts.	ISSAC	2005	DBLP DOI BibTeX RDF	Gröbner basis, optimal regulator control, sum of roots with positive real parts, quantifier elimination, resultant
1	Biao Li, Yong Chen, Qi Wang	Exact analytical solutions to the nonlinear Schrödinger equation model.	ISSAC	2005	DBLP DOI BibTeX RDF	nonlinear Schrödinger equation, soliton propagation and interaction, symbolic computation, soliton
1	Laurent Tournier	Approximation of dynamical systems using s-systems theory: application to biological systems.	ISSAC	2005	DBLP DOI BibTeX RDF	positive equilibria, stability, dynamical systems, power-law, s-systems
1	Éric Schost	Multivariate power series multiplication.	ISSAC	2005	DBLP DOI BibTeX RDF	multiplication, power series
1	Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu	Symbolic-numeric completion of differential systems by homotopy continuation.	ISSAC	2005	DBLP DOI BibTeX RDF	component of solutions, diagonal homotopy, differential elimination, hidden constraint, numerical jet geometry, witness set, polynomial system, path following, differential algebraic equation, numerical algebraic geometry, homotopy continuation
1	Alin Bostan, Thomas Cluzeau, Bruno Salvy	Fast algorithms for polynomial solutions of linear differential equations.	ISSAC	2005	DBLP DOI BibTeX RDF	complexity, computer algebra, linear recurrences, linear differential equations, polynomial solutions
1	Zhuliang Chen, Arne Storjohann	A BLAS based C library for exact linear algebra on integer matrices.	ISSAC	2005	DBLP DOI BibTeX RDF	integer matrix, linear system solving
1	Dima Grigoriev, Fritz Schwarz	Generalized Loewy-decomposition of d-modules.	ISSAC	2005	DBLP DOI BibTeX RDF	Janet basis, Loewy decomposition, d-module
1	Joris van der Hoeven	The truncated fourier transform and applications.	ISSAC	2004	DBLP DOI BibTeX RDF	FFT-multiplication, jump phenomenon, multivariate power series, truncated multiplication, fast fourier transform, multivariate polynomials
1	Xavier Dahan, Éric Schost	Sharp estimates for triangular sets.	ISSAC	2004	DBLP DOI BibTeX RDF	intrinsic bounds, polynomial systems, triangular sets
1	Jaime Gutierrez 0001 (eds.)	Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings	ISSAC	2004	DBLP BibTeX RDF
1	Pablo A. Parrilo	Sums of squares of polynomials and their applications.	ISSAC	2004	DBLP DOI BibTeX RDF	semidefinite programming, convex optimization, multivariate polynomials, sum of squares
1	Evelyne Hubert	Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases.	ISSAC	2004	DBLP DOI BibTeX RDF	differential elimination, differential ideal theory, subresultant polynomial remainder sequence, systems of differential equations, triangular sets
1	Laurent Busé, Carlos D'Andrea	Inversion of parameterized hypersurfaces by means of subresultants.	ISSAC	2004	DBLP DOI BibTeX RDF	birational maps, multivariate subresultants
1	Hongbo Li 0012	Symbolic computation in the homogeneous geometric model with clifford algebra.	ISSAC	2004	DBLP DOI BibTeX RDF	homogeneous model, automated theorem proving, symbolic computation, geometric algebra, clifford algebra
1	Fatima Abu Salem, Shuhong Gao, Alan G. B. Lauder	Factoring polynomials via polytopes.	ISSAC	2004	DBLP DOI BibTeX RDF	Newton polytope, factorisation, multivariate polynomial
1	Manuel Kauers	Computer proofs for polynomial identities in arbitrary many variables.	ISSAC	2004	DBLP DOI BibTeX RDF	computer proofs, polynomial identities
1	Guillaume Chèze	Absolute polynomial factorization in two variables and the knapsack problem.	ISSAC	2004	DBLP DOI BibTeX RDF	0-1 vectors, absolute factorization, knapsack problem, LLL algorithm
1	Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet	FFPACK: finite field linear algebra package.	ISSAC	2004	DBLP DOI BibTeX RDF	LSP factorization, finite fields, BLAS
1	Zhonggang Zeng, Barry H. Dayton	The approximate GCD of inexact polynomials.	ISSAC	2004	DBLP DOI BibTeX RDF	squarefree, polynomial, factorization, greatest common divisor
1	Carsten Schneider	Symbolic summation with single-nested sum extensions.	ISSAC	2004	DBLP DOI BibTeX RDF	creative telescoping, difference field extensions, telescoping
1	Thomas Bayer	Optimal descriptions of orbit spaces and strata of finite groups.	ISSAC	2004	DBLP DOI BibTeX RDF	symbolic computation, stratification
1	Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi	Approximate factorization of multivariate polynomials via differential equations.	ISSAC	2004	DBLP DOI BibTeX RDF	approximate gcd, multivariate gcd, multivariate polynomial factorization, symbolic numeric hybrid method, singular value decomposition, approximate factorization
1	David Saunders 0002, Zhendong Wan	Smith normal form of dense integer matrices fast algorithms into practice.	ISSAC	2004	DBLP DOI BibTeX RDF	integer matrix, smith normal form
1	Wayne Eberly	Reliable Krylov-based algorithms for matrix null space and rank.	ISSAC	2004	DBLP DOI BibTeX RDF	Frobenius decomposition, block lanczos algorithm, linear system solution, matrix rank, randomized algorithm, black box matrix
1	Andreas Dolzmann, Andreas Seidl, Thomas Sturm 0001	Efficient projection orders for CAD.	ISSAC	2004	DBLP DOI BibTeX RDF	partial cad, redlog, projection operator
1	Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt	Complexity issues in bivariate polynomial factorization.	ISSAC	2004	DBLP DOI BibTeX RDF	Hensel lifting, multi-moduli, tellegen, transposition principle, computer algebra, polynomial factorization
1	Tomás Recio, J. Rafael Sendra, Carlos Villarino	From hypercircles to units.	ISSAC	2004	DBLP DOI BibTeX RDF	hypercircles, linear fractions, rational curves, rational parametriations
1	Gábor Bodnár	Efficient desingularization of reducible algebraic sets.	ISSAC	2004	DBLP DOI BibTeX RDF	blowups, embedded resolution of singularities, normal crossings
1	James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut	A poly-algorithmic approach to simplifying elementary functions.	ISSAC	2004	DBLP DOI BibTeX RDF	simplification, branch cuts
1	Hassan El Houari, M'hammed El Kahoui	Algorithms for recognizing coordinates in two variables over UFD's.	ISSAC	2004	DBLP DOI BibTeX RDF	locally nilpotent derivation, coordinate, slice
1	Mark van Hoeij, Michael B. Monagan	Algorithms for polynomial GCD computation over algebraic function fields.	ISSAC	2004	DBLP DOI BibTeX RDF	modular algorithms
1	Amit Khetan, Ning Song, Ron Goldman 0002	Sylvester-resultants for bivariate polynomials with planar newton polygons.	ISSAC	2004	DBLP DOI BibTeX RDF
1	Gudmund Skovbjerg Frandsen, Igor E. Shparlinski	On reducing a system of equations to a single equation.	ISSAC	2004	DBLP DOI BibTeX RDF	system of equations
1	Steve Linton	Finding the smallest image of a set.	ISSAC	2004	DBLP DOI BibTeX RDF	smallest image, algorithm, permutation group
1	Kazuhiro Yokoyama	On systems of algebraic equations with parametric exponents.	ISSAC	2004	DBLP DOI BibTeX RDF	Gröbner basis, ideals with parametric exponents
1	Ruyong Feng, Xiao-Shan Gao	Rational general solutions of algebraic ordinary differential equations.	ISSAC	2004	DBLP DOI BibTeX RDF	Padé approximants, algebraic differential equation, autonomous first order ODE, rational general solution, rational parametrization, algebraic curve
1	Josep M. Brunat, Antonio Montes	The characteristic ideal of a finite, connected, regular graph.	ISSAC	2004	DBLP DOI BibTeX RDF	characteristic ideal, galois graph, polynomial digraph, polynomial graph, strongly polynomial graph, variety of a pairing, pairing, connected component, conjecture
1	Keith O. Geddes, Ha Q. Le, Ziming Li 0002	Differential rational normal forms and a reduction algorithm for hyperexponential func.	ISSAC	2004	DBLP DOI BibTeX RDF	hyperexponential functions, normal forms, rational functions, reduction algorithms
1	Jacques Carette	Understanding expression simplification.	ISSAC	2004	DBLP DOI BibTeX RDF	model description length, simplification of expressions, computer algebra, Kolmogorov complexity
1	Reinhold Burger, George Labahn, Mark van Hoeij	Closed form solutions of linear odes having elliptic function coefficients.	ISSAC	2004	DBLP DOI BibTeX RDF	Kovacic's algorithm, elliptic functions, linear odes, decision procedures
1	Dhavide A. Aruliah, Robert M. Corless	Numerical parameterization of affine varieties using.	ISSAC	2004	DBLP DOI BibTeX RDF	numerical polynomial algebra, symbolic-numeric algorithms
1	Jan Verschelde	Numerical algebraic geometry and symbolic computation.	ISSAC	2004	DBLP DOI BibTeX RDF	irreducible decomposition, numerical homotopy continuation, polynomial systems, approximate factorization
1	Arthur D. Chtcherba, Deepak Kapur	Support hull: relating the cayley-dixon resultant constructions to the support of a polynomial system.	ISSAC	2004	DBLP DOI BibTeX RDF	dialytic method, dixon resultant formulation, support hull, support-hull interior point, sylvester-type matrices, support, resultant, variable ordering
1	Michael B. Monagan	Maximal quotient rational reconstruction: an almost optimal algorithm for rational reconstruction.	ISSAC	2004	DBLP DOI BibTeX RDF	rational reconstruction, euclidean algorithm, modular algorithms
1	R. Alexander Milowski	Computing irredundant irreducible decompositions of large scale monomial ideals.	ISSAC	2004	DBLP DOI BibTeX RDF	alexander dual, irredundant irreducible decomposition, monomial ideals, scarf complex
1	Mohamed Elkadi, André Galligo, Thi Ha Lê	Parametrized surfaces in huge P3 of bidegree(1,2).	ISSAC	2004	DBLP DOI BibTeX RDF	implicit equations, singular locus, surfaces of bidegree (1, 2), conics
1	Xiao-Shan Gao, Mingbo Zhang	Decomposition of differential polynomials with constant coefficients.	ISSAC	2004	DBLP DOI BibTeX RDF	differential degree, differential polynomial, pseudo linear, decomposition
1	Francisco Santos	Triangulations of polytopes and algebraic geometry.	ISSAC	2004	DBLP DOI BibTeX RDF	toric Hilbert scheme, tropical geometry
1	Nicholas Eriksson	Toric ideals of homogeneous phylogenetic models.	ISSAC	2004	DBLP DOI BibTeX RDF	Gröbner bases, parametric inference, phylogenetic invariants, toric ideals
1	L. Chan, Edgardo S. Cheb-Terrab	Non-liouvillian solutions for second order Linear ODEs.	ISSAC	2004	DBLP DOI BibTeX RDF	hypergeometric solutions, linear ordinary differential equations, non-Liouvillian solutions
1	Michael Yang, Richard J. Fateman	Extracting mathematical expressions from postscript documents.	ISSAC	2004	DBLP DOI BibTeX RDF	postscript documents, digital library, optical character recognition, document image analysis, mathematics
1	Enric Rodríguez-Carbonell, Deepak Kapur	Automatic generation of polynomial loop.	ISSAC	2004	DBLP DOI BibTeX RDF	ideal, loop invariant, groebner basis
1	George Labahn, Ziming Li 0002	Hyperexponential solutions of finite-rank ideals in orthogonal ore rings.	ISSAC	2004	DBLP DOI BibTeX RDF	hyperexponential solutions, linear partial difference systems, linear partial differential systems, ore rings
1	David Orden, Francisco Santos	The polytope of non-crossing graphs on a planar point set.	ISSAC	2004	DBLP DOI BibTeX RDF	non-crossing graphs, polytope
1	James C. Beaumont, Russell J. Bradford, James H. Davenport	Better simplification of elementary functions through power series.	ISSAC	2003	DBLP DOI BibTeX RDF	simplification power series
1	Frederick W. Chapman	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra.	ISSAC	2003	DBLP DOI BibTeX RDF	Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
1	Erich L. Kaltofen	Polynomial factorization: a success story.	ISSAC	2003	DBLP DOI BibTeX RDF	black box polynomial, randomized algorithm, polynomial factorization, lattice basis reduction, symbolic/numeric hybrid method, straight line program
1	Mohab Safey El Din, Éric Schost	Polar varieties and computation of one point in each connected component of a smooth real algebraic set.	ISSAC	2003	DBLP DOI BibTeX RDF	complexity, real solutions, polynomial system solving
1	Gregory J. Reid, Jianliang Tang, Lihong Zhi	A complete symbolic-numeric linear method for camera pose determination.	ISSAC	2003	DBLP DOI BibTeX RDF	involutive bases, jet spaces, numeric elimination, numeric jet geometry, polynomial solving, calibration, partial differential equations, numerical linear algebra, camera pose estimation
1	Ruchira S. Datta	Using computer algebra to find nash equilibria.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner bases, polyhedral homotopy continuation, game theory, polynomial systems
1	Gene Cooperman, Eric Robinson	Memory-based and disk-based algorithms for very high degree permutation groups.	ISSAC	2003	DBLP DOI BibTeX RDF	Thompson's group, disk-based methods, permutation multiplication, group membership, permutation groups
1	Michael P. Barnett	Chemistry and computer algebra: past, present, future.	ISSAC	2003	DBLP DOI BibTeX RDF
1	Scott McCallum	On order-invariance of a binomial over a nullifying cell.	ISSAC	2003	DBLP DOI BibTeX RDF	order-invariance, CAD, projection
1	Pascal Giorgi, Claude-Pierre Jeannerod, Gilles Villard	On the complexity of polynomial matrix computations.	ISSAC	2003	DBLP DOI BibTeX RDF	column reduced form, matrix gcd, matrix polynomial, minimal basis, polynomial matrix multiplication, determinant

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