Concepedia

WilliamW. Mccune

WM

Statistics

Publications

2

Citations

43

H-Index

2

Active since

1989

Affiliations

Argonne National Laboratory(Current)

WilliamW. Mccune is an author at Argonne National Laboratory specializing in automated reasoning, engineering, and computational geometry.

Top concepts

Publications per year

1989–1992

2

Publications

2

Automated discovery of new axiomatizations of the left group and right group calculi

WilliamW. Mccune · Journal of Automated Reasoning · 1992 · 30 citations

, , +9

Automated reasoning about elementary point-set topology

C. Wick, WilliamW. Mccune · Journal of Automated Reasoning · 1989 · 13 citations

, , +7

1–2 of 2