Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Richard D. Jenks, Barry M. Trager |
A language for computational algebra. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Michael E. Pohst, David Y. Y. Yun |
On solving systems of algebraic equations via ideal bases and elimination theory. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kaminski |
Note on probabilistic algorithms in integer and polynomial arithmetic. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | J. A. van Hulzen |
Breuer's grow factor algorithm in computer algebra. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | R. Beardsworth |
On the application of Array Processors to symbol manipulation. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Winograd |
Algebraic constructions for algorithms (Extended Abstract). |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zippel |
Newton's iteration and the sparse Hensel algorithm (Extended Abstract). |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Beck, Bernard Kolman |
Construction of nilpotent Lie algebras over arbitrary fields. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Char |
Using Lie transformation groups to find closed form solutions to first order ordinary differential equations. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen, David R. Musser, B. David Saunders |
A generalized class of polynomials that are hard to factor. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Robert E. Beck, Bernard Kolman |
Algorithms for central extensions of Lie algebras. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Volker Strassen |
The computational complexity of continued fractions. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Butler |
Double cosets and searching small groups. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang |
A p-adic algorithm for univariate partial fractions. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Chris A. Cole, Stephen Wolfram |
SMP - A Symbolic Manipulation Program. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | B. David Saunders |
An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Rosalind Neuman |
Computing an invariant subring of k[X, Y]. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Michael C. Wirth |
Automatic generation of finite difference equations and fourier stability analyses. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Douglas H. Lanam |
An algebraic front-end for the production and use of numeric programs. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Gardin, John A. Campbell |
Tracing occurrences of patterns in symbolic computations. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | P. D. Pearce, R. J. Hicks |
The optimization of user programs for an Algebraic Manipulation System. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Rabbe Fogelholm |
Computation for conductance distributions of percolation lattice cells. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John F. Schenck, M. A. Hussain |
Formulation of design rules for NMR imaging coil by using symbolic manipulation. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Joel Moses |
Algebraic computation for the masses. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Michael F. Singer, B. David Saunders, Bob F. Caviness |
An extension of Liouville's theorem on integration in finite terms. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Shunro Watanabe |
A technique for solving ordinary differential equations using Riemann's P-functions. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | P. M. A. Moore, A. C. Norman |
Implementing a polynomial factorization and GCD package. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Mignotte |
Some inequalities about univariate polynomials. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | J. Smit |
A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Yasumasa Kanada |
Parallelism in algebraic computation and parallel algorithms for symbolic linear systems. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Fateman |
A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jan E. Ã…man, Anders Karlhede |
An algorithmic classification of geometries in general relativity. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Hirokazu Murao |
Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract). |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John P. Fitch |
User-based integration software. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Jean Della Dora, Evelyne Tournier |
Formal solutions of differential equations in the neighborhood of singular points (Regular and Irregular). |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Barry M. Trager |
Factorization over finitely generated fields. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John P. Fitch |
The automatic derivation of periodic solutions to a class of weakly nonlinear differential equations. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | H. T. Kung 0001 |
Use of VLSI in algebraic computation: Some suggestions. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Fateman |
Views on transportability of Lisp and Lisp-based systems. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John J. Cannon |
The basis of a computer system for modern algebra. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | John K. Foderaro, Richard J. Fateman |
Characterization of VAX Macsyma. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Fateman |
Computer algebra and numerical integration. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Myra Jean Prelle, Michael F. Singer |
Elementary first integrals of differential equations. |
SYMSACC |
1981 |
DBLP DOI BibTeX RDF |
|
1 | Barry M. Trager, David Y. Y. Yun |
Completing nth powers of polynomials. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Colin M. Campbell |
Computational techniques and the structure of groups in a certain class. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Mike F. Newman |
Calculating presentations for certain kinds of quotient groups. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Mignotte |
Some problems about polynomials. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | George E. Collins, Alkiviadis G. Akritas |
Polynomial real root isolation using Descarte's rule of signs. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | H. I. Epstein |
Using basis computation to determine pseudo-multiplicative independence. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | I. Cohen, F. Bark |
Perturbation calculations for the spin up problem using REDUCE. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Robert T. Moenck |
Practical fast polynomial multiplication. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | George Havas, Tim Nicholson |
Collection. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | David Y. Y. Yun |
On square-free decomposition algorithms. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | John D. Lipson |
Newton's method: a great algebraic algorithm. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Thomas E. Cheatham Jr., Judy A. Townley |
Symbolic evaluation of programs: a look at loop analysis. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | John J. Cannon |
On determining the order of a group. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Horst Günter Zimmer |
Generalization of Manin's conditional algorithm. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Edward W. Ng, Desanka Polajnar |
A study of alternative methods for the symbolic calculation of elliptic integrals. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Emi Lauer |
Algorithms for symmetrical polynomials. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Eiichi Goto, Yasumasa Kanada |
Hashing LEMMAs on time complexities with applications to formula manipulation. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Fateman |
An approach to automatic asymptotic expansions. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | George E. Collins, Rüdiger Loos |
Polynomial real root isolation by differentiation. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | David R. Stoutemyer |
Qualitative analysis of mathematical expressions using computer symbolic mathematics. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lauer |
Canonical representatives for residue classes of a polynomial ideal. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Richard D. Jenks |
A pattern compiler. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | James R. Pinkert |
Interval arithmetic applied to polynomial remainder sequences. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Ray Head |
Projective representations for energy band calculations. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Fred G. Gustavson, David Y. Y. Yun |
Arithmetic complexity of unordered sparse polynomials. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Anthony C. Hearn |
A new REDUCE model for algebraic simplification. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | W. S. Brown |
On the subresultant PRS algorithm. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | David Y. Y. Yun |
Algebraic algorithms using p-adic constructions. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Richard E. Zippel |
Univariate power series expansions in algebraic manipulation. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Daniel P. Friedman, David S. Wise, Mitchell Wand |
Recursive programming through table look-up. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Barry M. Trager |
Algebraic factoring and rational function integration. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Bob F. Caviness, Richard J. Fateman |
Simplification of radical expressions. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Bob F. Caviness, George E. Collins |
Algorithms for Gaussian integer arithmetic. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Marvin C. Wunderlich |
The aliquot project: an application of job chaining in number theoretic computing. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | John J. Cannon |
A draft description of the group theory language Cayley. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Levine, Ralph Roskies |
ASHMEDAI and a large algebraic problem. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Richard J. Fateman |
The MACSYMA "big-floating-point" arithmetic system. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | David K. Kahaner, Mark B. Wells |
Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Kolman, Robert E. Beck |
Computers in the study of Lie algebras. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | David R. Barton, Richard E. Zippel |
A polynomial decomposition algorithm. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schmidt 0002 |
Automatic symbolic solution of differential equations of first order and first degree. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Zavdi L. Lichtman |
The computation and application of vector congruence classes. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Dana L. Ulery, Hatem M. Khalil |
Symbolic/numeric algorithms for partial differential equations. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Siegfried M. Rump |
On the sign of a real algebraic number. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang, Tadatoshi Minamikawa |
Taking advantage of zero entries in the exact inverse of sparse matrices. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|
1 | Martin L. Griss |
The definition and use of data structures in REDUCE. |
SYMSACC |
1976 |
DBLP DOI BibTeX RDF |
|