Larry Wos
E140203
Larry Wos was a pioneering American mathematician and computer scientist known for his groundbreaking work in automated theorem proving.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Larry Wos canonical | 1 |
Statements (37)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
human ⓘ logician ⓘ mathematician ⓘ |
| areaOfInfluence | automated reasoning community ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| employer | Argonne National Laboratory ⓘ |
| familyName | Wos ⓘ |
| fieldOfWork |
artificial intelligence
ⓘ
automated theorem proving ⓘ computer science ⓘ mathematical logic ⓘ proof theory ⓘ |
| genre |
computer science literature
ⓘ
mathematics literature ⓘ |
| givenName | Larry ⓘ |
| hasInfluenced |
artificial intelligence research
ⓘ
computer-assisted mathematics ⓘ mathematical logic ⓘ |
| hasResearchInterest |
first-order logic
ⓘ
formal methods ⓘ proof automation ⓘ resolution principle ⓘ |
| influenced | development of later automated theorem provers ⓘ |
| languageOfWorkOrName | English ⓘ |
| notableAchievement |
advanced the use of heuristics in automated theorem proving
ⓘ
contributions to resolution-based theorem proving ⓘ demonstrated that computers can discover complex mathematical proofs ⓘ helped establish automated reasoning as a mathematical discipline ⓘ leadership in the development of automated reasoning systems ⓘ pioneering use of computers for automated theorem proving ⓘ |
| notableWork |
applications of automated reasoning to mathematics
ⓘ
development of the OTTER automated theorem prover ⓘ |
| occupation |
computer scientist
ⓘ
mathematician ⓘ researcher ⓘ |
| workLocation | Argonne National Laboratory ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.