The Perfect Number Theorem and Wilson's Theorem
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2009-01-01
|
Series: | Formalized Mathematics |
Online Access: | https://doi.org/10.2478/v10037-009-0013-y |
id |
doaj-f919161cbb82422688537dbba4f217d3 |
---|---|
record_format |
Article |
spelling |
doaj-f919161cbb82422688537dbba4f217d32021-09-05T18:16:47ZengSciendoFormalized Mathematics1426-26301898-99342009-01-0117212312810.2478/v10037-009-0013-yThe Perfect Number Theorem and Wilson's TheoremRiccardi Marco0Casella Postale 49, 54038 Montignoso, Italyhttps://doi.org/10.2478/v10037-009-0013-y |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Riccardi Marco |
spellingShingle |
Riccardi Marco The Perfect Number Theorem and Wilson's Theorem Formalized Mathematics |
author_facet |
Riccardi Marco |
author_sort |
Riccardi Marco |
title |
The Perfect Number Theorem and Wilson's Theorem |
title_short |
The Perfect Number Theorem and Wilson's Theorem |
title_full |
The Perfect Number Theorem and Wilson's Theorem |
title_fullStr |
The Perfect Number Theorem and Wilson's Theorem |
title_full_unstemmed |
The Perfect Number Theorem and Wilson's Theorem |
title_sort |
perfect number theorem and wilson's theorem |
publisher |
Sciendo |
series |
Formalized Mathematics |
issn |
1426-2630 1898-9934 |
publishDate |
2009-01-01 |
url |
https://doi.org/10.2478/v10037-009-0013-y |
work_keys_str_mv |
AT riccardimarco theperfectnumbertheoremandwilsonstheorem AT riccardimarco perfectnumbertheoremandwilsonstheorem |
_version_ |
1717786108668936192 |