The following pages link to (Q4099559):
Displayed 19 items.
- The Euler tiling formula (Q3150461) (← links)
- Louis Olivier: A Mathematician Only Known Through his Publications in Crelle's Journal During the 1820s (Q3422432) (← links)
- The Algebra of Geometric Impossibility: Descartes and Montucla on the Impossibility of the Duplication of the Cube and the Trisection of the Angle (Q3563629) (← links)
- Throwing Some Light on the Vast Darkness that is Analysis: Niels Henrik Abel's Critical Revision and the Concept of Absolute Convergence (Q3563630) (← links)
- Hyperloops Do Not Threaten the Notion of an Effective Procedure (Q3576039) (← links)
- Incremental System Modelling in Event-B (Q3638993) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- The fundamental theorem of algebra and complexity theory (Q3904686) (← links)
- (Q3940403) (← links)
- Vertical line and point symmetries of differentiable functions (Q3984094) (← links)
- Philosophy of mathematics: an outlook (Q3985775) (← links)
- The construction of formal logical systems without axioms (Q4359675) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library (Q5200124) (← links)
- What is a proof? (Q5301851) (← links)
- Euler's combinatorial mathematics (Q5459824) (← links)
- Kantian Philosophy of Mathematics and Young Robots (Q5505536) (← links)
- Values, gender and images of mathematics: a philosophical perspective (Q5687636) (← links)
- Irrational rotations motivate measurable sets (Q5957064) (← links)