About the formalization of some results by Chebyshev in number theory (2009)

Cached

Download Links

by Andrea Asperti , Wilmer Ricciotti , Mura Anteo Zamboni
Venue:Proceedings of TYPES’08, Vol. 5497 of LNCS
Citations:8 - 4 self