Concepedia

Benton Leong

BL

6

Publications

427

Citations

6

H-Index

1977

Active since

Affiliations

Pennsylvania State University(Current)

University of Waterloo

Benton Leong is an author at Pennsylvania State University specializing in computer science, discrete mathematics, and computational complexity.

Top concepts

Computer ScienceEngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringDiscrete MathematicsComputational ComplexitySyntaxGrammar

Publications per year

1977–1995

6

Publications

6

<i>First Leaves: A Tutorial Introduction to Maple V</i>

Bruce W. Char, K. O. Geddes, Gastón H. Gonnet et al. · The Journal of the Acoustical Society of America · 1995 · 178 citations

Computer Science, Computer Algebra, Tutorial Introduction

Computing Sequences with Addition Chains

Peter J. Downey, Benton Leong, Ravi Sethi · SIAM Journal on Computing · 1981 · 161 citations

Addition Chain, Lower Bound, Lower Bound Result +6

New Real-Time Simulations of Multihead Tape Units

Benton Leong, Joel Seiferas · Journal of the ACM · 1981 · 40 citations · Full text

New real-time simulations of multihead tape units

Benton Leong, Joel Seiferas · 1977 · 21 citations · Full text

Computational Complexity Theory, Engineering, Complexity Upper Bounds +24

Iris: design of an user interface program for symbolic algebra

Benton Leong · 1986 · 16 citations · Full text

Engineering, Software Engineering, Symbolic Computation +18

Rows per page

1–5 of 6