S. Kamal Abdali

According to our database, S. Kamal Abdali authored at least 21 papers between 1970 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Advanced Computing and Communications Research under NSF Support.

S. Kamal Abdali

Proceedings of the Workshop on Wide Area Networks and High Performance Computing, 1998

1992

Spreadsheet computations in computer algebra.

S. Kamal Abdali, Guy W. Cherry, Neil Soiffer

SIGSAM Bull., 1992

1989

A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm.

B. David Saunders, Hong R. Lee, S. Kamal Abdali

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

Experiments with Quadtree Representation of Matrices.

S. Kamal Abdali, David S. Wise

Proceedings of the Symbolic and Algebraic Computation, 1988

1986

EUROCAL '85 Abstracts.

S. Kamal Abdali

SIGSAM Bull., 1986

Fifth RIMS Conference on Formula Manipulation and its Application to Mathematical Study.

S. Kamal Abdali

SIGSAM Bull., 1986

A Smalltalk System for Algebraic Manipulation.

S. Kamal Abdali, Guy W. Cherry, Neil Soiffer

Proceedings of the Conference on Object-Oriented Programming Systems, 1986

An object-oriented approach to algebra system design.

S. Kamal Abdali, Guy W. Cherry, Neil Soiffer

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

1985

Transitive Closure and Related Semiring Properties via Eliminants.

S. Kamal Abdali, B. David Saunders

Theor. Comput. Sci., 1985

Exploiting workstations and displays in verification systems.

S. Kamal Abdali, Ralph L. London

ACM SIGSOFT Softw. Eng. Notes, 1985

Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name.

S. Kamal Abdali, David S. Wise

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

Visual Environments for Symbolic Computation.

S. Kamal Abdali, Guy W. Cherry

Proceedings of the EUROCAL '85, 1985

1984

Abstracts.

S. Kamal Abdali, Bruno Buchberger

SIGSAM Bull., 1984

Abstracts of computer algebra papers from 1984 national meeting of American Chemical Society.

S. Kamal Abdali

SIGSAM Bull., 1984

Generalization Heuristics for Theorems Related to Recursively Defined Functions.

S. Kamal Abdali, Jan Vytopil

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1976

An Abstraction Algorithm for Combinatory Logic.

S. Kamal Abdali

J. Symb. Log., 1976

A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures.

S. Kamal Abdali

Comput. Lang., 1976

A Lambda-Calculus Model of Programming Languages - I. Simple Constructs.

S. Kamal Abdali

Comput. Lang., 1976

1971

On Proving Sequential Machine Designs.

S. Kamal Abdali

IEEE Trans. Computers, 1971

Feature extraction algorithms.

S. Kamal Abdali

Pattern Recognit., 1971

1970

Algorithm 393: Special series summation with arbitrary precision.

S. Kamal Abdali

Commun. ACM, 1970