Search results for: Roland Coghetto
Formalized Mathematics > 2017 > 25 > 3 > 217-225
Formalized Mathematics > 2017 > 25 > 2 > 107-119
Formalized Mathematics > 2017 > 25 > 1 > 55-62
Formalized Mathematics > 2016 > 24 > 4 > 239-251
Formalized Mathematics > 2016 > 24 > 3 > 205-214
Formalized Mathematics > 2016 > 24 > 3 > 215-226
Formalized Mathematics > 2016 > 24 > 3 > 173-186
Formalized Mathematics > 2016 > 24 > 2 > 121-141
Formalized Mathematics > 2016 > 24 > 2 > 157-166
Formalized Mathematics > 2016 > 24 > 2 > 107-119
Formalized Mathematics > 2016 > 24 > 1 > 17-26
Formalized Mathematics > 2016 > 24 > 1 > 27-36
Formalized Mathematics > 2015 > 23 > 4 > 289-296
Formalized Mathematics > 2015 > 23 > 4 > 279-288
Formalized Mathematics > 2015 > 23 > 3 > 189-203
Formalized Mathematics > 2015 > 23 > 2 > 107-114
Formalized Mathematics > 2015 > 23 > 2 > 127-160
Formalized Mathematics > 2015 > 23 > 2 > 75-79
Formalized Mathematics > 2014 > 22 > 4 > 313-319
Formalized Mathematics > 2014 > 22 > 1 > 85-88