default search action
SYMSAC 1976: Yorktown Heights, NY, USA
- Richard D. Jenks:
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1976, Yorktown Heights, New York, USA, August 10-12, 1976. ACM 1976, ISBN 978-1-4503-7790-4 - John J. Cannon:
On determining the order of a group. 1 - Mike F. Newman:
Calculating presentations for certain kinds of quotient groups. 2-8 - George Havas, Tim Nicholson:
Collection. 9-14 - George E. Collins, Rüdiger Loos:
Polynomial real root isolation by differentiation. 15-25 - David Y. Y. Yun:
On square-free decomposition algorithms. 26-35 - Bob F. Caviness, George E. Collins:
Algorithms for Gaussian integer arithmetic. 36-45 - Anthony C. Hearn:
A new REDUCE model for algebraic simplification. 46-52 - Martin L. Griss:
The definition and use of data structures in REDUCE. 53-59 - Richard D. Jenks:
A pattern compiler. 60-65 - John J. Cannon:
A draft description of the group theory language Cayley. 66-84 - Daniel P. Friedman, David S. Wise, Mitchell Wand:
Recursive programming through table look-up. 85-89 - Thomas E. Cheatham Jr., Judy A. Townley:
Symbolic evaluation of programs: a look at loop analysis. 90-96 - David R. Stoutemyer:
Qualitative analysis of mathematical expressions using computer symbolic mathematics. 97-104 - Peter Schmidt:
Automatic symbolic solution of differential equations of first order and first degree. 114-125 - Ray Head:
Projective representations for energy band calculations. 126-132 - I. Cohen, F. Bark:
Perturbation calculations for the spin up problem using REDUCE. 133-135 - Robert T. Moenck:
Practical fast polynomial multiplication. 136-148 - Fred G. Gustavson, David Y. Y. Yun:
Arithmetic complexity of unordered sparse polynomials. 149-153 - Eiichi Goto, Yasumasa Kanada:
Hashing LEMMAs on time complexities with applications to formula manipulation. 154-158 - Richard E. Zippel:
Univariate power series expansions in algebraic manipulation. 198-208 - Richard J. Fateman:
The MACSYMA "big-floating-point" arithmetic system. 209-213 - James R. Pinkert:
Interval arithmetic applied to polynomial remainder sequences. 214-218 - Barry M. Trager:
Algebraic factoring and rational function integration. 219-226 - Maurice Mignotte:
Some problems about polynomials. 227-228 - H. I. Epstein:
Using basis computation to determine pseudo-multiplicative independence. 229-237 - Siegfried M. Rump:
On the sign of a real algebraic number. 238-241 - Emi Lauer:
Algorithms for symmetrical polynomials. 242-247 - David Y. Y. Yun:
Algebraic algorithms using p-adic constructions. 248-259 - John D. Lipson:
Newton's method: a great algebraic algorithm. 260-270 - W. S. Brown:
On the subresultant PRS algorithm. 271 - George E. Collins, Alkiviadis G. Akritas:
Polynomial real root isolation using Descarte's rule of signs. 272-275 - Marvin C. Wunderlich:
The aliquot project: an application of job chaining in number theoretic computing. 276-284 - Horst Günter Zimmer:
Generalization of Manin's conditional algorithm. 285-299 - Bernard Kolman, Robert E. Beck:
Computers in the study of Lie algebras. 300-311 - Colin M. Campbell:
Computational techniques and the structure of groups in a certain class. 312-321 - Zavdi L. Lichtman:
The computation and application of vector congruence classes. 322-328 - Bob F. Caviness, Richard J. Fateman:
Simplification of radical expressions. 329-338 - Markus Lauer:
Canonical representatives for residue classes of a polynomial ideal. 339-345 - Paul S. Wang, Tadatoshi Minamikawa:
Taking advantage of zero entries in the exact inverse of sparse matrices. 346-350 - Barry M. Trager, David Y. Y. Yun:
Completing nth powers of polynomials. 351-355 - David R. Barton, Richard E. Zippel:
A polynomial decomposition algorithm. 356-358 - Michael J. Levine, Ralph Roskies:
ASHMEDAI and a large algebraic problem. 359-364 - Richard J. Fateman:
An approach to automatic asymptotic expansions. 365-371 - Edward W. Ng, Desanka Polajnar:
A study of alternative methods for the symbolic calculation of elliptic integrals. 372-376 - Dana L. Ulery, Hatem M. Khalil:
Symbolic/numeric algorithms for partial differential equations. 377-381 - David K. Kahaner, Mark B. Wells:
Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions. 382-384
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.