S. Kamal Abdali - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

1998

Advanced Computing and Communications Research under NSF SupportS. Kamal Abdali. wan 1999: 5-19

1992

Spreadsheet computations in computer algebraS. Kamal Abdali, Guy W. Cherry, Neil Soiffer. cca, 26(2):10-18, 1992. [doi]

1989

A Parallel Implementation of the Cylindrical Algebraic Decomposition AlgorithmB. David Saunders, Hong R. Lee, S. Kamal Abdali. issac 1989: 298-307 [doi]

1988

Experiments with Quadtree Representation of MatricesS. Kamal Abdali, David S. Wise. issac 1989: 96-108

1986

A Smalltalk System for Algebraic ManipulationS. Kamal Abdali, Guy W. Cherry, Neil Soiffer. OOPSLA 1986: 277-283

An object-oriented approach to algebra system designS. Kamal Abdali, Guy W. Cherry, Neil Soiffer. issac 1986: 24-30 [doi]

EUROCAL '85 AbstractsS. Kamal Abdali. cca, 20(1-2):40-63, 1986. [doi]

Fifth RIMS Conference on Formula Manipulation and its Application to Mathematical StudyS. Kamal Abdali. cca, 20(1-2):37-39, 1986. [doi]

1985

Transitive Closure and Related Semiring Properties via EliminantsS. Kamal Abdali, B. David Saunders. TCS, 40:257-274, 1985.

Visual Environments for Symbolic ComputationS. Kamal Abdali, Guy W. Cherry. eurocal 1985: 166-167

Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by NameS. Kamal Abdali, David S. Wise. mfps 1986: 1-19

Exploiting workstations and displays in verification systemsS. Kamal Abdali, Ralph L. London. sigsoft, 10(4):35-36, 1985. [doi]

1984

Generalization Heuristics for Theorems Related to Recursively Defined FunctionsS. Kamal Abdali, Jan Vytopil. AAAI 1984: 1-5

Abstracts of computer algebra papers from 1984 national meeting of American Chemical SocietyS. Kamal Abdali. cca, 18(3):26-30, 1984. [doi]

AbstractsS. Kamal Abdali, Bruno Buchberger. cca, 18(1):2-7, 1984. [doi]

1976

A Lambda-Calculus Model of Programming Languages - II. Jumps and ProceduresS. Kamal Abdali. Comp. Lang., Syst. \& Struct., 1(4):303-320, 1976.

An Abstraction Algorithm for Combinatory LogicS. Kamal Abdali. JSYML, 41(1):222-224, 1976.

A Lambda-Calculus Model of Programming Languages - I. Simple ConstructsS. Kamal Abdali. Comp. Lang., Syst. \& Struct., 1(4):287-301, 1976.

1971

Feature extraction algorithmsS. Kamal Abdali. PR, 3(1):3-21, 1971. [doi]

On Proving Sequential Machine DesignsS. Kamal Abdali. TC, 20(12):1563-1566, 1971. [doi]

1970

Algorithm 393: Special series summation with arbitrary precisionS. Kamal Abdali. CACM, 13(9):570, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL