| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alkiviadis G. Akritas |
There is no "Uspensky's method.".  |
SYMSAC  |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Kobayashi, A. Furukawa, T. Sasaki |
Gröbner bases of ideals of convergent power series. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaston H. Gonnet |
New results for random determination of equivalence of expressions. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | James M. Purtilo |
Applications of a software interconnection system in mathematical problem solving environments. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Della Dora, Evelyne Tournier |
Formal solutions of linear difference equations: method of Pincherle-Ramis. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Hayden, Edmund A. Lamagna |
Summation of binomial coefficients using hypergeometric functions. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | J. P. Golden |
An operator algebra for Macsyma. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Bachmair, Nachum Dershowitz |
Critical-pair criteria for the Knuth-Bendix completion procedure. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudine Chaffy |
How to compute multivariate Pade approximants. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | C. P. Mawata |
A sparse distributed representation using prime numbers. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Chanderjit L. Bajaj |
Limitations to algorithm solvability: Galois methods and models of computation. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Neven Jurkovic |
Edusym - educational symbolic manipulator on a microcomputer. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith O. Geddes |
Numerical integration in a symbolic context. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | D. W. Rand, P. Winternitz |
Investigating the structure of a Lie algebra. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Harlan R. Seymour |
Conform: a conformal mapping system. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Tateaki Sasaki |
Simplification of algebraic expression by multiterm rewriting rules. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, C. E. Roth |
PowerMath: a system for the Macintosh. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Butler |
Divide-and-conquer in computational group theory. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaston H. Gonnet |
An implementation of operators for symbolic algebra systems. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence L. Leff, David Y. Y. Yun |
Constructive solid geometry: a symbolic computation approach. |
SYMSAC |
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. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Benton L. Leong |
Iris: design of an user interface program for symbolic algebra. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gene Cooperman |
A semantic matcher for computer algebra. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Z. Renbao, X. Ling, R. Zhaoyang |
The computer algebra system CAS1 for the IBM-PC. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Kamal Abdali, Guy W. Cherry, Neil Soiffer |
An object-oriented approach to algebra system design. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Abbott, Russell J. Bradford, James H. Davenport |
The Bath algebraic number package. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander P. Kryukov |
Dialogue in REDUCE: experience and development. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen R. Czapor, Keith O. Geddes |
On implementing Buchberger's algorithm for Grobner bases. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur |
Geometry theorem proving using Hilbert's Nullstellensatz. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert E. Beck, Bernard Kolman |
Symbolic algorithms for Lie algebra computation. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell J. Bradford, Anthony C. Hearn, Julian A. Padget, Eberhard Schrüfer |
Enlarging the REDUCE domain of computation. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich L. Kaltofen, Mukkai S. Krishnamoorthy, B. David Saunders |
Fast parallel algorithms for similarity of matrices. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Gebauer, H. Michael Möller |
Buchberger's algorithm and staggered linear bases. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Kutzler, Sabine Stifter |
Automated geometry theorem proving using Buchberger's algorithm. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lucks |
A fast implementation of polynomial factorization. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bronstein |
Gsolve: a faster algorithm for solving systems of algebraic equations. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander P. Kryukov, A. Ya. Rodionov, Grigori L. Litvinov |
Construction of rational approximations by means of REDUCE. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn J. Smith, Neil Soiffer |
MathScribe: a user interface for computer algebra systems. |
SYMSAC |
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. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara L. Gates |
A numerical code generation facility for REDUCE. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Arnborg, Huichun Feng |
Algebraic decomposition of regular curves. |
SYMSAC |
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 |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Fitch, A. C. Norman, M. A. Moore |
Alkahest III: automatic analysis of periodic weakly nonlinear ODEs. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdelaziz Hilali, A. Wazner |
Algorithm for computing formal invariants of linear differential systems. |
SYMSAC |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul H. Knowles |
Integration of Liouvillian functions with special functions. |
SYMSAC |
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 |
SYMSAC |
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 |
SYMSAC |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grover, Lawrence A. Rowe, Darrell Wilson |
Applications of coset enumeration. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Christensen |
An introduction to AMBIT/L, a diagrammatic language for list processing. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John R. Gabriel |
Numerical methods for reduction of group representations. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | George E. Collins |
The calculation of multivariate polynomial resultants. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | William S. Brown |
On Euclid's algorithm and the computation of polynomial greatest common divisors. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | William A. Martin |
Determining the equivalence of algebraic expressions by hash coding. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael T. McClellan |
The exact solution of systems of linear equations with polynomial coefficients. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert H. Anderson |
A comment on the recognition of hand-printed two-dimensional mathematical expressions. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Cleve B. Moler |
Semi-symbolic methods in partial differential equations. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard D. Jenks |
META LISP and META PLUS: : Tools for rapidly implementing extendable language translators. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John Cannon, Lucien A. Dimino |
The design of a language for the development of group theoretic programs. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Horst Günter Zimmer |
Computers and computations in algebraic number theory. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert R. Fenichel |
List-tracing in systems allowing multiple cell-types. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John McKay 0001 |
Groups and subgroups, presentations and representations. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvon Siret |
A conversational system for engineering assistance: Aladin. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Cabay |
Exact solution of linear equations. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | André Deprit, Jacques Henrard, Arnold R. M. Rom |
Lunar ephemeris: De Launay's theory revisited. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Elwyn R. Berlekamp |
Factoring polynomials over large finite fields. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucien A. Dimino |
A graphical approach to coset enumeration. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles C. Sims |
Computation with permutation groups. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Morton I. Bernstein |
Computer input/output of two-dimensional notations. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony C. Hearn |
Applications of symbol manipulation in theoretical physics. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Moses |
Algebraic simplification a guide for the perplexed. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Christensen, Michael Karr |
IAM, a system for interactive algebraic manipulation. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John Xenakis |
The PL/I-FORMAC Interpreter. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | William A. Martin, Richard J. Fateman |
The MACSYMA system. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Ann Rubin |
An interactive system for proving theorems in the predicate calculus. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Neubüser |
Some applications of group theoretical programs. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Dixon |
Permutation representations and the subgroup lattice. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony C. Hearn |
REDUCE 2: A system and language for algebraic manipulation. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley R. Petrick |
On the use of syntax-based translators for symbolic and algebraic manipulation. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | John Cannon |
On the construction of general purpose programs for studying finite groups. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul S. Wang |
Automatic computation of limits. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellis Horowitz |
Algorithms for partial fraction decomposition and rational function integration. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Moses |
Symbolic integration the stormy decade. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Hall Jr. |
The ALTRAN system for rational function manipulation - a survey. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellis Horowitz |
Modular arithmetic and finite field theory: A tutorial. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Edo Nyland, C. H. Chapman |
Symbolic algebra in theoretical seismology. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard J. Fateman |
The user-level semantic matching capability in MACSYMA. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel D. Oman |
An application of formac to the Computation of coverage functions. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | William A. Martin |
Computer input/output of mathematical expressions. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Griesmer, Richard D. Jenks |
SCRATCHPAD/1: An interactive facility for symbolic mathematics. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Chepurniy |
Evaluation of high-order polynomial triangular finite elements using FORMAC. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee E. Heindel |
Integer arithmetic algorithms for polynomial real zero determination. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Jefferys |
Automated algebraic manipulation in Celestial Mechanics. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | David Barton, John P. Fitch |
General Relativity and the application of algebraic manipulative systems. |
SYMSAC |
1971 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license