A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
2011 ◽
Vol 16
(3)
◽
pp. 1227-1243
◽
2013 ◽
Vol 44
(1-2)
◽
pp. 417-435
◽
Keyword(s):
2012 ◽
Vol 17
(3)
◽
pp. 309-329
◽
2021 ◽
2016 ◽
Vol 89
(1-2)
◽
pp. 73-88
◽
2016 ◽
Vol 6
(3)
◽
pp. 254