A Formalization of Properties of Continuous Functions on Closed Intervals
Keyword(s):
2001 ◽
Vol 21
(1)
◽
pp. 197-232
◽
2003 ◽
Vol 2003
(39)
◽
pp. 2465-2473
◽
Keyword(s):
2010 ◽
Vol 47
(3)
◽
pp. 289-298
◽