Pocklington's Theorem and Bertrand's Postulate-Reference-Cited by-同舟云学术

Pocklington's Theorem and Bertrand's Postulate

Published:2006-01-01 Issue:2 Volume:14 Page:47-52
ISSN:1898-9934
Container-title:Formalized Mathematics
language:
Short-container-title:

Author:

Riccardi Marco

Abstract

Pocklington's Theorem and Bertrand's Postulate The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the Pocklington's theorem (see [19]). The last section presents the formalization of Bertrand's postulate closely following the book [1], pp. 7-9.

Publisher

Walter de Gruyter GmbH

Subject

Applied Mathematics,Computational Mathematics

Link

https://www.degruyter.com/view/j/forma.2006.14.issue-2/v10037-006-0007-y/v10037-006-0007-y.pdf

Reference31 articles.

1. The fundamental properties of natural numbers;Grzegorz Bancerek;Formalized Mathematics,1990

2. The ordinal numbers;Grzegorz Bancerek;Formalized Mathematics,1990

3. Joining of decorated trees;Grzegorz Bancerek;Formalized Mathematics,1993

4. Segments of natural numbers and finite sequences;Grzegorz Bancerek;Formalized Mathematics,1990

5. Binary operations applied to finite sequences;Czesław Byliński;Formalized Mathematics,1990

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces;Formalized Mathematics;2022-04-01

2. Elementary Number Theory Problems. Part II;Formalized Mathematics;2021-04-01

3. Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm;Formalized Mathematics;2019-04-01

4. Multilinear Operator and Its Basic Properties;Formalized Mathematics;2019-04-01

5. Prime Factorization of Sums and Differences of Two Like Powers;Formalized Mathematics;2016-09-01