C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SYMSAC
1966
1973
1979
1986
1966
1986
Keyphrases
Publications
1986
Erich Kaltofen
,
Mukkai S. Krishnamoorthy
,
B. David Saunders
Fast parallel algorithms for similarity of matrices.
SYMSAC
(1986)
C. J. Smith
,
Neil Soiffer
MathScribe: a user interface for computer algebra systems.
SYMSAC
(1986)
Gaston H. Gonnet
An implementation of operators for symbolic algebra systems.
SYMSAC
(1986)
Robert E. Beck
,
Bernard Kolman
Symbolic algorithms for Lie algebra computation.
SYMSAC
(1986)
Benton L. Leong
Iris: design of an user interface program for symbolic algebra.
SYMSAC
(1986)
Leo Bachmair
,
Nachum Dershowitz
Critical-pair criteria for the Knuth-Bendix completion procedure.
SYMSAC
(1986)
Manuel Bronstein
Gsolve: a faster algorithm for solving systems of algebraic equations.
SYMSAC
(1986)
C. P. Mawata
A sparse distributed representation using prime numbers.
SYMSAC
(1986)
Stefan Arnborg
,
Huichun Feng
Algebraic decomposition of regular curves.
SYMSAC
(1986)
Chanderjit L. Bajaj
Limitations to algorithm solvability: Galois methods and models of computation.
SYMSAC
(1986)
Stephen R. Czapor
,
Keith O. Geddes
On implementing Buchberger's algorithm for Grobner bases.
SYMSAC
(1986)
Z. Renbao
,
X. Ling
,
R. Zhaoyang
The computer algebra system CAS1 for the IBM-PC.
SYMSAC
(1986)
D. W. Rand
,
P. Winternitz
Investigating the structure of a Lie algebra.
SYMSAC
(1986)
David Bayer
,
Michael Eugene Stillman
The design of Macaulay: a system for computing in algebraic geometry and commutative algebra.
SYMSAC
(1986)
Mirsad Hadzikadic
,
Franz Lichtenberger
,
David Y. Y. Yun
An application of knowledge-base technology in education: a geometry theorem prover.
SYMSAC
(1986)
B. Kutzler
,
Sabine Stifter
Automated geometry theorem proving using Buchberger's algorithm.
SYMSAC
(1986)
James H. Davenport
,
C. E. Roth
PowerMath: a system for the Macintosh.
SYMSAC
(1986)
Alexander P. Kryukov
,
A. Ya. Rodionov
,
Grigori L. Litvinov
Construction of rational approximations by means of REDUCE.
SYMSAC
(1986)
James M. Purtilo
Applications of a software interconnection system in mathematical problem solving environments.
SYMSAC
(1986)
Barbara L. Gates
A numerical code generation facility for REDUCE.
SYMSAC
(1986)
Jude W. Shavlik
,
Gerald DeJong
Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving.
SYMSAC
(1986)
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)
Gaston H. Gonnet
New results for random determination of equivalence of expressions.
SYMSAC
(1986)
Gene Cooperman
A semantic matcher for computer algebra.
SYMSAC
(1986)
Neven Jurkovic
Edusym - educational symbolic manipulator on a microcomputer.
SYMSAC
(1986)
Alexander P. Kryukov
Dialogue in REDUCE: experience and development.
SYMSAC
(1986)
S. Kamal Abdali
,
Guy W. Cherry
,
Neil Soiffer
An object-oriented approach to algebra system design.
SYMSAC
(1986)
Keith O. Geddes
Numerical integration in a symbolic context.
SYMSAC
(1986)
Deepak Kapur
Geometry theorem proving using Hilbert's Nullstellensatz.
SYMSAC
(1986)
J. P. Golden
An operator algebra for Macsyma.
SYMSAC
(1986)
Russell J. Bradford
,
Anthony C. Hearn
,
Julian A. Padget
,
Eberhard Schrüfer
Enlarging the REDUCE domain of computation.
SYMSAC
(1986)
Harlan R. Seymour
Conform: a conformal mapping system.
SYMSAC
(1986)
Tateaki Sasaki
Simplification of algebraic expression by multiterm rewriting rules.
SYMSAC
(1986)
H. Kobayashi
,
A. Furukawa
,
T. Sasaki
Gröbner bases of ideals of convergent power series.
SYMSAC
(1986)
Rüdiger Gebauer
,
H. Michael Möller
Buchberger's algorithm and staggered linear bases.
SYMSAC
(1986)
Timothy S. Freeman
,
Gregory M. Imirzian
,
Erich Kaltofen
A system for manipulating polynomials given by straight-line programs.
SYMSAC
(1986)
Michael Lucks
A fast implementation of polynomial factorization.
SYMSAC
(1986)
Claudine Chaffy
How to compute multivariate Pade approximants.
SYMSAC
(1986)
Bruce W. Char
,
Keith O. Geddes
,
Gaston H. Gonnet
,
Beverly J. Marshman
,
Peter J. Ponzo
Computer algebra in the undergraduate mathematics classroom.
SYMSAC
(1986)
Greg Butler
Divide-and-conquer in computational group theory.
SYMSAC
(1986)
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)
Alkiviadis G. Akritas
There is no "Uspensky's method.".
SYMSAC
(1986)
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)
Laurence L. Leff
,
David Y. Y. Yun
Constructive solid geometry: a symbolic computation approach.
SYMSAC
(1986)
John P. Fitch
,
A. C. Norman
,
M. A. Moore
Alkahest III: automatic analysis of periodic weakly nonlinear ODEs.
SYMSAC
(1986)
SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986
SYMSAC
(1986)
Jean Della Dora
,
Evelyne Tournier
Formal solutions of linear difference equations: method of Pincherle-Ramis.
SYMSAC
(1986)
Michael B. Hayden
,
Edmund A. Lamagna
Summation of binomial coefficients using hypergeometric functions.
SYMSAC
(1986)
David Y. Y. Yun
,
Chang Nian Zhang
A fast carry-free algorithm and hardware design for extended integer GCD computation.
SYMSAC
(1986)
John A. Abbott
,
Russell J. Bradford
,
James H. Davenport
The Bath algebraic number package.
SYMSAC
(1986)