Search results for "ISSAC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Anne Fredet	Factorization of linear differential operators in exponential extensions.	ISSAC	2003	DBLP DOI BibTeX RDF	Newton polygon and polynomials, linear differential operators factorization
1	Evelyne Hubert, Nicolas Le Roux	Computing power series solutions of a nonlinear PDE system.	ISSAC	2003	DBLP DOI BibTeX RDF	formal integrability, nonlinear partial differential systems, power series solutions, differential algebra, Newton iteration
1	Ulrich Vollmer	A note on the hermite basis computation of large integer matrices.	ISSAC	2003	DBLP DOI BibTeX RDF	index calculus, hermite normal form
1	Alin Bostan, Grégoire Lecerf, Éric Schost	Tellegen's principle into practice.	ISSAC	2003	DBLP DOI BibTeX RDF	Tellegen's principle, transposition principle, interpolation, computer algebra, polynomial evaluation
1	Keith O. Geddes, Wei Wei Zheng	Exploiting fast hardware floating point in high precision computation.	ISSAC	2003	DBLP DOI BibTeX RDF	arbitrary precision, floating point, least squares, nonlinear systems, linear systems, iterative refinement, multiple precision
1	F. Aroca, J. Cano, Françoise Jung	Power series solutions for non-linear PDE's.	ISSAC	2003	DBLP DOI BibTeX RDF	Newton polyhedron, PDE's, fractional power series solutions
1	Paul S. Wang, Norbert Kajler, Yi Zhou, Xiao Zou	WME: towards a web for mathematics education.	ISSAC	2003	DBLP DOI BibTeX RDF	MeML, WME, mathematics education markup protocol, mathematics education service language, web-based mathematics education, education, web, mathematics, markup
1	Erich L. Kaltofen, John P. May	On approximate irreducibility of polynomials in several variables.	ISSAC	2003	DBLP DOI BibTeX RDF	absolute irreducibility, effective Noether irreducibility forms, multivariate polynomial factorization, radius of irreducibility, approximate factorization, symbolic/numeric hybrid method
1	Wolfram Koepf	Power series, Bieberbach conjecture and the de Branges and Weinstein functions.	ISSAC	2003	DBLP DOI BibTeX RDF	Askey-Gasper inequality, Bieberbach conjecture, FPS algorithm, Sturm sequences, Weinstein functions, algorithmic computation of formal power series, de Branges functions
1	Zhonggang Zeng	A method computing multiple roots of inexact polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	polynomial root-finding
1	Ludovic Meunier, Bruno Salvy	ESF: an automatically generated encyclopedia of special functions.	ISSAC	2003	DBLP DOI BibTeX RDF	D-finite functions, special functions
1	Richard J. Fateman	High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense.	ISSAC	2003	DBLP DOI BibTeX RDF	Bessel, proof, differentiation, recurrence, sine
1	Thomas Cluzeau	Factorization of differential systems in characteristic p.	ISSAC	2003	DBLP DOI BibTeX RDF	characteristic p, differential systems, eigenring, p-curvature, factorization
1	Tateaki Sasaki	The subresultant and clusters of close roots.	ISSAC	2003	DBLP DOI BibTeX RDF
1	J. Rafael Sendra (eds.)	Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings	ISSAC	2003	DBLP BibTeX RDF
1	Tanush Shaska	Determining the automorphism group of a hyperelliptic curve.	ISSAC	2003	DBLP DOI BibTeX RDF	moduli space, hyperelliptic curve, automorphism
1	Viktor Levandovskyy, Hans Schönemann	Plural: a computer algebra system for noncommutative polynomial algebras.	ISSAC	2003	DBLP DOI BibTeX RDF	noncommutative algebras, groebner bases
1	Delphine Boucher, Philippe Gaillard, Felix Ulmer	Fourth order linear differential equations with imprimitive group.	ISSAC	2003	DBLP DOI BibTeX RDF
1	Jürgen Gerhard, Mark Giesbrecht, Arne Storjohann, Eugene V. Zima	Shiftless decomposition and polynomial-time rational summation.	ISSAC	2003	DBLP DOI BibTeX RDF	rational summation
1	Richard J. Fateman, Raymond Toy	Converting call-by-reference to call-by-value: Fortran and Lisp coexisting.	ISSAC	2003	DBLP DOI BibTeX RDF	fortran, lisp, conversion, call
1	Reinhard C. Laubenbacher	A computer algebra approach to biological systems.	ISSAC	2003	DBLP DOI BibTeX RDF
1	Andreas Seidl, Thomas Sturm 0001	A generic projection operator for partial cylindrical algebraic decomposition.	ISSAC	2003	DBLP DOI BibTeX RDF	REDLOG, partial CAD, projection operator
1	Sergei A. Abramov, Ha Q. Le, Marko Petkovsek	Rational canonical forms and efficient representations of hypergeometric terms.	ISSAC	2003	DBLP DOI BibTeX RDF	efficient representations, hypergeometric terms, canonical forms, rational functions
1	Wayne Eberly	Early termination over small fields.	ISSAC	2003	DBLP DOI BibTeX RDF	Lanczos algorithm, linear system solution, randomized algorithm, finite field, Berlekamp-Massey algorithm, early termination, black box matrix
1	Joris van der Hoeven	Relaxed mltiplication using the middle product.	ISSAC	2003	DBLP DOI BibTeX RDF	middle product, relaxed multiplication, power series
1	Manfred Minimair	Factoring sparse resultants of linearly combined polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	composition, resultant, linear combination
1	Alexander Hulpke, Steve Linton	Total ordering on subgroups and cosets.	ISSAC	2003	DBLP DOI BibTeX RDF	algorithm, total order, permutation group, matrix group
1	Elizabeth L. Mansfield, Ágnes Szántó	Elimination theory for differential difference polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, differential polynomial, ore algebra, difference equation
1	Abdolali Basiri, Jean-Charles Faugère	Changing the ordering of Gröbner bases with LLL: case of two variables.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, reduced lattice basis, complexity, LLL
1	Guillermo Matera, Alexandre Sedoglavic	The differential Hilbert function of a differential rational mapping can be computed in polynomial time.	ISSAC	2002	DBLP DOI BibTeX RDF	differential Hilbert function, seminumerical algorithm, differential algebra
1	Akira Suzuki, Yosuke Sato	An alternative approach to comprehensive Gröbner bases.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Eugene M. Luks, Takunari Miyazaki	Polynomial-time normalizers for permutation groups with restricted composition factors.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Joris van der Hoeven	A new zero-test for formal power series.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Éric Schost	Degree bounds and lifting techniques for triangular sets.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Josef Schicho	Simplification of surface parametrizations.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Ziming Li 0002, Fritz Schwarz, Serguei P. Tsarev	Factoring zero-dimensional ideals of linear partial differential operators.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt	A geometric-numeric algorithm for absolute factorization of multivariate polynomials.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Russell J. Bradford, James H. Davenport	Towards better simplification of elementary functions.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso	Computing the topology of real algebraic surfaces.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Samuel S. Dooley	Editing mathematical content and presentation markup in interactive mathematical documents.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Amit Khetan	Determinantal formula for the chow form of a toric surface.	ISSAC	2002	DBLP DOI BibTeX RDF	Bézout matrix, chow form, sparse resultant, toric variety
1	Sergei A. Abramov	Applicability of Zeilberger's algorithm to hypergeometric terms.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Shahadat Hossain, Trond Steihaug	Sparsity issues in the computation of Jacobian matrices.	ISSAC	2002	DBLP DOI BibTeX RDF	sparse jacobians, partition, merging, substitution methods
1	Mark van Hoeij, Michael B. Monagan	A modular GCD algorithm over number fields presented with multiple extensions.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Ha Q. Le	Simplification of definite sums of rational functions by creative symmetrizing method.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Manuel Bronstein, Sébastien Lafaille	Solutions of linear ordinary differential equations in terms of special functions.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Masayuki Noro, Kazuhiro Yokoyama	Yet another practical implementation of polynomial factorization over finite fields.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Carlo Traverso, Alberto Zanoni	Numerical stability and stabilization of Groebner basis computation.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Arne Storjohann	High-order lifting.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Erich L. Kaltofen, Wen-shin Lee	Algorithms for computing the sparsest shifts of polynomials via the Berlekamp/Massey algorithm.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Renaud Rioboo	Towards faster real algebraic numbers.	ISSAC	2002	DBLP DOI BibTeX RDF	algebraic integers, real closure, sub-resultants, fractions, algebraic numbers, real closed fields
1	Kosaku Nagasaka	Towards certified irreducibility testing of bivariate approximate polynomials.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Claude-Pierre Jeannerod	A reduced form for perturbed matrix polynomials.	ISSAC	2002	DBLP DOI BibTeX RDF	Newton diagram, matrix polynomials, perturbed eigenvalues, Smith normal form
1	Bernhard Beckermann, Howard Cheng, George Labahn	Fraction-free row reduction of matrices of skew polynomials.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Arthur D. Chtcherba, Deepak Kapur	On the efficiency and optimality of Dixon-based resultant methods.	ISSAC	2002	DBLP DOI BibTeX RDF	BKK bound, Bezoutians, Dixon method, Sylvester-type matrices, dialytic method, extraneous factor, multiplier matrices, support, resultant
1	Teo Mora (eds.)	Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings	ISSAC	2002	DBLP BibTeX RDF
1	Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda, Laureano González-Vega	Partial solvability by radicals.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Daniel Richardson, Simon Langley	Some observations on familiar numbers.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Xinmao Wang	Acceleration of Euclidean algorithm and extensions.	ISSAC	2002	DBLP DOI BibTeX RDF	p-adic lifting, Smith invariant factors, Toeplitz and Hankel matrices, bit operation complexity, rational number reconstruction, randomized algorithms, linear system of equations, extended euclidean algorithm
1	Alicia Dickenstein, Ioannis Z. Emiris	Multihomogeneous resultant matrices.	ISSAC	2002	DBLP DOI BibTeX RDF	Sylvester and Bézout type matrix, degree vector, determinantal, multihomogeneous system, sparse resultant, formula
1	Volker Weispfenning	Canonical comprehensive Gröbner bases.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet	Finite field linear algebra subroutines.	ISSAC	2002	DBLP DOI BibTeX RDF	BLAS level 1-2-3, Galois finite fields, Winograd's symbolic matrix multiplication
1	Irina A. Kogan, Marc Moreno Maza	Computation of canonical forms for ternary cubics.	ISSAC	2002	DBLP DOI BibTeX RDF	classical invariant theory, method of moving frames, systems of algebraic equations, ternary cubics, elliptic curves, triangular decompositions
1	Erich L. Kaltofen	An output-sensitive variant of the baby steps/giant steps determinant algorithm.	ISSAC	2002	DBLP DOI BibTeX RDF
1	Eugene V. Zima	On computational properties of chains of recurrences.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Steven Fortune	Polynomial root finding using iterated Eigenvalue computation.	ISSAC	2001	DBLP DOI BibTeX RDF
1	André Galligo, David Rupprecht	Semi-numerical determination of irreducible branches of a reduced space curve.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Tateaki Sasaki	Approximate multivariate polynomial factorization based on zero-sum relations.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Emmanuel Thomé	Fast computation of linear generators for matrix sequences and application to the block Wiedemann algorithm.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Mikhail V. Foursov, Marc Moreno Maza	On computer-assisted classification of coupled integrable equations.	ISSAC	2001	DBLP DOI BibTeX RDF	generalized symmetries, integrable PDEs, mathematical physics, polynomial systems, triangular decompositions
1	Carlos D'Andrea, Ioannis Z. Emiris	Hybrid sparse resultant matrices for bivariate systems.	ISSAC	2001	DBLP DOI BibTeX RDF	mixed subdivison, piecewise-linear lifting, sparse resultant matrix, toric Jacobian, convexity
1	Joachim von zur Gathen	Irreducible trinomials over finite fields.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Howard Cheng, George Labahn	Computing all factorizations in ***.	ISSAC	2001	DBLP DOI BibTeX RDF	structured matrices, polynomial factorization
1	Daniele Micciancio, Bogdan Warinschi	A linear space algorithm for computing the herite normal form.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Yosuke Sato, Akira Suzuki	Discrete comprehensive Gröbner bases.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Gene Cooperman, Victor Grinberg	Scalable parallel coset enumeration using bulk definition.	ISSAC	2001	DBLP DOI BibTeX RDF
1	César Domínguez 0001, Julio Rubio 0001	Modeling inheritance as coercion in a symbolic computation system.	ISSAC	2001	DBLP DOI BibTeX RDF	CLOS
1	Raya Khanin	Dimensional analysis in computer algebra.	ISSAC	2001	DBLP DOI BibTeX RDF	dimensional variables, nondimensionalization, computer algebra, Mathematica, dimensional analysis
1	Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager	Computation of the radical of polynomial ideals over fields of arbitrary characteristic.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou	Symbolic-interval cooperation in constraint programming.	ISSAC	2001	DBLP DOI BibTeX RDF	interval arithmetic, constraint solving, symbolic computation
1	Erich L. Kaltofen, Gilles Villard (eds.)	Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001	ISSAC	2001	DBLP BibTeX RDF
1	Edith Aguirre, Abdul Salam Jarrah, Reinhard C. Laubenbacher	Generic ideals and Moreno-Socías conjucture.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, Moreno-Socías conjecture, generic ideals
1	Sergei A. Abramov, Marko Petkovsek	Minimal decomposition of indefinite hypergeometric sums.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns	Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Neven Jurkovic	Diagnosing and correcting student's misconceptions in an educational computer algebra system.	ISSAC	2001	DBLP DOI BibTeX RDF	mal-rules, intelligent tutoring systems (ITS), student modeling, computer algebra systems (CAS)
1	Sergei A. Abramov, Manuel Bronstein	On solutions of linear functional systems.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Olivier Ruatta	A multivariate Weierstrass iterative rootfinder.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Alexandre Sedoglavic	A probabilistic algorithm to test local algebraic observability in polynomial time.	ISSAC	2001	DBLP DOI BibTeX RDF	seminumerical algorithm, observability, identifiability
1	Francesca Cioffi, Ferruccio Orecchia	Computation of minimal generators of ideals of fat points.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner basis, fat points, minimal generators
1	Sidi Mohamed Sedjelmaci	On a parallel Lehmer-Euclid GCD algorithm.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Massimo Caboara, Lorenzo Robbiano	Families of estimable terms.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, border bases, estimable terms, statistics
1	Alessandro Armando, Clemens Ballarin	Maple's evaluation process as constraint contextual rewriting.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
1	Laurent Busé	Residual resultant over the projective plane and the implicitization problem.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Olivier Cormier	On Liouvillian solutions of linear differential equations of order 4 and 5.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt	Towards factoring bivariate approximate polynomials.	ISSAC	2001	DBLP DOI BibTeX RDF	Maple
1	Victor Adamchik	On the Barnes function.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Jinwang Liu, Zhuojun Liu, Xiaoqi Liu, Mingsheng Wang	The membership problem for ideals of binomial skew polynomial rings.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner basis, binomial skew polynomial ring, two-sided ideal
1	Savvas Pericleous, Nicolai N. Vorobjov Jr.	New complexity bounds for cylindrical decompositions of sub-pfaffian sets.	ISSAC	2001	DBLP DOI BibTeX RDF
1	Elizabeth L. Mansfield, Peter E. Hydon	Towards approximations which preserve integrals.	ISSAC	2001	DBLP DOI BibTeX RDF	variational principles, approximation, symmetry, moving frames
1	Victor Y. Pan	Univariate polynomials: nearly optimal algorithms for factorization and rootfinding.	ISSAC	2001	DBLP DOI BibTeX RDF	Graeffe's lifting, Padé approximation, geometry of polynomial zeros, numerical polynomial factorization, rootfinding, univariate polynomials, computational complexity

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