A numerical algorithm for the assessment of the conjecture of a subglacial lake tested at Amundsenisen, Svalbard - Mansutti, Daniela; Bucchignani, Edoardo; Glowacki, Piotr (Rendiconti Lincei, 2016)