Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897911997

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Limitations to algorithm solvability: Galois methods and models of computation

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32453 ◽

1986 ◽

Cited By ~ 5

Author(s):

Chanderjit Bajaj

Keyword(s):

Models Of Computation

Download Full-text

PowerMath: a system for the Macintosh

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32442 ◽

1986 ◽

Cited By ~ 1

Author(s):

J. H. Davenport ◽

C. E. Roth

Download Full-text

Investigating the structure of a Lie algebra

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32447 ◽

1986 ◽

Author(s):

D. W. Rand ◽

P. Winternitz

Keyword(s):

Lie Algebra

Download Full-text

Applications of a software interconnection system in mathematical problem solving environments

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32443 ◽

1986 ◽

Cited By ~ 3

Author(s):

J. Purtilo

Keyword(s):

Problem Solving ◽

Mathematical Problem ◽

Mathematical Problem Solving ◽

Problem Solving Environments

Download Full-text

Gsolve: a faster algorithm for solving systems of algebraic equations

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32489 ◽

1986 ◽

Author(s):

Manuel Bronstein

Keyword(s):

Algebraic Equations

Download Full-text

Symbolic algorithms for Lie algebra computation

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32456 ◽

1986 ◽

Author(s):

Robert E. Beck ◽

Bernard Kolman

Keyword(s):

Lie Algebra ◽

Algebra Computation ◽

Symbolic Algorithms

Download Full-text

Geometry theorem proving using Hilbert's Nullstellensatz

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32479 ◽

1986 ◽

Cited By ~ 39

Author(s):

Deepak Kapur

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

Download Full-text

An object-oriented approach to algebra system design

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32444 ◽

1986 ◽

Cited By ~ 15

Author(s):

S. K. Abdali ◽

Guy W. Cherry ◽

Neil Soiffer

Keyword(s):

System Design ◽

Object Oriented ◽

Object Oriented Approach ◽

Oriented Approach

Download Full-text

Critical-pair criteria for the Knuth-Bendix completion procedure

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32481 ◽

1986 ◽

Cited By ~ 4

Author(s):

Leo Bachmair ◽

Nachum Dershowitz

Keyword(s):

Critical Pair

Download Full-text

Conform: a conformal mapping system

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32472 ◽

1986 ◽

Cited By ~ 1

Author(s):

Harlan R. Seymour

Keyword(s):

Conformal Mapping ◽

Mapping System

Download Full-text

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Limitations to algorithm solvability: Galois methods and models of computation

PowerMath: a system for the Macintosh

Investigating the structure of a Lie algebra

Applications of a software interconnection system in mathematical problem solving environments

Gsolve: a faster algorithm for solving systems of algebraic equations

Symbolic algorithms for Lie algebra computation

Geometry theorem proving using Hilbert's Nullstellensatz

An object-oriented approach to algebra system design

Critical-pair criteria for the Knuth-Bendix completion procedure

Conform: a conformal mapping system

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86
Latest Publications