The following pages link to Formalizing Arrow's theorem (Q1040010):
Displayed 11 items.
- Polygonal numbers (Q467780) (← links)
- Flexary operations (Q491771) (← links)
- Euler's partition theorem (Q491772) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Lyndon words formalized in Isabelle/HOL (Q832940) (← links)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- Social choice theory in HOL. Arrow and Gibbard-Satterthwaite (Q2655324) (← links)
- Routh’s, Menelaus’ and Generalized Ceva’s Theorems (Q2852151) (← links)
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)
- Foreword (Q5891934) (← links)