Search results for "ISSAC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	W. Dale Brownawell, Chee-Keng Yap	Lower bounds for zero-dimensional projections.	ISSAC	2009	DBLP DOI BibTeX RDF	chow forms, exact numerical algorithms, nullstellensatz, transcendence theory, zero bounds, exact geometric computation
1	Alan P. Sexton, Volker Sorge, Stephen M. Watt	Computing with abstract matrix structures.	ISSAC	2009	DBLP DOI BibTeX RDF	abstract matrix arithmetic, symbolic computation
1	Chee-Keng Yap	Exact numerical computation in algebra and geometry.	ISSAC	2009	DBLP DOI BibTeX RDF	adaptive complexity analysis, exact numerical computation, explicitization problems, numerical algebraic computation, numerical computational geometry, zero bounds
1	Christopher W. Brown 0001	Fast simplifications for Tarski formulas.	ISSAC	2009	DBLP DOI BibTeX RDF	tarski formulas, simplification
1	Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama	Computation schemes for splitting fields of polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	triangular set, splitting field, galois theory
1	Ana Romero 0001, Graham Ellis, Julio Rubio 0001	Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP.	ISSAC	2009	DBLP DOI BibTeX RDF	group cohomology, kenzo, openmath, interoperability, gap
1	Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang	Computing cylindrical algebraic decomposition via triangular decomposition.	ISSAC	2009	DBLP DOI BibTeX RDF	regular chain, triangular decomposition, cad
1	Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha	Algorithms for regular solutions of higher-order linear differential systems.	ISSAC	2009	DBLP DOI BibTeX RDF	frobenius method, higher-order linear differential systems, matrix polynomials, regular formal solutions, computer algebra
1	Jeremy R. Johnson, Hyungju Park, Erich L. Kaltofen (eds.)	Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings	ISSAC	2009	DBLP BibTeX RDF
1	B. David Saunders, Bryan S. Youse	Large matrix, small rank.	ISSAC	2009	DBLP DOI BibTeX RDF	matrix p-rank
1	Scott McCallum, Christopher W. Brown 0001	On delineability of varieties in CAD-based quantifier elimination with two equational constraints.	ISSAC	2009	DBLP DOI BibTeX RDF	quantifier elimination, cylindrical algebraic decomposition
1	Luca De Feo, Éric Schost	Fast arithmetics in artin-schreier towers over finite fields.	ISSAC	2009	DBLP DOI BibTeX RDF	artin-schreier, algorithms, complexity
1	Georg Regensburger, Markus Rosenkranz, Johannes Middeke	A skew polynomial approach to integro-differential operators.	ISSAC	2009	DBLP DOI BibTeX RDF	baxter algebra, integro-differential algebra, integro-differential operators, skew polynomials, weyl algebra
1	Michael B. Monagan, Roman Pearce	Parallel sparse polynomial multiplication using heaps.	ISSAC	2009	DBLP DOI BibTeX RDF	parallel, polynomial, multiplication, sparse
1	Marc Giusti	A Gröbner free alternative to solving and a geometric analogue to Cook's thesis.	ISSAC	2009	DBLP DOI BibTeX RDF	cook's thesis, solving, algorithms, polynomial
1	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	On factorization of multivariate polynomials over algebraic number and function fields.	ISSAC	2009	DBLP DOI BibTeX RDF	hensel lifting, sparse interpolation, factorization algorithms, algebraic function fields
1	Xavier Dahan	Size of coefficients of lexicographical Groöbner bases: the zero-dimensional, radical and bivariate case.	ISSAC	2009	DBLP DOI BibTeX RDF	gr?bner bases, space complexity, triangular sets
1	Bernhard Beckermann, George Labahn	Fraction-free computation of simultaneous padé approximants.	ISSAC	2009	DBLP DOI BibTeX RDF	fraction-free arithmetic, order bases, rational approximation
1	Martin Mevissen, Kosuke Yokoyama, Nobuki Takayama	Solutions of polynomial systems derived from the steady cavity flow problem.	ISSAC	2009	DBLP DOI BibTeX RDF	finite difference discretization, polynomial optimization, semidefinite programming relaxation, steady cavity flow problem, sparsity
1	Jean-Charles Faugère, Ludovic Perret	High order derivatives and decomposition of multivariate polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner basis, multivariate cryptology, public key cryptography, cryptology, algebraic cryptanalysis, f5 algorithm
1	Joachim von zur Gathen	The number of decomposable univariate polynomials. extended abstract.	ISSAC	2009	DBLP DOI BibTeX RDF	combinatorics on polynomials, polynomial decomposition, finite fields, computer algebra
1	Jean-Charles Faugère	Interactions between computer algebra (Gröbner bases) and cryptology.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner basis, public key, cryptology, algebraic cryptanalysis, multivariate cryptography, f5 algorithm
1	Stef Graillat, Philippe Trebuchet	A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system.	ISSAC	2009	DBLP DOI BibTeX RDF	quotient algebra, normal form, multivariate polynomial, symbolic-numeric computation, root-finding
1	Markus Schweighofer	Describing convex semialgebraic sets by linear matrix inequalities.	ISSAC	2009	DBLP DOI BibTeX RDF	determinantal representation, moment relaxation, polynomial inequality, quadratic module, semialgebraic set, spectrahedron, semidefinite programming, linear matrix inequality, convex set, sums of squares, preordering
1	Daniel S. Roche	Space- and time-efficient polynomial multiplication.	ISSAC	2009	DBLP DOI BibTeX RDF	time-space tradeoff, polynomial multiplication, integer multiplication, space efficiency
1	Xin Li 0009, Marc Moreno Maza, Wei Pan 0001	Computations modulo regular chains.	ISSAC	2009	DBLP DOI BibTeX RDF	fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants
1	Alin Bostan, Éric Schost	Fast algorithms for differential equations in positive characteristic.	ISSAC	2009	DBLP DOI BibTeX RDF	p-curvature, algorithms, complexity, differential equations, polynomial solutions
1	Ivan Morel, Damien Stehlé, Gilles Villard	H-LLL: using householder inside LLL.	ISSAC	2009	DBLP DOI BibTeX RDF	householder's algorithm, floating-point arithmetic, lattice reduction, lll
1	Kurt Mehlhorn, Michael Sagraloff	Isolating real roots of real polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	bisection algorithm, bitstream coefficient, descartes' rule of sign, real polynomial, root isolation
1	Zhonggang Zeng	The approximate irreducible factorization of a univariate polynomial: revisited.	ISSAC	2009	DBLP DOI BibTeX RDF	multiplicity, polynomial factoring, ill-posed problems
1	Jon González-Sánchez, Laureano González-Vega, Alejandro Piñera-Nicolás, Irene Polo-Blanco, Jorge Caravantes, Ignacio F. Rúa	Analyzing group based matrix multiplication algorithms.	ISSAC	2009	DBLP DOI BibTeX RDF	groups, fourier transform, matrix multiplication
1	Miroslav Halás, Ülle Kotta, Ziming Li 0002, Huaifu Wang, Chunming Yuan	Submersive rational difference systems and their accessibility.	ISSAC	2009	DBLP DOI BibTeX RDF	inversive closure, rational difference system, reflexive ideals, submersivity, accessibility, transfer function
1	Tetsuo Ida	Symbolic and algebraic methods in computational origami: invited talk.	ISSAC	2009	DBLP DOI BibTeX RDF	gröbner bases, graph rewriting, origami
1	Daniel Andres, Viktor Levandovskyy, Jorge Martín-Morales	Principal intersection and bernstein-sato polynomial of an affine variety.	ISSAC	2009	DBLP DOI BibTeX RDF	bernstein-sato polynomial of variety, initial ideal, intersection with subalgebra, non-commutative gr?bner bases, preimage of ideal, annihilator, d-modules
1	Ioannis Z. Emiris, Angelos Mantzaflaris	Multihomogeneous resultant formulae for systems with scaled support.	ISSAC	2009	DBLP DOI BibTeX RDF	bézout, determinantal formula, maple implementation, multihomogeneous system, resultant matrix, sylvester
1	Vladimir P. Gerdt, Mikhail V. Zinin	A pommaret division algorithm for computing Grobner bases in boolean rings.	ISSAC	2008	DBLP DOI BibTeX RDF	boolean ring, involutive algorithm, pommaret division, groebner basis
1	Viktor Levandovskyy, Jorge Martín-Morales	Computational D-module theory with singular, comparison with other systems and two new algorithms.	ISSAC	2008	DBLP DOI BibTeX RDF	bernstein-sato polynomial, intersection with subalgebra, non-commutative groebner bases, preimage of ideal, annihilator, groebner bases, D-modules
1	Songxin Liang, David J. Jeffrey, Marc Moreno Maza	The complete root classification of a parametric polynomial on an interval.	ISSAC	2008	DBLP DOI BibTeX RDF	complete root classification, parametric polynomial, real quantifier elimination, interval, real root
1	Melanie Achatz, Scott McCallum, Volker Weispfenning	Deciding polynomial-exponential problems.	ISSAC	2008	DBLP DOI BibTeX RDF	exponential polynomials, decision procedure
1	Felix Antritter, Jean Lévine	Towards a computer algebraic algorithm for flat output determination.	ISSAC	2008	DBLP DOI BibTeX RDF	differential flatness, control systems
1	Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta	On the computation of the topology of a non-reduced implicit space curve.	ISSAC	2008	DBLP DOI BibTeX RDF	generic conditions, sturm-habicht sequence, subresultants sequence, topology computation, algebraic curves, exact geometric computation
1	Zhibek Kadyrsizova, Valery G. Romanovski	Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities.	ISSAC	2008	DBLP DOI BibTeX RDF	the center and linearizability problems, normal forms, ordinary differential equations, polynomial ideals
1	Moulay A. Barkatou, Gary Broughton, Eckhard Pflügel	Regular systems of linear functional equations and applications.	ISSAC	2008	DBLP DOI BibTeX RDF	moser-reduction, super-reduction, systems of linear functional equations, computer algebra, singularities
1	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Symbolic optimization of algebraic functions.	ISSAC	2008	DBLP DOI BibTeX RDF	polynomial spectral factorization, quantifier elimination, parametric optimization, groebner basis
1	François Lemaire, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	When does (T) equal sat(T)?	ISSAC	2008	DBLP DOI BibTeX RDF	megasquid, primitivity of polynomials, regular chain, saturated ideal
1	Matthias Aschenbrenner, Christopher J. Hillar	An algorithm for finding symmetric Grobner bases in infinite dimensional rings.	ISSAC	2008	DBLP DOI BibTeX RDF	Grobner basis, invariant ideal, polynomial reduction, algorithm, partial ordering, symmetric group
1	Alin Bostan, Frédéric Chyzak, Nicolas Le Roux	Products of ordinary differential operators by evaluation and interpolation.	ISSAC	2008	DBLP DOI BibTeX RDF	differential operators, fast algorithms
1	Xuhui Wang, Falai Chen, Jiansong Deng	Implicitization and parametrization of quadratic surfaces with one simple base point.	ISSAC	2008	DBLP DOI BibTeX RDF	moving plane, weak u-basis, parametrization, implicitization
1	Gregor Kemper	Algorithmic invariant theory.	ISSAC	2008	DBLP DOI BibTeX RDF	computational commutative algebra, invariant theory
1	Dima Grigoriev, Fritz Schwarz	Loewy decomposition of third-order linear aPDE's in the plane.	ISSAC	2008	DBLP DOI BibTeX RDF	linear partial differential equations, loewy decomposition, factorization
1	Markus Rosenkranz, Georg Regensburger	Integro-differential polynomials and operators.	ISSAC	2008	DBLP DOI BibTeX RDF	green's operators, integro-differential algebras, linear boundary value problems, noncommutative gröbner bases, integral operators
1	Manuel Kauers	Integration of algebraic functions: a simple heuristic for finding the logarithmic part.	ISSAC	2008	DBLP DOI BibTeX RDF	algebraic functions, symbolic integration
1	Martin Peternell, Boris Odehnal	On generalized ln-surfaces in 4-space.	ISSAC	2008	DBLP DOI BibTeX RDF	chordal variety, linear congruence of lines, ln-surface, quadratically parameterized surface, rational parameterization
1	Erich L. Kaltofen, Pascal Koiran	Expressing a fraction of two determinants as a determinant.	ISSAC	2008	DBLP DOI BibTeX RDF	algebraic complexity theory, formula complexity, strassen's removal of divisions, toda's skew circuits, valiant's universality of determinants
1	Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din	Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities.	ISSAC	2008	DBLP DOI BibTeX RDF	perspective-three-point problem, computer vision, complexity, real solutions, polynomial system solving
1	Hongbo Li 0012, Lei Huang	Complex brackets, balanced complex differences, and applications in symbolic geometric computing.	ISSAC	2008	DBLP DOI BibTeX RDF	bracket algebra, complex numbers method, graph theory, theorem proving, geometric algebra
1	Anton Leykin	Numerical primary decomposition.	ISSAC	2008	DBLP DOI BibTeX RDF	polynomial homotopy continuation, primary decomposition, numerical algebraic geometry, deflation
1	Jean-Guillaume Dumas	Q-adic transform revisited.	ISSAC	2008	DBLP DOI BibTeX RDF	dqt (discrete q-adic transform), fqt (fast q-adic transform), kronecker substitution, modular polynomial multiplication, redq (simultaneous modular reduction), small extension field, finite field
1	William A. Stein	Can we create a viable free open source alternative to magma, maple, mathematica and matlab?	ISSAC	2008	DBLP DOI BibTeX RDF	free, magma, open source, matlab, maple, mathematica
1	Adam W. Strzebonski	Real root isolation for exp-log functions.	ISSAC	2008	DBLP DOI BibTeX RDF	exp-log functions, real root isolation, solving equations
1	J. Rafael Sendra, Laureano González-Vega (eds.)	Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings	ISSAC	2008	DBLP BibTeX RDF
1	Komei Fukuda	Exact algorithms and software in optimization and polyhedral computation.	ISSAC	2008	DBLP DOI BibTeX RDF	exact implementation, optimization, algorithms, polytopes, convex geometry
1	Michael Brickenstein, Alexander Dreyer	Gröbner-free normal forms for boolean polynomials.	ISSAC	2008	DBLP DOI BibTeX RDF	boolean polynomials, gröbner, interpolation, normal forms
1	Adrien Poteaux, Marc Rybowicz	Good reduction of puiseux series and complexity of the Newton-Puiseux algorithm over finite fields.	ISSAC	2008	DBLP DOI BibTeX RDF	modular methods, puiseux series, complexity, finite fields, algebraic functions, symbolic-numeric algorithms
1	Hiroshi Sekigawa	The nearest polynomial with a zero in a given domain from a geometrical viewpoint.	ISSAC	2008	DBLP DOI BibTeX RDF	davenport-schinzel sequence, l?-norm, polynomial, perturbation, zero
1	Madhu Sudan 0001	Algebraic algorithms and coding theory.	ISSAC	2008	DBLP DOI BibTeX RDF	algebraic algorithms, error correcting codes
1	Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi	Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.	ISSAC	2008	DBLP DOI BibTeX RDF	validated output, semidefinite programming, hybrid method, sum-of-squares, approximate factorization
1	Xiaoli Wu, Lihong Zhi	Computing the multiplicity structure from geometric involutive form.	ISSAC	2008	DBLP DOI BibTeX RDF	involutive system, numerical linear algebra
1	Guénaël Renault, Kazuhiro Yokoyama	Multi-modular algorithm for computing the splitting field of a polynomial.	ISSAC	2008	DBLP DOI BibTeX RDF	splitting field, galois theory
1	Elizabeth L. Mansfield	Digital atlases and difference forms.	ISSAC	2008	DBLP DOI BibTeX RDF	difference chains, difference forms, lattice variety, local difference potentials, local exactness, symbolic numeric methods, cohomology
1	Ekaterina Shemyakova, Elizabeth L. Mansfield	Moving frames for laplace invariants.	ISSAC	2008	DBLP DOI BibTeX RDF	gauge transformations, partial differential operators, invariants, moving frames
1	Itnuit Janovitz-Freireich, Ágnes Szántó, Bernard Mourrain, Lajos Rónyai	Moment matrices, trace matrices and the radical of ideals.	ISSAC	2008	DBLP DOI BibTeX RDF	matrices of traces, moment matrices, radical ideal, solving polynomial systems
1	Massimo Caboara, Fabrizio Caruso, Carlo Traverso	Gröbner bases for public key cryptography.	ISSAC	2008	DBLP DOI BibTeX RDF	gröbner basis, lattice, public key cryptosystem, hermite normal form
1	Eckhard Pflügel	A rational decomposition-lemma for systems of linear differential-algebraic equations.	ISSAC	2008	DBLP DOI BibTeX RDF	linear daes, splitting lemma, computer algebra, local reduction
1	Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap	Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves.	ISSAC	2008	DBLP DOI BibTeX RDF	complete numerical algorithm, evaluation bound, implicit algebraic curve, root bound, meshing, singularity, subdivision algorithm
1	Sergei A. Abramov	Power series and linear difference equations.	ISSAC	2008	DBLP DOI BibTeX RDF	linear difference equation with polynomial coefficients, sequential solution, subanalytic solution, power series
1	Alin Bostan, Bruno Salvy, Éric Schost	Power series composition and change of basis.	ISSAC	2008	DBLP DOI BibTeX RDF	basis conversion, transposed algorithms, fast algorithms, orthogonal polynomials
1	Mark Giesbrecht, Daniel S. Roche	On lacunary polynomial perfect powers.	ISSAC	2008	DBLP DOI BibTeX RDF	black box polynomial, lacunary polynomial, perfect power, sparse polynomial
1	Didier Henrion, Michael Sebek	Plane geometry and convexity of polynomial stability regions.	ISSAC	2008	DBLP DOI BibTeX RDF	control theory, convexity, resultants
1	Mohab Safey El Din	Computing the global optimum of a multivariate polynomial over the reals.	ISSAC	2008	DBLP DOI BibTeX RDF	complexity, global optimization, real solutions, polynomial system solving
1	Ruben Debeerst, Mark van Hoeij, Wolfram Koepf	Solving differential equations in terms of bessel functions.	ISSAC	2008	DBLP DOI BibTeX RDF	generalized exponents, differential equations, bessel functions
1	Jesús A. De Loera, Jon Lee 0001, Peter N. Malkin, Susan Margulies	Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.	ISSAC	2008	DBLP DOI BibTeX RDF	nullstellensatz
1	Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap	Complete numerical isolation of real zeros in zero-dimensional triangular systems.	ISSAC	2007	DBLP DOI BibTeX RDF	evaluation bound, real zero isolation, sleeve bound, triangular system
1	Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost	Differential equations for algebraic functions.	ISSAC	2007	DBLP DOI BibTeX RDF	algebraic series, creative telescoping, differential resolvents, complexity, computer algebra
1	Gilles Villard	Certification of the QR factor R and of lattice basis reducedness.	ISSAC	2007	DBLP DOI BibTeX RDF	lattice basis reducedness, verification algorithm, linear algebra, QR factorization
1	Alain Bretto, Luc Gillibert	G-graphs for the cage problem: a new upper bound.	ISSAC	2007	DBLP DOI BibTeX RDF	G-graphs, cage graphs, graphs from group
1	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	A sparse modular GCD algorithm for polynomials over algebraic function fields.	ISSAC	2007	DBLP DOI BibTeX RDF	GCD algorithms, sparse interpolation, algebraic function fields
1	Robert M. Corless, Hui Ding, David J. Jeffrey	The solution of s exp(s) = a is not always the lambert w function of a.	ISSAC	2007	DBLP DOI BibTeX RDF	lambert w function, matrix function, nonlinear matrix equation
1	F. Schwarz	Loewy decomposition of linear differential equations.	ISSAC	2007	DBLP DOI BibTeX RDF	Janet basis, Loewy decomposition, D-module
1	Clément Pernet, Arne Storjohann	Faster algorithms for the characteristic polynomial.	ISSAC	2007	DBLP DOI BibTeX RDF	frobenius normal form, complexity, characteristic polynomial
1	John P. May, David Saunders 0002, Zhendong Wan	Efficient matrix rank computation with application to the study of strongly regular graphs.	ISSAC	2007	DBLP DOI BibTeX RDF	matrix p-rank, out of core methods
1	Alin Bostan, Claude-Pierre Jeannerod, Éric Schost	Solving toeplitz- and vandermonde-like linear systems with large displacement rank.	ISSAC	2007	DBLP DOI BibTeX RDF	structured linear algebra, dense linear algebra
1	Marco Bodrato, Alberto Zanoni	Integer and polynomial multiplication: towards optimal toom-cook matrices.	ISSAC	2007	DBLP DOI BibTeX RDF	Karatsuba, integer and polynomial multiplication, toom-cook, interpolation, squaring, matrix inversion
1	Vikram Sharma 0001	Complexity of real root isolation using continued fractions.	ISSAC	2007	DBLP DOI BibTeX RDF	Davenport-Mahler bound, descartes rule of signs, polynomial real root isolation, continued fractions
1	Raouf Dridi, Michel Petitot	Towards a new ode solver based on cartan's equivalence method.	ISSAC	2007	DBLP DOI BibTeX RDF	cartan's equivalence method, ode-solver, differential algebra, equivalence problems
1	Daniel Kunkle, Gene Cooperman	Twenty-six moves suffice for Rubik's cube.	ISSAC	2007	DBLP DOI BibTeX RDF	Rubik's cube, disk-based methods, fast multiplication, upper bound, permutation groups
1	Alexander B. Levin	Gröbner bases with respect to several term orderings and multivariate dimension polynomials.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner basis, differential field extension, dimension polynomial, ore polynomials, p-dimensional ltration
1	Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi	Algorithmic differentiation in Axiom.	ISSAC	2007	DBLP DOI BibTeX RDF	algorithmic differentiation, program transformation, axiom, symbolic-numeric computation
1	Peter Bürgisser, Peter Scheiblechner	Differential forms in computational algebraic geometry.	ISSAC	2007	DBLP DOI BibTeX RDF	differential forms, irreducible components, complexity, connected components
1	Serena Cicalò, Willem A. de Graaf	Non-associative gröbner bases, finitely-presented lie rings and the engel condition.	ISSAC	2007	DBLP DOI BibTeX RDF	engel condition, gröbner basis, lie ring

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