The following pages link to Michael J. Beeson (Q1224088):
Displayed 50 items.
- Item:Q1224088 (redirect page) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- The 6\(\pi\) theorem about minimal surfaces (Q787107) (← links)
- The cusp catastrophe of Thom in the bifurcation of minimal surfaces (Q801341) (← links)
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Mathematical induction in Otter-lambda (Q861715) (← links)
- Some results on finiteness in Plateau's problem. I (Q1138251) (← links)
- Goodman's theorem and beyond (Q1139042) (← links)
- Extensionality and choice in constructive mathematics (Q1148317) (← links)
- Some results on finiteness in Plateau's problem. II (Q1162708) (← links)
- Continuity and comprehension in intuitionistic formal systems (Q1224089) (← links)
- The behavior of a minimal surface in a corner (Q1243474) (← links)
- Non-continuous dependence of surfaces of least area on the boundary curve (Q1249342) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- The meaning of infinity in calculus and computer algebra systems (Q2456558) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (Q2795294) (← links)
- Proof and Computation in Geometry (Q2849504) (← links)
- Logic of Ruler and Compass Constructions (Q2904392) (← links)
- OTTER Proofs in Tarskian Geometry (Q3192214) (← links)
- (Q3478407) (← links)
- (Q3567843) (← links)
- (Q3606209) (← links)
- Recursive models for constructive set theories (Q3659782) (← links)
- (Q3674656) (← links)
- (Q3679172) (← links)
- Church's thesis, continuity, and set theory (Q3734400) (← links)
- (Q3757915) (← links)
- (Q3866108) (← links)
- (Q3898494) (← links)
- (Q3914980) (← links)
- Triangles with Vertices on Lattice Points (Q4013199) (← links)
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations (Q4075443) (← links)
- (Q4098311) (← links)
- The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals (Q4100069) (← links)
- Derived rules of inference related to the continuity of effective operations (Q4100070) (← links)
- On the Area of Harmonic Surfaces (Q4130610) (← links)
- Principles of continuous choice and continuity of functions in formal systems for constructive mathematics (Q4175530) (← links)
- Some relations between classical and constructive mathematics (Q4175557) (← links)
- A type-free Gödel interpretation (Q4175558) (← links)
- (Q4205404) (← links)
- (Q4217949) (← links)
- Reality and Truth in Mathematics (Q4224764) (← links)
- (Q4249894) (← links)
- (Q4499155) (← links)
- (Q4539614) (← links)
- (Q4730771) (← links)