The following pages link to (Q5459631):
Displaying 7 items.
- Proving open properties by induction (Q1112816) (← links)
- Arbitrary Lagrangian-Eulerian discontinuous Galerkin methods for KdV type equations (Q2143370) (← links)
- On induction principles for partial orders (Q2169127) (← links)
- First-order continuous induction and a logical study of real closed fields (Q2287034) (← links)
- A Local-Global Principle for the Real Continuum (Q3305343) (← links)
- On Forward Induction (Q3627274) (← links)
- The Instructor’s Guide to Real Induction (Q5108578) (← links)