Publisher
Springer International Publishing
Reference9 articles.
1. Clark, P.: The Instructor’s Guide to Real Induction (2012). http://arxiv.org/abs/1208.0973
2. Platzer, A., Tan, Y.K.: Differential equation axiomatization: the impressive power of differential ghosts. In: Proceedings of LICS 2018, pp. 819–828 (2018)
3. Platzer, A., Tan, Y.K.: Differential Equation Invariance Axiomatization (2019). http://arxiv.org/abs/1905.13429
4. Clark, P.: The instructor’s guide to real induction. Math. Mag. 92, 136–150 (2019)
5. Raoult, J.-C.: Proving open properties by induction. Inf. Process. Lett. 29, 19–23 (1988)