|
|
|
|
#59通过M.F.哈斯勒2024年4月30日星期二15:52:29 EDT |
|
|
|
#58通过M.F.哈斯勒2024年4月30日星期二15:52:19 EDT |
| 配方奶粉
|
让素数PrimePi公司(x) 表示素数<=x(cf。A000720美元). 则2*a(n)=和{素数p<=n/2}素数PrimePi公司(不适用)+素数PrimePi公司(平方米(n))。[兰多,第211页]
让素数PrimePi公司(x) 表示素数<=x(cf。A000720美元). 则a(n)=和{i=1。。素数初级Pi(平方码(n))}(素数PrimePi公司(n/质数(i))-i+1)-罗伯特·威尔逊v2006年2月7日
|
| 状态
|
提出
编辑
|
|
|
|
#57通过M.F.哈斯勒2024年4月30日星期二美国东部夏令时15:48:41 |
|
|
讨论
|
4月30日星期二
| 15:50
| M.F.哈斯勒:PS:哎呀,A720现在的名称中有“PrimePi”,所以我们应该坚持下去。
|
|
|
|
#56通过M.F.哈斯勒2024年4月30日星期二美国东部夏令时15:46:54 |
| 配方奶粉
|
让PrimePi公司素数(x) 表示素数<=x(参见。A000720美元). 则a(n)=和{i=1。。PrimePi公司素数(平方码(n))}(PrimePi公司素数(n/质数(i))-i+1)-罗伯特·威尔逊v2006年2月7日
a(n)=卡{{x<=n:bigomega(x)=2}。
设A为正整数。然后是卡片{{x<=n:bigomega(x)=A}~(n/log(n))*log(log(n![兰多,第211页]
a(n)=A072613号(n))+) +A056811号(n) ●●●●-R.J.马塔尔2007年6月10日
a(n)=总和总和_{i=1..n}A064911美元(i) ●●●●-乔纳森·沃斯邮报2007年12月30日
|
| 状态
|
经核准的
编辑
|
|
|
讨论
|
4月30日星期二
| 15:48
| M.F.哈斯勒:我来的太晚了,无法加入前面的讨论,但我认为我们应该在FORMULA部分使用统一的符号(对于同一件事使用两个不同的符号/名称会让人感到困惑),正如所说,CamelCase是Mmca特有的,primepi是标准的,请参阅A000720的NAME。
|
|
|
|
#55通过迈克尔·德弗利格2024年4月23日星期二11:18:17 EDT |
|
|
|
#54通过雷·钱德勒2024年4月23日星期二10:20:53 EDT |
|
|
|
#53通过雷·钱德勒2024年4月22日星期一13:24:08 EDT |
|
|
讨论
|
4月22日星期一
| 13:32
| 彼得·卢什尼:为什么不坚持一个符号?Pi固定为Pi,所以可能固定为PrimePi?
|
| 16:28
| 雷·钱德勒:我选择使用PrimePi作为第二个公式,以符合Mma程序代码,在这种情况下,我选择PrimePi作为第一个,再次与使用该公式的其他程序一致。这样对我来说更有意义。如果你喜欢公式中的相似性,那么我倾向于使用primepi,因为primepi是Mma特有的。如果你对此有强烈的感觉,那对我来说不是什么大事。
|
| 16:28
| 雷·钱德勒:我选择使用PrimePi作为第二个公式,以符合Mma程序代码,在这种情况下,我选择PrimePi作为第一个,再次与使用该公式的其他程序一致。这样对我来说更有意义。如果你喜欢公式中的相似性,那么我倾向于使用primepi,因为primepi是Mma特有的。如果你对此有强烈的感觉,那对我来说不是什么大事。
|
|
|
|
#52通过雷·钱德勒2024年4月22日星期一13:16:37 EDT |
| 配方奶粉
|
让圆周率素数(x) 表示素数<=x(cf。A000720美元). 则2*a(n)=和{素数p<=n/2}圆周率素数(不适用)+圆周率素数(平方米(n))。[兰多,第211页]
让圆周率PrimePi公司(x) 表示素数<=x(cf。A000720美元). 那么a(n)=和{i=1。。圆周率初级Pi(平方码(n))}(圆周率PrimePi公司(n/质数(i))-i+1)-罗伯特·威尔逊v2006年2月7日
|
| 状态
|
经核准的
编辑
|
|
|
讨论
|
4月22日星期一
| 13时23分
| 雷·钱德勒:2024年4月20日星期六,zak seidov通过SeqFan对pi和pi前两个公式中的分歧提出质疑。分别使用primepi和primepi而不是不明确的pi/pi可以纠正分歧。
|
|
|
|
#51通过阿洛伊斯·海因茨2020年7月1日星期三14:32:56 EDT |
|
|
|
#50通过米歇尔·马库斯2020年7月1日星期三14:13:12 EDT |
|
|
|