Concepedia

Arthur J. Nevins

AJ

7

Publications

248

Citations

7

H-Index

1966

Active since

Affiliations

Georgia State University(Current)

George Washington University

Massachusetts Institute of Technology

Arthur J. Nevins is an author at Georgia State University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationGeometryVerificationNatural SciencesComputational GeometryDesign

Publications per year

1966–1995

7

Publications

7

Plane geometry theorem proving using forward chaining

Arthur J. Nevins · Artificial Intelligence · 1975 · 85 citations

Discrete Geometry, Geometry, Natural Sciences +4

A Human Oriented Logic for Automatic Theorem-Proving

Arthur J. Nevins · Journal of the ACM · 1974 · 69 citations · Full text

Engineering, Deductive Database, Automated Reasoning +14

Some Effects of Uncertainty: Simulation of a Model of Price

Arthur J. Nevins · The Quarterly Journal of Economics · 1966 · 32 citations

Assembly Line Balancing using Best Bud Search

Arthur J. Nevins · Management Science · 1972 · 26 citations

Load Balancing (Computing), Engineering, Industrial Engineering +23

A relaxation approach to splitting in an automatic theorem prover

Arthur J. Nevins · Artificial Intelligence · 1975 · 13 citations

Engineering, Automated Reasoning, Proof Complexity +9

Rows per page

1–5 of 7