Search results for "ISSAC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	David A. Cox 0001	Gröbner bases: a sampler of recent developments.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner bases, elimination theory
1	Dongming Wang 0001 (eds.)	Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings	ISSAC	2007	DBLP BibTeX RDF
1	Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas	On the complexity of real solving bivariate systems.	ISSAC	2007	DBLP DOI BibTeX RDF	real algebraic number, realsolving, topology of real algebraic curve, maple, polynomial system
1	Erich L. Kaltofen, Zhengfeng Yang	On exact and approximate interpolation of sparse rational functions.	ISSAC	2007	DBLP DOI BibTeX RDF	hybrid symbolic-numeric computation, rational vector recovery, sparse rational function interpolation, lattice basis reduction, early termination
1	Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann	A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm.	ISSAC	2007	DBLP DOI BibTeX RDF	multiprecision arithmetic, integer multiplication
1	Xin Li 0009, Marc Moreno Maza, Éric Schost	Fast arithmetic for triangular sets: from theory to practice.	ISSAC	2007	DBLP DOI BibTeX RDF	high-performance, multiplication, triangular set
1	Mohamed Elkadi, André Galligo	Systems of three polynomials with two separated variables.	ISSAC	2007	DBLP DOI BibTeX RDF	bezoutian, bivariate resultants, bivariate subresultant, intersection problem, structured matrix, sylvester matrix, system with separated variables, algorithms, CAGD
1	Robert M. Corless, Dawit Assefa	Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas.	ISSAC	2007	DBLP DOI BibTeX RDF	elliptic functions, integration
1	Jacques Carette	A canonical form for piecewise defined functions.	ISSAC	2007	DBLP DOI BibTeX RDF	piecewise, normal form, canonical form
1	Luca Gemignani	Structured matrix methods for polynomial root-finding.	ISSAC	2007	DBLP DOI BibTeX RDF	polynomial root-finding, rank-structured matrices, complexity, eigenvalue computation
1	Dario Andrea Bini, Paola Boito	Structured matrix-based methods for polynomial in-gcd: analysis and comparisons.	ISSAC	2007	DBLP DOI BibTeX RDF	bézout matrix, cauchy matrices, displacement structure, polynomial gcd, sylvester matrix
1	Mark van Hoeij	Solving third order linear differential equations in terms of second order equations.	ISSAC	2007	DBLP DOI BibTeX RDF	reduction of order, linear differential equations
1	Joachim von zur Gathen	Counting reducible and singular bivariate polynomials.	ISSAC	2007	DBLP DOI BibTeX RDF	bivariate polynomials, combinatorics on polynomials, reducible polynomials, singular polynomials, finite fields, counting problems
1	Laurent Busé, Marc Dohm	Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies.	ISSAC	2007	DBLP DOI BibTeX RDF	approximation complexes, linear syzygies, implicitization
1	Izumi Miyamoto	A computation of some multiply homogeneous superschemes from transitive permutation groups.	ISSAC	2007	DBLP DOI BibTeX RDF
1	Murray R. Bremner, Michael J. Hancock, Yunfeng Piao	Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems.	ISSAC	2007	DBLP DOI BibTeX RDF	bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems
1	Yosuke Kurata, Masayuki Noro	Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation.	ISSAC	2007	DBLP DOI BibTeX RDF	comprehensive gröbner bases, comprehensive gröbner systems, discrete comprehensive gröbner bases, dynamic evaluation, modular dynamic evaluation, von neumann regular rings
1	Timo Hanke	The isomorphism problem for cyclic algebras and an application.	ISSAC	2007	DBLP DOI BibTeX RDF	abelian crossed product, bicyclic crossed product, cyclic algebra, extension of automorphism, finite-dimensional central-simple algebra, noncrossed product, norm equation, isomorphism problem
1	Katsusuke Nabeshima	A speed-up of the algorithm for computing comprehensive Gröbner systems.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner bases, comprehensive Gröbner bases
1	Arno Eigenwillig, Michael Kerber, Nicola Wolpert	Fast and exact geometric analysis of real algebraic plane curves.	ISSAC	2007	DBLP DOI BibTeX RDF	descartes method, sturm-habicht sequence, topology computation, algebraic curves, exact geometric computation, cylindrical algebraic decomposition
1	Gilles Villard	Some recent progress in exact linear algebra and related questions.	ISSAC	2007	DBLP DOI BibTeX RDF
1	Hiroshi Sekigawa	On real factors of real interval polynomials.	ISSAC	2007	DBLP DOI BibTeX RDF	interval polynomial, factor, divisibility, polytope
1	Hongbo Li 0012	A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra
1	Elena S. Dimitrova, Abdul Salam Jarrah, Reinhard C. Laubenbacher, Brandilyn Stigler	A Gröbner fan method for biochemical network modeling.	ISSAC	2007	DBLP DOI BibTeX RDF	gröbner bases, gröbner fan, monomial orderings, polynomial dynamical systems, reverse engineering, model selection, computational algebra, network inference
1	Eric Robinson, Jürgen Müller 0004, Gene Cooperman	A disk-based parallel implementation for direct condensation of large permutation modules.	ISSAC	2007	DBLP DOI BibTeX RDF	Brauer trees, disk-based computation, sporadic Fischer group, parallel computation, condensation, permutation groups, matrix groups
1	Moulay A. Barkatou, Eckhard Pflügel	Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach.	ISSAC	2007	DBLP DOI BibTeX RDF	local analysis of linear differential systems, moser-reduction, super-reduction, computer algebra, singularities
1	P. Mihailescu, François Morain, Éric Schost	Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts.	ISSAC	2007	DBLP DOI BibTeX RDF	SEA algorithm, finite fields, elliptic curves
1	Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard	Faster inversion and other black box matrix computations using efficient block projections.	ISSAC	2007	DBLP DOI BibTeX RDF	black box linear algebra, linear system solving, sparse integer matrix, structured integer matrix
1	Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi	Minimum converging precision of the QR-factorization algorithm for real polynomial GCD.	ISSAC	2007	DBLP DOI BibTeX RDF	algebraic algorithm stabilization, polynomial greatest common divisor
1	Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima	Time-and space-efficient evaluation of some hypergeometric constants.	ISSAC	2007	DBLP DOI BibTeX RDF	high-precision evaluation, hypergeometric constants
1	Wenyuan Wu, Greg Reid	Symbolic-numeric computation of implicit riquier bases for PDE.	ISSAC	2007	DBLP DOI BibTeX RDF	implicit function theorem, jet spaces, riquier bases, linear programming, ranking, partial differential equation, numerical algebraic geometry
1	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner basis, polynomial spectral factorization, H2 control, sum of roots, quantifier elimination, parametric optimization
1	Manuel Kauers, Carsten Schneider	Symbolic summation with radical expressions.	ISSAC	2007	DBLP DOI BibTeX RDF	difference fields, square roots, algebraic functions, symbolic summation
1	Christopher W. Brown 0001, James H. Davenport	The complexity of quantifier elimination and cylindrical algebraic decomposition.	ISSAC	2007	DBLP DOI BibTeX RDF	quantifier elimination, cylindrical algebraic decomposition
1	Jeremy Johnson 0001, Xu Xu	Generating symmetric DFTs and equivariant FFT algorithms.	ISSAC	2007	DBLP DOI BibTeX RDF	group symmetries, multi-dimensional discrete fourier transform, code generation, fast Fourier transform, matrix factorization
1	James Ruffo	A straightening law for the Drinfel'd Lagrangian Grassmannian.	ISSAC	2007	DBLP DOI BibTeX RDF	Drinfel'd agvarieties quasimaps, algebras with straightening law
1	Pierrick Gaudry, François Morain	Fast algorithms for computing the eigenvalue in the Schoof-Elkies-Atkin algorithm.	ISSAC	2006	DBLP DOI BibTeX RDF	SEA algorithm, point counting, elliptic curves
1	Li Guo 0003, William Y. Sit	Enumeration of Rota-Baxter words.	ISSAC	2006	DBLP DOI BibTeX RDF	Rota-Baxter algebras, Rota-Baxter words, catalan numbers, compositions, generating functions
1	Arash Farzan, J. Ian Munro	Succinct representation of finite abelian groups.	ISSAC	2006	DBLP DOI BibTeX RDF	space-efficient representation, finite group, succinct data structure, abelian group
1	Arthur D. Chtcherba, Deepak Kapur	Conditions for determinantal formula for resultant of a polynomial system.	ISSAC	2006	DBLP DOI BibTeX RDF	Bézoutian, Dixon, dialytic, rank submatrix construction, resultant matrix, resultant
1	Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard	Solving sparse rational linear systems.	ISSAC	2006	DBLP DOI BibTeX RDF	linear system solving, sparse integer matrix, structured matrix
1	Michael Harrison, Josef Schicho	Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Guillaume Moroz	Complexity of the resolution of parametric systems of polynomial equations and inequations.	ISSAC	2006	DBLP DOI BibTeX RDF	discriminant variety, parametric polynomial system, complexity, elimination
1	Manuel Kauers, Carsten Schneider	Application of unspecified sequences in symbolic summation.	ISSAC	2006	DBLP DOI BibTeX RDF	difference fields, symbolic summation
1	Hirotachi Abo, Chris Peterson 0001	Implementation of Kumar's correspondence.	ISSAC	2006	DBLP DOI BibTeX RDF	Kumar correspondence, Quillen-Suslin theorem, Serre conjecture, nilpotent endomorphism, vector bundle
1	Daniel Lazard	Solving Kaltofen's challenge on Zolotarev's approximation problem.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen, Lihong Zhi	Hybrid symbolic-numeric computation.	ISSAC	2006	DBLP DOI BibTeX RDF	symbolic/numeric hybrid methods
1	Marc Moreno Maza	Triangular decompositions of polynomial systems: from theory to practice.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Izumi Miyamoto	An improvement of GAP normalizer function for permutation groups.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Ziming Li 0002, Michael F. Singer, Min Wu 0003, Dabin Zheng	A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.	ISSAC	2006	DBLP DOI BibTeX RDF	Laurent-Ore algebras, associated systems, hyperexponential solutions, one-dimensional submodules
1	Joris van der Hoeven	Effective real numbers in Mmxlib.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Meng Zhou 0001, Franz Winkler 0001	Gröbner bases in difference-differential modules.	ISSAC	2006	DBLP DOI BibTeX RDF	Gröbner basis, difference and differential operators
1	William J. Turner	A block Wiedemann rank algorithm.	ISSAC	2006	DBLP DOI BibTeX RDF	black box linear algebra, block Wiedemann method, power Hermite-Padé approximation, rank algorithm
1	Sergei A. Abramov	On the summation of P-recursive sequences.	ISSAC	2006	DBLP DOI BibTeX RDF	P-recursive sequence, Gosper's algorithm, accurate summation algorithm, discrete Newton-Leibniz formula, hypergeometric term
1	Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez	A note on implicitization and normal parametrization of rational curves.	ISSAC	2006	DBLP DOI BibTeX RDF	generalized resultants, normal parametrizations, rational curves, implicitization
1	Erich L. Kaltofen, Pascal Koiran	Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields.	ISSAC	2006	DBLP DOI BibTeX RDF	Lang conjecture, lacunary polynomials, multivariate polynomials, polynomial-time complexity, polynomial factorization, sparse polynomials, height, algebraic numbers
1	Masayuki Noro	Modular dynamic evaluation.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Phelim Boyle, Alex Potapchik	Application of high-precision computing for pricing arithmetic asian options.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Nicolas Le Roux, Moulay A. Barkatou	Rank reduction of a class of pfaffian systems in two variables.	ISSAC	2006	DBLP DOI BibTeX RDF	Levelt algorithm, Pfaffian systems, Poincaré rank
1	Sara Khodadad, Michael B. Monagan	Fast rational function reconstruction.	ISSAC	2006	DBLP DOI BibTeX RDF	fast Euclidean algorithm, rational reconstruction, modular algorithms
1	Alan P. Sexton, Volker Sorge	Abstract matrices in symbolic computation.	ISSAC	2006	DBLP DOI BibTeX RDF	underspecified matrices, constraints, semantic analysis
1	Howard Cheng, George Labahn	On computing polynomial GCDs in alternate bases.	ISSAC	2006	DBLP DOI BibTeX RDF	Krylov matrices, fraction-free arithmetic, orthogonal polynomials, euclidean algorithm, subresultants
1	Guénaël Renault	Computation of the splitting field of a dihedral polynomial.	ISSAC	2006	DBLP DOI BibTeX RDF	triangular set, splitting field, Galois theory, dihedral group
1	Santiago Laplagne	An algorithm for the computation of the radical of an ideal.	ISSAC	2006	DBLP DOI BibTeX RDF	primary decomposition, algorithms, complexity, polynomial ideal, radical
1	Eric Robinson, Gene Cooperman	A parallel architecture for disk-based computing over the Baby Monster and other large finite simple groups.	ISSAC	2006	DBLP DOI BibTeX RDF	Baby Monster group, disk-based methods, parallel computation, group membership, permutation groups, matrix groups
1	Hennie Poulisse	Computational communicative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate commutative algebra
1	Joachim von zur Gathen	Who was who in polynomial factorization: 1.	ISSAC	2006	DBLP DOI BibTeX RDF	history, polynomial factorization
1	Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó	Approximate radical of ideals with clusters of roots.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Michael B. Monagan, Roman Pearce	Rational simplification modulo a polynomial ideal.	ISSAC	2006	DBLP DOI BibTeX RDF	field of fractions, quotient ring, rational expression, side relations, simplification, Groebner Bases
1	Etienne Farcot	Symbolic numeric analysis of attractors in randomly generated piecewise affine models of gene networks.	ISSAC	2006	DBLP DOI BibTeX RDF	piecewise affine dynamical systems, biological networks, symbolic-numeric algorithms
1	Akpodigha Filatei, Xin Li 0009, Marc Moreno Maza, Éric Schost	Implementation techniques for fast polynomial arithmetic in a high-level programming environment.	ISSAC	2006	DBLP DOI BibTeX RDF	Aldor, polynomials, high-performance, Axiom
1	Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau	Low complexity algorithms for linear recurrences.	ISSAC	2006	DBLP DOI BibTeX RDF	creative telescoping, polynomial and rational solutions, summation, complexity, computer algebra, linear recurrences
1	Christiaan E. van de Woestijne	Surface parametrisation without diagonalisation.	ISSAC	2006	DBLP DOI BibTeX RDF	parametrisation, rational surfaces, quadratic forms
1	Mark Giesbrecht, George Labahn, Wen-shin Lee	Symbolic-numeric sparse interpolation of multivariate polynomials.	ISSAC	2006	DBLP DOI BibTeX RDF	symbolic-numeric computing, multivariate interpolation
1	Hiroshi Sekigawa, Kiyoshi Shirayanagi	Locating real multiple zeros of a real interval polynomial.	ISSAC	2006	DBLP DOI BibTeX RDF	interval polynomial, real multiple zero, convex set
1	Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi	Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate multiple root, approximate polynomial gcd, multivariate polynomial gcd, singular polynomial, linear constraint, symbolic/numeric hybrid method
1	Victoria Powers, Bruce Reznick	A quantitative Pólya's Theorem with corner zeros.	ISSAC	2006	DBLP DOI BibTeX RDF	Pólya's Theorem, positive polynomials, sums of squares
1	Viktor Levandovskyy	Intersection of ideals with non-commutative subalgebras.	ISSAC	2006	DBLP DOI BibTeX RDF	homomorphism of algebras, intersection with subalgebra, non-commutative algebra, preimage of ideal, restriction, elimination, Groebner bases
1	Jonathan M. Borwein, Chris H. Hamilton	Symbolic computation of multidimensional Fenchel conjugates.	ISSAC	2006	DBLP DOI BibTeX RDF	Fenchel conjugate, Legendre-Fenchel transform, computer proofs, inequalities, subdifferential, subgradient
1	Anna Maria Bigatti, Lorenzo Robbiano	CoCoA: a system for computations in commutative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF
1	Wenyuan Wu, Greg Reid	Application of numerical algebraic geometry and numerical linear algebra to PDE.	ISSAC	2006	DBLP DOI BibTeX RDF	involutive systems, jet spaces, numeric jet geometry, polynomial matrix, SVD, partial differential equations, numerical linear algebra, numerical algebraic geometry
1	Christopher Umans	Group-theoretic algorithms for matrix multiplication.	ISSAC	2006	DBLP DOI BibTeX RDF	matrix multiplication, finite groups, representation theory
1	Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov	High-performance implementations of the Descartes method.	ISSAC	2006	DBLP DOI BibTeX RDF	Bernstein bases, Descartes, Taylor shift, de Casteljau, polynomial real root isolation, register tiling, high-performance computing, code generation, performance tuning
1	Xiao-Shan Gao, Chun-Ming Yuan	Resolvent systems of difference polynomial ideals.	ISSAC	2006	DBLP DOI BibTeX RDF	difference ascending chain, difference polynomial, difference variety, unmixed decomposition, resolvent
1	Akira Suzuki, Yosuke Sato	A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases.	ISSAC	2006	DBLP DOI BibTeX RDF	Gröbner basis, Gröbner system, comprehensive Gröbner basis
1	Manfred Minimair	Resultants of skewly composed polynomials.	ISSAC	2006	DBLP DOI BibTeX RDF	composed polynomial, skewly composed, composition, resultant
1	Barry M. Trager (eds.)	Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings	ISSAC	2006	DBLP BibTeX RDF
1	Cyril Pascal, Éric Schost	Change of order for bivariate triangular sets.	ISSAC	2006	DBLP DOI BibTeX RDF	change of order, triangular sets
1	Arno Eigenwillig, Vikram Sharma 0001, Chee-Keng Yap	Almost tight recursion tree bounds for the Descartes method.	ISSAC	2006	DBLP DOI BibTeX RDF	Davenport-Mahler bound, Descartes method, Descartes rule of signs, polynomial real root isolation, Bernstein basis
1	Max Neunhöffer, Ákos Seress	A data structure for a uniform approach to computations with finite groups.	ISSAC	2006	DBLP DOI BibTeX RDF	black-box group, computational group theory, constructive membership, large-base group, matrix group algorithm, permutation group algorithm, GAP
1	Wei Pan, Dongming Wang 0001	Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.	ISSAC	2006	DBLP DOI BibTeX RDF	Buchberger graph, consistency condition, parametric exponent, uniform Gröbner basis, biological modeling, polynomial ideal
1	Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan	Efficient computation of the characteristic polynomial.	ISSAC	2005	DBLP DOI BibTeX RDF	Keller-Gehrig, Magma, finite field, probabilistic algorithm, characteristic polynomial, integer, minimal polynomial
1	Barry H. Dayton, Zhonggang Zeng	Computing the multiplicity structure in solving polynomial systems.	ISSAC	2005	DBLP DOI BibTeX RDF	multiplicity, polynomial ideal, dual space
1	J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao	Algebraic general solutions of algebraic ordinary differential equations.	ISSAC	2005	DBLP DOI BibTeX RDF	Hermite-Padé approximants, algebraic differential equation, algebraic general solution, first order autonomous ODE, algebraic curve
1	Christopher W. Brown 0001, Scott McCallum	On using bi-equational constraints in CAD construction.	ISSAC	2005	DBLP DOI BibTeX RDF	CAD, polynomial systems
1	Sergey P. Tsarev	Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations.	ISSAC	2005	DBLP DOI BibTeX RDF	complete solutions, systems of linear PDEs, factorization
1	Manuel Kauers (eds.)	Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings	ISSAC	2005	DBLP BibTeX RDF
1	Mark van Hoeij, Jacques-Arthur Weil	Solving second order linear differential equations with Klein's theorem.	ISSAC	2005	DBLP DOI BibTeX RDF
1	Delphine Boucher	Non complete integrability of a magnetic satellite in circular orbit.	ISSAC	2005	DBLP DOI BibTeX RDF
1	Lu Yang, Zhenbing Zeng	An open problem on metric invariants of tetrahedra.	ISSAC	2005	DBLP DOI BibTeX RDF	manifold solution, metric invariant, tetrahedron, distance geometry

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