default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 16, 1993
Volume 16, Number 1, July 1993
- M. Ph. Saux Picart:
Schur-Cohn Sub-Transforms of a Polynomial. 1-7 - Michael F. Singer, Felix Ulmer:
Galois Groups of Second and Third Order Linear Differential Equations. 9-36 - Michael F. Singer, Felix Ulmer:
Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations. 37-73 - Michael Kalkbrener, Moss Sweedler, L. Taylor:
Low Degree Solutions to Linear Equations with K[x] Coefficients. 75-81
Volume 16, Number 2, August 1993
- Dongming Wang:
An Elimination Method for Polynomial Systems. 83-114 - David W. Boyd:
Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: I. The Largest Factor. 115-130 - David W. Boyd:
Bounds for the Height of a Factor of a Polynomial in Terms of Bombieri's Norms: II. The Smallest Factor. 131-145 - George E. Andrews, Peter Paule:
Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy. 147-153 - Peter Schorn:
An Axiomatic Approach to Robust Geometric Programs. 155-165 - Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto:
On the Problem of Generating Small Convergent Systems. 167-187 - Todd C. Torgersen:
Parallel Scheduling of Recursively Defined Arrays: Revisited. 189-226
Volume 16, Number 3, September 1993
- Paul H. Knowles:
Integration of a Class of Transcendental Liouvillian Functions with Error-Functions, Part II. 227-241 - Petr Lisonek, Peter Paule, Volker Strehl:
Improvement of the Degree Setting in Gospers's Algorithm. 243-258 - Joachim H. Rieger:
Computing View Graphs of Algebraic Surfaces. 259-272 - Alyson Reeves, Bernd Sturmfels:
A Note on Polynomial Reduction. 273-277 - Ralph Freese, Jaroslav Jezek, James B. Nation:
Term Rewrite Systems for Lattice Theory. 279-288 - Irvin Roy Hentzel, David Pokrass Jacobs, Sekhar V. Muddana:
Experimenting with the Identity (xy)z = y(zx). 289-293 - István Gaál:
On the Resolution of F(x, y)=G(x, y). 295-303 - E. A. O'Brien:
Isomorphism Testing for p-Groups. 305-320
Volume 16, Number 4, October 1993
- István Gaál:
A Fast Algorithm for Finding "Small" Solutions of F(x, y)=G(x, y) over Imaginary Quadratic Fields. 321-328 - Jean-Charles Faugère, Patrizia M. Gianni, Daniel Lazard, Teo Mora:
Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering. 329-344 - Michael R. Vaughan-Lee:
An Algorithm for Computing Graded Algebras. 345-354 - Yiu-Kwong Man
:
On Computing Closed Forms for Indefinite Summations. 355-376 - John P. Boyd:
Chebyshev and Legendre Spectral Methods in Algebraic Manipulation Languages. 377-399
Volume 16, Number 5, November 1993
- Harald Niederreiter, Rainer Göttfert:
Factorization of Polynomials over Finite Fields and Characteristic Sequences. 401-412 - Gregory Butler:
The Transitive Groups of Degree Fourteen and Fifteen. 413-422 - Yiu-Kwong Man:
Computing Closed Form Solutions of First Order ODEs Using the Prelle-Singer Procedure. 423-443 - Peter Baumgartner, Ulrich Furbach:
Consolution as a Framework for Comparing Calculi. 445-477 - Alessandro Berarducci, Marisa Venturini Zilli:
Generalizations of Unification. 479-491 - Evelyne Contejean:
Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification. 493-521
Volume 16, Number 6, December 1993
- Amnon Rosenmann:
An Algorithm for Constructing Gröbner and Free Schreier Bases in Free Group Algebras. 523-549 - Arno van den Essen:
An Algorithm to Compute the Invariant Ring of a G_a-Action on an Affine Variety. 551-555 - David Pokrass Jacobs, Sekhar V. Muddana:
The Word Problem for Free Partially Commutative, Partially Associative Groupoids. 557-562 - István Gaál, Attila Pethö, Michael Pohst:
On the Resolution of Index Form Equations in Quartic Number Fields. 563-584 - Xiao-Shan Gao, Shang-Ching Chou:
A Zero Structure Theorem for Differential Parametric Systems. 585-595 - Alexandre Boudet:
Combining Unification Algorithms. 597-626
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
