default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd SYMSAC 1971: Los Angeles, CA, USA
- Stanley R. Petrick, Jean E. Sammet, Robert G. Tobey, Joel Moses:
Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971. ACM 1971, ISBN 978-1-4503-7786-7 - Robert G. Tobey:
Symbolic mathematical computation - introduction and overview. 1-16 - Anthony C. Hearn:
Applications of symbol manipulation in theoretical physics. 17-21 - John Cannon:
On the construction of general purpose programs for studying finite groups. 22 - Charles C. Sims:
Computation with permutation groups. 23-28 - Carl Engelman:
The legacy of MATHLAB 68. 29-41 - James H. Griesmer, Richard D. Jenks:
SCRATCHPAD/1: An interactive facility for symbolic mathematics. 42-58 - William A. Martin, Richard J. Fateman:
The MACSYMA system. 59-75 - Lucien A. Dimino:
A graphical approach to coset enumeration. 76 - Joachim Neubüser:
Some applications of group theoretical programs. 77 - William A. Martin:
Computer input/output of mathematical expressions. 78-89 - Yvon Siret:
A conversational system for engineering assistance: Aladin. 90-99 - Robert H. Anderson:
A comment on the recognition of hand-printed two-dimensional mathematical expressions. 100-101 - Morton I. Bernstein:
Computer input/output of two-dimensional notations. 102-103 - John McKay:
Groups and subgroups, presentations and representations. 104 - John Xenakis:
The PL/I-FORMAC Interpreter. 105-114 - Carlos Christensen, Michael Karr:
IAM, a system for interactive algebraic manipulation. 115-127 - Anthony C. Hearn:
REDUCE 2: A system and language for algebraic manipulation. 128-133 - Stephen R. Bourne, J. R. Horton:
The design of the Cambridge algebra system. 134-143 - George E. Collins:
The SAC-1 system: An introduction and survey. 144-152 - Andrew D. Hall Jr.:
The ALTRAN system for rational function manipulation - a survey. 153-157 - John Cannon, Lucien A. Dimino:
The design of a language for the development of group theoretic programs. 158 - John D. Dixon:
Permutation representations and the subgroup lattice. 159-161 - N. Burgoyne, C. Williamson:
Some computations involving simple Lie algebras. 162-171 - Horst Günter Zimmer:
Computers and computations in algebraic number theory. 172-179 - John R. Gabriel:
Numerical methods for reduction of group representations. 180-182 - John Grover, Lawrence A. Rowe, Darrell Wilson:
Applications of coset enumeration. 183-187 - Ellis Horowitz:
Modular arithmetic and finite field theory: A tutorial. 188-194 - William S. Brown:
On Euclid's algorithm and the computation of polynomial greatest common divisors. 195-211 - George E. Collins:
The calculation of multivariate polynomial resultants. 212-222 - Elwyn R. Berlekamp:
Factoring polynomials over large finite fields. 223 - Stanley R. Petrick:
On the use of syntax-based translators for symbolic and algebraic manipulation. 224-237 - William H. Burge:
Some examples of the use of function-producing functions. 238-241 - Robert R. Fenichel:
List-tracing in systems allowing multiple cell-types. 242-247 - Carlos Christensen:
An introduction to AMBIT/L, a diagrammatic language for list processing. 248-260 - H. A. Bayard, C. T. Browne, L. N. Gross, Edward C. Haines:
The treet time sharing system. 261-267 - Jacques Cohen, Ann Rubin:
An interactive system for proving theorems in the predicate calculus. 268-280 - Richard D. Jenks:
META LISP and META PLUS: : Tools for rapidly implementing extendable language translators. 281 - Joel Moses:
Algebraic simplification a guide for the perplexed. 282-304 - William A. Martin:
Determining the equivalence of algebraic expressions by hash coding. 305-310 - Richard J. Fateman:
The user-level semantic matching capability in MACSYMA. 311-323 - Stephen C. Johnson:
On the problem of recognizing zero. 324-327 - William H. Jefferys:
Automated algebraic manipulation in Celestial Mechanics. 328-331 - Samuel D. Oman:
An application of formac to the Computation of coverage functions. 332-341 - André Deprit, Jacques Henrard, Arnold R. M. Rom:
Lunar ephemeris: De Launay's theory revisited. 342 - David Barton, John P. Fitch:
General Relativity and the application of algebraic manipulative systems. 343-348 - Cleve B. Moler:
Semi-symbolic methods in partial differential equations. 349-351 - Edo Nyland, C. H. Chapman:
Symbolic algebra in theoretical seismology. 352-364 - N. Chepurniy:
Evaluation of high-order polynomial triangular finite elements using FORMAC. 365-371 - John D. Lipson:
Chinese remainder and interpolation algorithms. 372-391 - Stanley Cabay:
Exact solution of linear equations. 392-398 - Michael T. McClellan:
The exact solution of systems of linear equations with polynomial coefficients. 399-414 - Lee E. Heindel:
Integer arithmetic algorithms for polynomial real zero determination. 415-426 - Joel Moses:
Symbolic integration the stormy decade. 427-440 - Ellis Horowitz:
Algorithms for partial fraction decomposition and rational function integration. 441-457 - Paul S. Wang:
Automatic computation of limits. 458-464
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-11 21:16 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:
