The following pages link to Nathaniel Miller (Q424576):
Displayed 6 items.
- On the inconsistency of Mumma's Eu (Q424577) (← links)
- Computational complexity of diagram satisfaction in Euclidean geometry (Q2489144) (← links)
- A brief proof of the full completeness of Shin's Venn diagram proof system (Q2499299) (← links)
- (Q2753914) (← links)
- (Q3438379) (← links)
- (Q4737280) (← links)