default search action
SYMSAC 1981: Snowbird, UT, USA
- Paul S. Wang:
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981. ACM 1981, ISBN 0-89791-047-8 - John J. Cannon:
The basis of a computer system for modern algebra. 1-5 - Richard D. Jenks, Barry M. Trager:
A language for computational algebra. 6-13 - John K. Foderaro, Richard J. Fateman:
Characterization of VAX Macsyma. 14-19 - Chris A. Cole, Stephen Wolfram:
SMP - A Symbolic Manipulation Program. 20-22 - Michael F. Singer, B. David Saunders, Bob F. Caviness:
An extension of Liouville's theorem on integration in finite terms. 23-24 - Jean Della Dora, Evelyne Tournier:
Formal solutions of differential equations in the neighborhood of singular points (Regular and Irregular). 25-29 - Myra Jean Prelle, Michael F. Singer:
Elementary first integrals of differential equations. 30-35 - Shunro Watanabe:
A technique for solving ordinary differential equations using Riemann's P-functions. 36-43 - Bruce W. Char:
Using Lie transformation groups to find closed form solutions to first order ordinary differential equations. 44-50 - Volker Strassen:
The computational complexity of continued fractions. 51-67 - Richard Zippel:
Newton's iteration and the sparse Hensel algorithm (Extended Abstract). 68-72 - Michael C. Wirth:
Automatic generation of finite difference equations and fourier stability analyses. 73-78 - Jan E. Åman, Anders Karlhede:
An algorithmic classification of geometries in general relativity. 79-84 - John F. Schenck, M. A. Hussain:
Formulation of design rules for NMR imaging coil by using symbolic manipulation. 85-93 - Rabbe Fogelholm:
Computation for conductance distributions of percolation lattice cells. 94-99 - J. A. van Hulzen:
Breuer's grow factor algorithm in computer algebra. 100-104 - B. David Saunders:
An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations. 105-108 - P. M. A. Moore, A. C. Norman:
Implementing a polynomial factorization and GCD package. 109-116 - Michael Kaminski:
Note on probabilistic algorithms in integer and polynomial arithmetic. 117-121 - Richard J. Fateman:
A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'. 122-125 - R. Beardsworth:
On the application of Array Processors to symbol manipulation. 126-130 - P. D. Pearce, R. J. Hicks:
The optimization of user programs for an Algebraic Manipulation System. 131-136 - Richard J. Fateman:
Views on transportability of Lisp and Lisp-based systems. 137-141 - Shmuel Winograd:
Algebraic constructions for algorithms (Extended Abstract). 142-145 - J. Smit:
A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations. 146-154 - Tateaki Sasaki, Hirokazu Murao:
Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract). 155-159 - Tateaki Sasaki, Yasumasa Kanada:
Parallelism in algebraic computation and parallel algorithms for symbolic linear systems. 160-167 - Joel Moses:
Algebraic computation for the masses. 168 - Robert E. Beck, Bernard Kolman:
Construction of nilpotent Lie algebras over arbitrary fields. 169-174 - Robert E. Beck, Bernard Kolman:
Algorithms for central extensions of Lie algebras. 175-178 - Rosalind Neuman:
Computing an invariant subring of k[X, Y]. 179-181 - Gregory Butler:
Double cosets and searching small groups. 182-187 - Erich L. Kaltofen
, David R. Musser, B. David Saunders:
A generalized class of polynomials that are hard to factor. 188-194 - Maurice Mignotte:
Some inequalities about univariate polynomials. 195-199 - James H. Davenport, Barry M. Trager:
Factorization over finitely generated fields. 200-205 - Michael E. Pohst, David Y. Y. Yun:
On solving systems of algebraic equations via ideal bases and elimination theory. 206-211 - Paul S. Wang:
A p-adic algorithm for univariate partial fractions. 212-217 - H. T. Kung:
Use of VLSI in algebraic computation: Some suggestions. 218-222 - Douglas H. Lanam:
An algebraic front-end for the production and use of numeric programs. 223-227 - Richard J. Fateman:
Computer algebra and numerical integration. 228-232 - Francesco Gardin, John A. Campbell:
Tracing occurrences of patterns in symbolic computations. 233-238 - John P. Fitch:
The automatic derivation of periodic solutions to a class of weakly nonlinear differential equations. 239-244 - John P. Fitch:
User-based integration software. 245-248
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-15 19:43 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: