Search results for "ISSAC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mohamed Omar Rayes, Paul S. Wang, Kenneth Weber	Parallelization of the Sparse Modular GCD Algorithm for Multivariate Polynomials on Shared Memory Multiprocessors.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Sylvain Petitjean	Automating the Construction of Stationary Multiple-Point Classes.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
1	Victor G. Ganzha, Evgenii V. Vorozhtsov, J. Boers, J. A. van Hulzen	Symbolic-Numeric Stability Investigations of Jameson's Schemes for the Thin-Layer Navier-Stokes Equations.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin	A Fine-Grained Parallel Completion Procedure.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Jamil Baddoura	A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Philip H. Todd, Robin J. Y. McLeod, Marcia Harris	A System for the Symbolic Analysis of Problems in Engineering Mechanics.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Roberto La Scala	An Algorithm for Complexes.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Laurent Bertrand	On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
1	Tomás Recio, M. J. González-López	On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Jacques-Arthur Weil	The Use of the Special Semi-Groups for Solving Differential Equations.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Jason F. Harris	Inheritance of Rewrite Rule Structures Applied to Symbolic Computation.	ISSAC	1994	DBLP DOI BibTeX RDF	Mathematica
1	Charles C. Dyer	An Application of Symbolic Computation in the Physical Sciences.	ISSAC	1994	DBLP DOI BibTeX RDF	REDUCE
1	Yagati N. Lakshman, B. David Saunders	On Computing Sparse Shifts for Univariate Polynomials.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Martin Schönert, Ákos Seress	Finding Blocks of Imprimitivity in Small-Base Groups in Nearly Linear Time.	ISSAC	1994	DBLP DOI BibTeX RDF
1	David Pokrass Jacobs	The Albert Nonassociative Algebra System: A Progress Report.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Olaf Bachmann, Paul S. Wang, Eugene V. Zima	Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions.	ISSAC	1994	DBLP DOI BibTeX RDF	Common Lisp
1	Adam Dingle, Richard J. Fateman	Branch Cuts in Computer Algebra.	ISSAC	1994	DBLP DOI BibTeX RDF	Mathematica
1	Deepak Kapur, Tushar Saxena, Lu Yang	Algebraic and Geometric Reasoning Using Dixon Resultants.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Gilles Villard	Fast Parallel Computation of the Smith Normal Form of Polynomial Matrices.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Michael B. Monagan, Gaston H. Gonnet	Signature Functions for Algebraic Numbers.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Ron Sommeling	Characteristic Classes for Irregular Singularities.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Robert M. Corless	Sufficiency Analysis for the Calculus of Variations.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
1	Sergei A. Abramov, Marko Petkovsek	D'Alembertian Solutions of Linear Differential and Difference Equations.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Alain Goriely, Michael Tabor	How to Compute the Melnikov Vector?	ISSAC	1994	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen, Austin Lobo	Factoring High-Degree Polynomials by the Black Box Berlekamp Algorithm.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Sandra Licciardi, Teo Mora	Implicitization of Hypersurfaces and Curves by the Primbasissatz and Basis Conversion.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Andreas Weber	Algorithms for Type Inference with Coercions.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Hong Du	On the Isomorphisms of Smooth Algebraic Curves.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Mark Giesbrecht	Fast Algorithms for Rational Forms of Integer Matrices.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Simon Gray, Norbert Kajler, Paul S. Wang	MP: A Protocol for Efficient Exchange of Mathematical Expressions.	ISSAC	1994	DBLP DOI BibTeX RDF	C, Maple
1	Bruce W. Char, Mark F. Russo	Automatic Identification of Time Scales in Enzyme Kinetics Models.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
1	Volker Weispfenning	Quantifier Elimination for Real Algebra - the Cubic Case.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Kelly Roach	Symbolic-Numeric Nonlinear Equation Solving.	ISSAC	1994	DBLP DOI BibTeX RDF	Maple
1	Robert Cremanns, Friedrich Otto	Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract).	ISSAC	1994	DBLP DOI BibTeX RDF
1	Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso	The Shape of the Shape Lemma.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Manuel Bronstein	An Improved Algorithm for Factoring Linear Ordinary Differential Operators.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Ana Maria Mandache	The Gröbner Basis Algorithm and Subresultant Theory.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen	Asymptotically Fast Solution of Toeplitz-like Singular Linear Systems.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Malcolm A. H. MacCallum (eds.)	Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994	ISSAC	1994	DBLP BibTeX RDF
1	Richard D. Jenks, Barry M. Trager	How to Make AXIOM into a Scratchpad.	ISSAC	1994	DBLP DOI BibTeX RDF
1	Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor	A First Report on the A# Compiler.	ISSAC	1994	DBLP DOI BibTeX RDF	LISP
1	Ioannis Z. Emiris, Ashutosh Rege	Monomial Bases and Polynomial System Solving (extended abstract).	ISSAC	1994	DBLP DOI BibTeX RDF
1	Domenico Cantone, Vincenzo Cutello	Decision Procedures for Stratified Set-Theoretic Syllogistics.	ISSAC	1993	DBLP DOI BibTeX RDF	Multi-sorted languages, Set Theory, Decision Procedures
1	Marie-Françoise Roy	Aspect Graphs of Algebraic Surfaces.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Michael Kalkbrener	An Upper Bound on the Number of Monomials in the Sylvester Resultant.	ISSAC	1993	DBLP DOI BibTeX RDF
1	D. M. Klimov, V. M. Rudenko, V. V. Leonov	Symbolic Evaluation in the Nonlinear Mechanical Systems.	ISSAC	1993	DBLP DOI BibTeX RDF	REDUCE
1	Hoon Hong	Quantifier Elimination for Formulas Constrained by Quadratic Equations.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Daniel Richardson	A Zero Structure Theorem for Exponential Polynomials.	ISSAC	1993	DBLP DOI BibTeX RDF
1	John Shackell	Nested Expansions and Hardy Fields.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Sergei A. Abramov, K. Yu. Kvashenko	On the Greatest Common Divisor of Polynomials which Depend on a Parameter.	ISSAC	1993	DBLP DOI BibTeX RDF	REDUCE
1	Marius van der Put, Peter A. Hendriks	A Rationality Result for Kovacic's Algorithm.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Manuel Bronstein (eds.)	Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993	ISSAC	1993	DBLP BibTeX RDF
1	David J. Jeffrey	Integration to Obtain Expressions Valid on Domains of Maximum Extent.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple, Mathematica
1	Sabine Stifter	Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Hongzhong Wu	On the Assignment Complexity of Uniform Trees.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Victor G. Ganzha, Evgenii V. Vorozhtsov	A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs.	ISSAC	1993	DBLP DOI BibTeX RDF
1	L. Vallier	An Algorithm for the Computation of Normal Forms and Invariant Manifolds.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Alexey Zharkov	On Algebraic Solutions of First Order Riccatti Equation.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Sergey A. Gutnik	Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Philip S. Santas	A Type System for Computer Algebra (abstract).	ISSAC	1993	DBLP DOI BibTeX RDF
1	László Babai, Katalin Friedl, Markus Stricker	Decomposition of *-closed Algebras in Polynomial Time.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Marko Petkovsek, Bruno Salvy	Finding all Hypergeometric Solutions of Linear Differential Equations.	ISSAC	1993	DBLP DOI BibTeX RDF
1	J. Rafael Sendra, Juan Llovet	Efficient Algorithms for Hankel Matrices over Z[x1, ..., xr].	ISSAC	1993	DBLP DOI BibTeX RDF
1	László Babai, Robert Beals, Daniel N. Rockmore	Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Tudor Jebelean	A Generalization of the Binary GCD Algorithm.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Volker Weispfenning	Differential Term-Orders.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Klaus Madlener, Birgit Reinert	Computing Gröbner Bases in Monoid and Group Rings.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Massimo Caboara	A Dynamic Algorithm for Gröbner Basis Computation.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Dongdai Lin, Zhuojun Liu	Some Results on Theorem Proving in Geometry over Finite Fields.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Ivan I. Shevchenko, Andrej G. Sokolsky	Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Kazuhiro Yokoyama, Taku Takeshima	On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang	Automated Geometry Theorem Proving by Vector Calculation.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Robert Beals	An Elementary Algorithm for Computing the Composition Factors of a Permutation Group.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Bernard Mourrain	The 40 "generic" Positions of a Parallel Robot.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Emil J. Volcheck	Noether's S-Transformation Simplifies Curve Singularities Rationally: A Local Analysis.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple
1	Gilles Villard	Computation of the Smith Normal Form of Polynomial Matrices.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Manuel Bronstein, Bruno Salvy	Full Partial Fraction Decomposition of Rational Functions.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Eugene V. Zima	Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique.	ISSAC	1993	DBLP DOI BibTeX RDF	Pascal, REDUCE
1	G. Keady, M. G. Richardson	An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks..	ISSAC	1993	DBLP DOI BibTeX RDF	REDUCE, FORTRAN 77
1	Sergei A. Abramov	On d'Alembert Substitution.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Alexander B. Godlevsky, Anatoly E. Doroshenko	Parallelizing Programs with APs.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Michael B. Monagan, Walter M. Neuenschwander	GRADIENT: Algorithmic Differentiation in Maple.	ISSAC	1993	DBLP DOI BibTeX RDF	Maple
1	Dominik Gruntz	A New Algorithm for Computing Asymptotic Series.	ISSAC	1993	DBLP DOI BibTeX RDF
1	George E. Collins, Werner Krandick	A Hybrid Method for High Precision Calculation of Polynomial Real Roots.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Ioannis Z. Emiris, John F. Canny	A Practical Method for the Sparse Resultant.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Dario Bini, Victor Y. Pan	Parallel Computations with Toeplitz-like and Hankel-like Matrices.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Victor F. Edneral	Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE.	ISSAC	1993	DBLP DOI BibTeX RDF	LISP
1	Jinzhao Wu, Lian Li	The Regular Problem and Green Equivalences for Special Monoids.	ISSAC	1993	DBLP DOI BibTeX RDF
1	Jaime Gutierrez 0001, Tomás Recio	A Practical Implementation of Two Rational Function Decomposition Algorithms.	ISSAC	1992	DBLP DOI BibTeX RDF	REDUCE, Maple
1	Peter Kirrinnis	Fast Computation of Numerical Partial Fraction Decompositions and Contour Integrals of Rational Functions.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Daniel Richardson	The Elementary Constant Problem.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Richard J. Fateman	Honest Plotting, Global Extrema, and Interval Arithmetic.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Xiao-Shan Gao, Shang-Ching Chou	Solving Parametric Algebraic Systems.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Gregory J. Reid, Ian G. Lisle, A. Boulton, Allan D. Wittkopf	Algorithmic Determination of Commutation Relations for Lie Symmetry Algebras of PDEs.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Stéphane Dalmas	A Polymorphic Functional Language Applied to Symbolic Computation.	ISSAC	1992	DBLP DOI BibTeX RDF	SCRATCHPAD
1	Isabelle Gil	Computation of the Jordan Canonical Form of a Square Matrix (using the Axiom programming language).	ISSAC	1992	DBLP DOI BibTeX RDF
1	Paul S. Wang (eds.)	Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, USA, July 27-29, 1992	ISSAC	1992	DBLP BibTeX RDF
1	Bruno Salvy, John Shackell	Asymptotic Expansions of Functional Inverses.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Gene Cooperman, Larry Finkelstein	A Fast Cyclic Base Change for Permutation Groups.	ISSAC	1992	DBLP DOI BibTeX RDF
1	Gregory Butler	Experimental Comparison of Algorithms for Sylow Subgroups.	ISSAC	1992	DBLP DOI BibTeX RDF

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