Formalized Mathematics ([Bialystok, Poland] De Gruyter)
Keywords: Mathematical Sciences -- Applied Mathematics