The following pages link to Michael J. Beeson (Q1224088):
Displayed 24 items.
- (Q4733861) (← links)
- (Q4808723) (← links)
- USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS (Q4853341) (← links)
- Some applications of Gentzen's proof theory in automated deduction (Q5053006) (← links)
- Euclid after Computer Proof-Checking (Q5094535) (← links)
- Mixing Computations and Proofs (Q5195270) (← links)
- Automated Reasoning (Q5307080) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- On interior branch points of minimal surfaces (Q5904195) (← links)
- On interior branch points of minimal surfaces (Q5906075) (← links)
- Automatic derivation of the irrationality of \(e\) (Q5950931) (← links)
- On the notion of equal figures in Euclid (Q6174569) (← links)
- Tilings of an Isosceles Triangle (Q6233573) (← links)
- Triangle Tiling V: Tilings by a tile with integer sides (Q6233598) (← links)
- Triangle Tiling: The case $3\alpha + 2\beta = \pi$ (Q6233599) (← links)
- Triangle Tiling II: Nonexistence theorems (Q6233600) (← links)
- Triangle Tiling I: The tile is similar to ABC or has a right angle (Q6233601) (← links)
- The number of minimal surfaces bounded by Enneper's wire (Q6262536) (← links)
- No triangle can be cut into seven congruent triangles (Q6310137) (← links)
- Tiling an Equilateral Triangle (Q6311271) (← links)
- Euclid After Computer Proof-checking (Q6363065) (← links)
- Intuitionistic NF Set Theory (Q6364342) (← links)
- The Church numbers in NF set theory (Q6375696) (← links)
- A real-analytic Jordan curve cannot bound infinitely many relative minima of area (Q6478342) (← links)