Concepedia

Michael Beeson

MB

Statistics

Publications

23

Citations

563

H-Index

15

Active since

1975

Affiliations

San Jose State University(Current)

Radboud University Nijmegen

Stanford University

Michael Beeson is an author at San Jose State University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationMathematical FoundationsGeometryVerificationEducationProof Complexity

Publications per year

1975–2022

23

Publications

23

Goodman’s theorem and beyond

Michael Beeson · Pacific Journal of Mathematics · 1979 · 50 citations · Full text

Theoretical Mathematics, Axiom App, Engineering +10

Towards a computation system based on set theory

Michael Beeson · Theoretical Computer Science · 1988 · 43 citations

Computation System, Engineering, Automated Reasoning +5

Principles of continuous choice and continuity of functions in formal systems for constructive mathematics

Michael Beeson · Annals of Mathematical Logic · 1977 · 43 citations

Continuous Choice, Decision Procedure, Formal Systems +7

Recursive models for constructive set theories

Michael Beeson · Annals of Mathematical Logic · 1982 · 42 citations

Constructive Mathematics, Constructive Set Theories, Automated Reasoning +2

A constructive version of Tarski's geometry

Michael Beeson · Annals of Pure and Applied Logic · 2015 · 39 citations

Discrete Geometry, Geometry, Projective Geometry +2

1–5 of 23