The following pages link to (Q5804274):
Displaying 8 items.
- Horizon-switching predictive set-point tracking under input-increment saturations and persistent disturbances (Q522698) (← links)
- Constructing the real numbers in HOL (Q1334896) (← links)
- Analysis in a formal predicative set theory (Q2148788) (← links)
- Verifying differentiability without calculating the derivative (Q2188793) (← links)
- A conversation with Piet Groeneboom (Q2325624) (← links)
- Frege's theorem and his logicism (Q2758005) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Is it mathematics or is it school mathematics? (Q5860094) (← links)
