Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alkiviadis G. Akritas |
There is no "Uspensky's method.". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 88-90, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | H. Kobayashi, A. Furukawa, T. Sasaki |
Gröbner bases of ideals of convergent power series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 225-227, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Gaston H. Gonnet |
New results for random determination of equivalence of expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 127-131, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Mirsad Hadzikadic, Franz Lichtenberger, David Y. Y. Yun |
An application of knowledge-base technology in education: a geometry theorem prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 141-147, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | James M. Purtilo |
Applications of a software interconnection system in mathematical problem solving environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 16-23, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jean Della Dora, Evelyne Tournier |
Formal solutions of linear difference equations: method of Pincherle-Ramis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 192-196, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Hayden, Edmund A. Lamagna |
Summation of binomial coefficients using hypergeometric functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 77-81, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | J. P. Golden |
An operator algebra for Macsyma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 244-246, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Nachum Dershowitz |
Critical-pair criteria for the Knuth-Bendix completion procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 215-217, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Claudine Chaffy |
How to compute multivariate Pade approximants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 56-58, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | C. P. Mawata |
A sparse distributed representation using prime numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 110-114, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Chanderjit L. Bajaj |
Limitations to algorithm solvability: Galois methods and models of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 71-76, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Neven Jurkovic |
Edusym - educational symbolic manipulator on a microcomputer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 154-156, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | David Y. Y. Yun, Chang Nian Zhang |
A fast carry-free algorithm and hardware design for extended integer GCD computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 82-84, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Keith O. Geddes |
Numerical integration in a symbolic context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 185-191, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | D. W. Rand, P. Winternitz |
Investigating the structure of a Lie algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 39-44, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Harlan R. Seymour |
Conform: a conformal mapping system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 163-168, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
Simplification of algebraic expression by multiterm rewriting rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 115-120, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Timothy S. Freeman, Gregory M. Imirzian, Erich L. Kaltofen |
A system for manipulating polynomials given by straight-line programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 169-175, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, C. E. Roth |
PowerMath: a system for the Macintosh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 13-15, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Greg Butler |
Divide-and-conquer in computational group theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 59-64, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Gaston H. Gonnet |
An implementation of operators for symbolic algebra systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 239-243, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Laurence L. Leff, David Y. Y. Yun |
Constructive solid geometry: a symbolic computation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 121-126, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Jude W. Shavlik, Gerald DeJong |
Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 148-153, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang, Hui-Qian Tan, Atef F. Saleeb, Tse-Yung P. Chang |
Code generation for hybrid mixed mode formulation in finite element analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 45-52, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Benton L. Leong |
Iris: design of an user interface program for symbolic algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 1-6, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Gene Cooperman |
A semantic matcher for computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 132-134, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Z. Renbao, X. Ling, R. Zhaoyang |
The computer algebra system CAS1 for the IBM-PC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 176-178, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | S. Kamal Abdali, Guy W. Cherry, Neil Soiffer |
An object-oriented approach to algebra system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 24-30, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | John A. Abbott, Russell J. Bradford, James H. Davenport |
The Bath algebraic number package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 250-253, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Alexander P. Kryukov |
Dialogue in REDUCE: experience and development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 107-109, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Stephen R. Czapor, Keith O. Geddes |
On implementing Buchberger's algorithm for Grobner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 233-238, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur |
Geometry theorem proving using Hilbert's Nullstellensatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 202-208, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Beck, Bernard Kolman |
Symbolic algorithms for Lie algebra computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 85-87, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer |
Enlarging the REDUCE domain of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 100-106, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | David Bayer, Michael Eugene Stillman |
The design of Macaulay: a system for computing in algebraic geometry and commutative algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 157-162, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, Mukkai S. Krishnamoorthy, B. David Saunders |
Fast parallel algorithms for similarity of matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 65-70, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Gebauer, H. Michael Möller |
Buchberger's algorithm and staggered linear bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 218-221, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | B. Kutzler, Sabine Stifter |
Automated geometry theorem proving using Buchberger's algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 209-214, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Michael Lucks |
A fast implementation of polynomial factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 228-232, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bronstein |
Gsolve: a faster algorithm for solving systems of algebraic equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 247-249, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Beverly J. Marshman, Peter J. Ponzo |
Computer algebra in the undergraduate mathematics classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 135-140, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Alexander P. Kryukov, A. Ya. Rodionov, Grigori L. Litvinov |
Construction of rational approximations by means of REDUCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 31-33, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Alexander P. Kryukov, A. Ya. Rodionov |
Usage of REDUCE for computations of group-theoretical weight of Feynman diagrams in non-Abelian gauge theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 91-93, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn J. Smith, Neil Soiffer |
MathScribe: a user interface for computer algebra systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 7-12, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | A. Furukawa, T. Sasaki, H. Kobayashi |
The Gröbner basis of a module over KUX1, ..., Xne and polynomial solutions of a system of linear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 222-224, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Barbara L. Gates |
A numerical code generation facility for REDUCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 94-99, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Arnborg, Huichun Feng |
Algebraic decomposition of regular curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 53-55, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Char (eds.) |
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![ACM, 0-89791-199-7 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | John P. Fitch, A. C. Norman, M. A. Moore |
Alkahest III: automatic analysis of periodic weakly nonlinear ODEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 34-38, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Abdelaziz Hilali, A. Wazner |
Algorithm for computing formal invariants of linear differential systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 197-201, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Paul H. Knowles |
Integration of Liouvillian functions with special functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1986, Waterloo, Ontario, Canada, July 21-23, 1986, pp. 179-184, 1986, ACM, 0-89791-199-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang (eds.) |
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![ACM, 0-89791-047-8 The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard D. Jenks (eds.) |
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1976, Yorktown Heights, New York, USA, August 10-12, 1976 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![ACM, 978-1-4503-7790-4 The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
1 | John Grover, Lawrence A. Rowe, Darrell Wilson |
Applications of coset enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 183-187, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Christensen |
An introduction to AMBIT/L, a diagrammatic language for list processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 248-260, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John R. Gabriel |
Numerical methods for reduction of group representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 180-182, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | George E. Collins |
The calculation of multivariate polynomial resultants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 212-222, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | William S. Brown |
On Euclid's algorithm and the computation of polynomial greatest common divisors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 195-211, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | William A. Martin |
Determining the equivalence of algebraic expressions by hash coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 305-310, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Michael T. McClellan |
The exact solution of systems of linear equations with polynomial coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 399-414, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Robert H. Anderson |
A comment on the recognition of hand-printed two-dimensional mathematical expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 100-101, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Cleve B. Moler |
Semi-symbolic methods in partial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 349-351, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Richard D. Jenks |
META LISP and META PLUS: : Tools for rapidly implementing extendable language translators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 281, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John Cannon, Lucien A. Dimino |
The design of a language for the development of group theoretic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 158, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Horst Günter Zimmer |
Computers and computations in algebraic number theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 172-179, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Robert R. Fenichel |
List-tracing in systems allowing multiple cell-types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 242-247, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John McKay 0001 |
Groups and subgroups, presentations and representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 104, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Yvon Siret |
A conversational system for engineering assistance: Aladin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 90-99, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Stanley Cabay |
Exact solution of linear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 392-398, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | André Deprit, Jacques Henrard, Arnold R. M. Rom |
Lunar ephemeris: De Launay's theory revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 342, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Elwyn R. Berlekamp |
Factoring polynomials over large finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 223, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Lucien A. Dimino |
A graphical approach to coset enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 76, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Charles C. Sims |
Computation with permutation groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 23-28, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Morton I. Bernstein |
Computer input/output of two-dimensional notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 102-103, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Anthony C. Hearn |
Applications of symbol manipulation in theoretical physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 17-21, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Joel Moses |
Algebraic simplification a guide for the perplexed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 282-304, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Christensen, Michael Karr |
IAM, a system for interactive algebraic manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 115-127, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John Xenakis |
The PL/I-FORMAC Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 105-114, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | William A. Martin, Richard J. Fateman |
The MACSYMA system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 59-75, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Cohen, Ann Rubin |
An interactive system for proving theorems in the predicate calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 268-280, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Neubüser |
Some applications of group theoretical programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 77, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John D. Dixon |
Permutation representations and the subgroup lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 159-161, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Anthony C. Hearn |
REDUCE 2: A system and language for algebraic manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 128-133, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Stanley R. Petrick |
On the use of syntax-based translators for symbolic and algebraic manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 224-237, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | John Cannon |
On the construction of general purpose programs for studying finite groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 22, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang |
Automatic computation of limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 458-464, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Ellis Horowitz |
Algorithms for partial fraction decomposition and rational function integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 441-457, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Joel Moses |
Symbolic integration the stormy decade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 427-440, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Hall Jr. |
The ALTRAN system for rational function manipulation - a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 153-157, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Ellis Horowitz |
Modular arithmetic and finite field theory: A tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 188-194, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Edo Nyland, C. H. Chapman |
Symbolic algebra in theoretical seismology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 352-364, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Fateman |
The user-level semantic matching capability in MACSYMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 311-323, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Samuel D. Oman |
An application of formac to the Computation of coverage functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 332-341, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | William A. Martin |
Computer input/output of mathematical expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 78-89, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | James H. Griesmer, Richard D. Jenks |
SCRATCHPAD/1: An interactive facility for symbolic mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 42-58, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | N. Chepurniy |
Evaluation of high-order polynomial triangular finite elements using FORMAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 365-371, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | Lee E. Heindel |
Integer arithmetic algorithms for polynomial real zero determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 415-426, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | William H. Jefferys |
Automated algebraic manipulation in Celestial Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 328-331, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
1 | David Barton, John P. Fitch |
General Relativity and the application of algebraic manipulative systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSAC ![In: Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, SYMSAC 1971, Los Angeles, California, USA, March 23-25, 1971, pp. 343-348, 1971, ACM, 978-1-4503-7786-7. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|