The following pages link to Mathematical Expeditions (Q4226697):
Displayed 5 items.
- ``Voici ce que j'ai trouvé:'' Sophie Germain's grand plan to prove Fermat's last theorem (Q619765) (← links)
- Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850--1960), and beyond (Q942900) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- The Resolvent Average of Monotone Operators: Dominant and Recessive Properties (Q2792407) (← links)
- Lagrange and the solution of numerical equations (Q5953250) (← links)