贡献者样式表
OEIS贡献者的样式表
组织环境信息系统中条目的格式
OEIS中的条目具有严格的格式。每个条目包含以下部分或全部字段。
A号是一个A,后跟六位数字(直到我们到达A999999型). 例子:
- A005132号
- 这是序列的绝对目录号。
- 一些序列也有4位数M-编号例如M1459,这是他们携带的号码“整数序列百科全书”N.J.A.Sloane和S.Plouffe著,学术出版社,加州圣地亚哥,1995年。
- 一些较旧的序列也有4位数N个例如N0577,这是他们携带的号码“整数序列手册”,N.J.A.Sloane著,纽约学术出版社,1973年。
姓名
这给出了序列的简要描述或定义。例子:
- 偶数。
- 在描述中,a(n)表示序列的第n项,n是一个典型的下标。
- 例如:a(n)=a(n-1)+a(n-3)。
- 然而,在某些情况下,定义将描述序列中的典型术语k。
- 例如:数字k使得k和k+1的除数相同。
- 按照说明使用符号和拼写在下面.
- 避免虚荣:不要以自己(或家人、朋友等)的名字命名序列。
- 如果可能,最好使用简明的数学定义。
- 提交序列时,一旦输入了名称,可能需要进行一些小的更改,但对于完整的更改,例如,如果原始序列被中止或撤回,则不要使用相同的a编号;请要求回收并申请一个新的a号码。
数据
此字段给出序列的开始(至少4个术语)。例子:
- 1, 1, 1, 2, 3, 5, 9, 32, 56, 144, 320, 1458, 3645, 9477, 25515, 131072, 327680, 1114112
- 理想情况下,此字段应提供足够的术语来填充屏幕上大约三行260个字符,包括[十进制]数字、符号、逗号和空白(空格和换行符;请勿使用制表符)。(在上面的示例中,创建序列时没有更多的术语。)
- 序列可能包含负整数——如果已知序列包含负整数,则应使用关键字“符号”标记它(即有符号序列);如果序列已知不包含负整数,则应使用关键字“nonn”(即非负序列)进行标记。
- 输入序列时,可以用逗号或空格分隔术语。
- 条目必须是整数,以10位数字{0,1,2,3,4,5,6,7,8,9}表示。
- 如果术语是分数,则分子和分母应作为单独的序列输入,并用关键字“frac”标记,并用交叉引用连接两个序列。
- 只应提交定义明确且普遍感兴趣的序列。
- 如果每秒钟的项为零(A,0,B,0,C,0,D,0,E,…),那么通常我们省略零,并将序列列为A,B,C,D,E。。。
抵消
序列第一项的索引。
- 对于列表,偏移量通常应为1,但有时允许为0。请参见示例.
- 对于数组和三角形,偏移量应该是第一行的索引。如果三角形是规则的(tabl),那么第一个索引的偏移通常也是第二个索引的补偿。如果不是这样,则应在名称中给出第二个索引的偏移量。
- 逗号后的偏移量有第二部分,这是第一个术语的基于1的索引,绝对值大于1。如果所有项都是-1、0或1,那么第二部分应该是1。您无需添加此部分;服务器会为您计算。
- 不要重复它们在公式或注释中暗示的偏移量或范围。仅限限制需要指出某一公式的有效范围。
相关信息会使序列名称过长,并且有趣的旁证不适合其他字段。
- 通常,注释是按时间顺序排列的,较新的注释放在字段的底部。然而(由总编辑决定),最重要的评论将放在第一位,即使它们不是按时间顺序排列的。
- 除了作者在第一次提交序列时发表的评论外,所有评论都必须指明评论人和发表评论的日期。
- 因此,无需在Extensions字段中写入“Added a comment”
- 评论部分是解释序列动机的好地方,尤其是在没有链接的情况下。
- 有几种签署意见的方式(不属于原始提交文件的所有意见都应签署并注明日期)(参见下文):
- 签署简短评论的首选格式是“如果n可以被3整除,那么a(n)也可以。-Alonso del Arte_,2011年12月1日”。也就是说,注释后面跟着空格、短划线、空格,然后是名称(以链接的形式),然后是逗号、空格和日期。如果您键入四个波浪号字符(~~~~),系统会自动将其替换为您的用户名(以链接的形式)、逗号、空格和日期,所有这些都采用正确的格式。
- 简短的评论也可以写为“来自_Alonso del Arte的评论,2011年12月1日:如果n可以被3整除,那么a(n)也是。”
- 另一种可能的简短评论格式是“From _Alonso del Arte_,Dec 01 2011:如果n可以被3整除,那么a(n)也是。”
- 对于跨越多个段落的评论,首选的格式是:“comment from _Alonso del Arte_,Dec 01 2011:(Start)”,后面是评论(从新行开始),然后是“(End)”。
- 如果注释包含错误,则可以就地更正。在这种情况下,更正的作者添加了他或她的签名,如下例所示:“a(n)=a(n-1)+2*(n-1
工具书类
未在网上找到的书籍、期刊论文和其他材料的参考。
- 在参考资料和链接部分中,经常会多次提到一篇文章。出于许多原因,这是完全正常的,通常也是可取的。论文的不同版本可能出现在arXiv或主页上,也可能出现在期刊上;预印本可能已发送给OEIS,随后在出版过程中进行了更改。对OEIS的引用可能出现在一个版本中,然后删除,反之亦然。公式可能已更改。请不要因为引用或链接对您来说是重复的就删除它们!
- 条目应按所列第一作者的姓氏按字母顺序排列。例如,有一本约翰·戈尔德(John Gold)的书和一篇杨章(Yang Zhang)和西格弗里德·阿伦森(Sigfrid Aronson)合著的论文,作为给定序列的参考。先是金书,然后是张&阿伦森论文。(大多数数学论文按字母顺序列出作者,但如果他们使用不同的顺序,则使用它。)
链接
期刊论文、预印本、插图、网页和其他材料的链接:
- 如果一篇论文可从多个位置获得,或有多个版本,则包括所有链接(在合理范围内)
- 用“[断开的链接]”指示断开的连接,或用存档版本替换URL
- 可用时使用稳定的URL
- 条目应按第一作者的姓氏字母顺序排列,但以下情况除外
- 当作者未知时,写“作者?”;当标题未知时,编一个合理的描述性标题
- 当作者是一个命名组时,使用该组的名称:MathOverflow、N.Bourbaki、Wikipedia等。
- 当单个源具有多个链接时,可以将其合并。(例如,如果Links部分过大,则可以将多篇MathWorld文章合并为一行。)
包含隐藏程序的链接:
- 链接不可用于触发代码以压缩和可能加密形式包含在链接中的程序的执行。相反,建议将这些程序作为外部文件上传到OEIS。
公式
用于计算序列第n项、生成函数、渐近性等的公式。
参见第节#拼写和注释数学公式的首选符号。十进制展开式中的公式等于公式是关于常数,而不是关于十进制数字a(n)。
例子
如何在不明显的情况下查找或解释术语的示例。
- 在常量的特殊情况下,给出十进制展开式的前几位数字(通常为线的宽度)。
- 在表格的特殊情况下,给出前几行(如果是矩形数组,则给出左上角)。
- 不要举一个重复定义的例子。这个想法是选择1到3个简单的案例,展示你的作品。
枫树
枫叶程序。
- 请使用Maple的行尾注释语法“#~~~”在注释中签名并注明日期。或者您可以从“#Maple program from ~~~~”开始。
- 除极少数情况外,程序应该是独立的。
- 如果一个程序非常长,请考虑将其作为链接提交,并在此字段中提及。
数学软件
A类Wolfram Mathematica公司程序。有关Mathematica程序的更多信息,请参阅Mathematica程序样式表.
- 请使用Mathematica的注释语法“(*~~~*)”在注释中签名并注明日期。或者您可以从“(*Mathematica program from ~~~*)”开始。
- 除极少数情况外,程序应该是独立的。
- 如果一个程序非常长,请考虑将其作为链接提交,并在此字段中提及。
- Wolfram语言中的代码属于这个领域,即使它是通过WolframAlpha执行的。
- OEIS强烈反对使用Wolfram Alpha语言编写的程序。原因是Wolfram Alpha也接受非正规Mathematica语言的输入。人们可以问Wolfram Alpha这样的问题:“求1到n的平方和”。问题是,用自然语言表达的查询很难解释,有时会产生不想要的结果,即使它给出了预期的结果,也不能保证明年同样的英语句子也会以同样的方式解释。由于OEIS是一个科学数据库,再现性至关重要,因此不鼓励Wolfram Alpha中的项目。
程序
一种用Maple或Mathematica以外的语言编写的程序。
- 请在评论中签名并注明日期。
- 程序应该是独立的和可复制的,除非在极少数情况下。
- 如果程序非常长,请考虑将其作为文件上传,并将序列作为链接进行存储。(在编辑LINKS部分时,您将看到一个用于执行此操作的工具。)在该字段中这样提及:
-
(PARI)\\请参阅Smith链接。
使用适当的符号进行注释
- 还要在开头用括号给出编程语言的名称,如(PARI)或(Perl)
- 条目通常按时间顺序排列,但要将用给定编程语言编写的条目放在一起。
代码应该签名,除非它是由序列作者作为原始提交的一部分编写的。为了允许程序在复制签名时运行,签名应该位于注释中。此类注释的首选格式(OEIS中常用的语言),其中~~~~
将自动替换为用户名和当前日期,包括:
签名 |
语言文字 |
# ~~~~
|
差距,朱莉娅,枫树、Perl、Python、R、Ruby、SageMath |
/* ~~~~ */
|
C、 Java、Maxima、PARI、Rexx |
// ~~~~
|
C++、Java、Magma、MuPAD、Pascal、Rust |
(* ~~~~ *)
|
阿里巴斯,数学软件,帕斯卡 |
' ~~~~
|
基本 |
! ~~~~
|
Fortran公司 |
-- ~~~~
|
哈斯克尔 |
注意:~~~~
|
J型 |
% ~~~~
|
MATLAB(行首带有“%”) |
\\ ~~~~
|
帕里 |
对于需要缩进的语言,不再需要用点代替前导空格:只要一行以两个或更多空格开头,它们就会被保留。
请注意,无论是在Mathematica还是Wolfram Alpha中执行,Wolfram Language中的代码都属于Mathematia部分,而不是这里,而Maple语言中的代码属于Maple部分。
交叉引用
相关序列的交叉引用。这应该是一个逗号分隔的序列号列表,没有重复,每个逗号后面都有一个空格。
关键词
一组固定的标准化关键字中的一个或多个。有关更多信息,请参阅关键字的官方描述,关键词的清晰示例,或关键词论文(高级)。
作者
提交人的姓名和首次提交的日期。具有多个作者的序列应在此处具有多个名称。一旦序列获得首次批准,此字段通常不会更改。
较旧的序列可能还包括作者的电子邮件地址;如果可能,应该链接作者的姓名。
此字段通常表示提交序列的人,即使序列在之前已知。例如A000040型素数早在被输入OEIS之前就已为人所知,但作者仍被列为N.J.A.Sloane。
请注意,我们不包括(例如)财务支持的确认。
扩展
此字段用于为在其他字段中无法正确确认的条目添加申请信用。最常见的用法是承认之前只有几个序列的更多术语,例如,“a(10)-a(24)from _Jan Schuster,Mar 14 2015”。
- 应签署注释、程序(包括Maple和Mathematica)和公式(请参阅有关签署的更多信息在上面和在QandA)因此无需在本领域提及。
- 交叉引用、链接、引用和(通常)示例既没有在该字段中得到确认,也没有在适当位置进行签名。
- 在审批过程中,对创建的序列进行更改时,无需在此字段中添加任何内容。
状态
显示序列状态的不可编辑字段:已批准、正在编辑、已审阅或已建议。
- 编辑序列时,状态自动更改为“编辑”
- 当状态从“编辑”更改为“建议”时,将向编辑委员会显示顺序以供审查和批准
- 点击序列草案底部的“这些更改已准备好供OEIS编辑审查”
典型入口
以下是一个(缩写)示例,显示了OEIS条目中不同类型的行:
- A000002号Kolakoski序列:a(n)是第n次游程的长度;a(1)=1;序列仅由1和2组成。
- (原名M0190 N0070)
名称Kolakoski序列:a(n)是第n次游程的长度;a(1)=1;序列仅由1和2组成。数据1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 1, 2, 2, 1, 2, 1, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 2, 1, 2, 1, 1, 2, 1, 2, 2抵消1,2评论证明1的密度等于1/2是一个尚未解决的问题。序列是立方的,所有方形子单词的长度都是2、4、6、18和54中的一个。这是一个分形序列:用其长度替换每条跑步,并恢复原始序列Kerry Mitchell,2005年12月8日...参考文献J.-P.Allouche和J.Shallit,《自动序列》,剑桥大学出版社,2003年,第337页。E.Angelini,“Jeux de suites”,载于《Pour La Science档案》,第32-35页,第59卷(Jeux math'),2008年4月/6月,巴黎。F.M.Dekking,《关于自生成序列的结构》,数论研讨会,1980-1981年(Talence,1980-1991年),第31号实验,6页,波尔多大学,Talence出版社,1981年。数学。版本83e:10075。...链接N.J.A.Sloane,<A href=“/A000002号/b000002.txt“>n表,n=1..10502时为a(n)</a>J.-P.Allouche、M.Baake、J.Cassaigns和D.Damanik,<a href=“https://arxiv.org/abs/math/0106121“>回文复杂性</a>Michael Baake和Bernd Sing,<a href=“https://arxiv.org/abs/math/0206098“>Kolakoski-(3,1)是一个(变形的)模型集...配方奶粉这两个公式完全定义了序列:a(1)=1,a(2)=2,a+a(k)=(3+(-1)^k)/2和a(a(1)+a(2)++a(k)+1)=(3-(-1)^k)/2.-Benoit Cloitre,2003年10月6日a(n+2)*a(n+1)*aBenoit Cloitre,2003年11月17日a(n+1)=3-a(n)+(a(n)-a(n-1))*(a(b(n))-1),其中b(n是序列A156253号——Jean-Marc Fedou和Gabriele Fici,2010年3月18日例子从a(1)=1,a(2)=2开始。规则规定,第一次运行(是单个1)的长度为1,第二次运行(以2开头)的长度为2,所以第三项也必须是2,第四项不能是2,所以必须是1。所以我们有a(3)=2,a(4)=1。由于a(3)=2,第三条游程的长度为2,因此我们推导出a(5)=1,a(6)=2。依此类推。我所做的更正是将a(4)改为a(5),将a(5Labos Elemer,由Graeme McRae更正MAPLE公司M:=100;s:=[1,2,2];对于n从3到M,do对于i从1到s[n]dos:=[op(s),1+((n-1)mod 2)];od:od:s;A000002号:=n->s[n];数学a[steps_]:=模块[{a={1,2,2}},Do[a=Append[a,1+Mod[(n-1),2]],{n,3,步骤},{i,a[[n]]}];【a】黄体脂酮素(PARI)a=[1,2,2];对于(n=3,80,对于(i=1,a[n],a=concat(a,1+((n-1)%2)));一(PARI)a(n)=局部(an,m);如果(n<1,0,an=[1,2,2];m=3;while(长度(an)<n,an=concat(an,向量(an[m],i,(m-1)%2+1));m++);一个[n])交叉参考囊性纤维变性。A064353号,A001462号,A001083号,A006928号,A042942号,A069864号,A010060型,A078880型.囊性纤维变性。A079729号,A079730,A078929号,A171899号.关键词nonn、core、easy、nice、new作者N.J.A.斯隆扩展M.F.Hasler于2014年5月7日对示例和PARI代码进行了小幅编辑状态经核准的
我们需要多少条件?
- 通常,OEIS中的条目将提供足够的术语来填充屏幕上的三行,大约260个字符,包括空格和逗号。(足以填满三个穿孔卡片,在过去。)
- 260个字符只是一个指南。如果你想付出更多,那就继续吧。我们不是交通警察,我们的雷达枪设置为261个字符闪烁红色。有足够的空间。不过,尽量保持在500个字符以下。
- 如果有更多可用术语,则条目可能具有b文件,给出前1000、10000或20000个术语,在例外情况下,给出更多术语。最常见的大小是10000个术语。总编辑对b文件的大小有最终决定权。
- 如果条目已经有大约三行的术语,那么通常没有必要在DATA行中添加更多的术语,而是创建一个b文件。
- 通常,所需的最少术语数为4个。
为现有序列提供内容时签名
- 在现有条目中添加内容时,您应该签名(即添加您的姓名和日期)。这是通过附加
- ~~~~
在行的末尾,它将负责正确格式化您的姓名(包括链接)和日期。历史部分也提供了相同的信息,但这是OEIS中的标准约定,对于不想搜索修订历史的读者很有用。
- 如果你添加的内容延伸到几个段落,那么不要在每一行都写上你的名字
来自N.J.A.Sloane的评论,2007年9月24日:(开始)
开始时和(结束)
最后。
示例
T(k,n)=n(k-2)((k-2)n^2+1+2n)/2_R.J.Mathar,2008年6月12日
|
来自_Paul D.Hanna_的评论,2009年6月14日:(开始)更一般地,如果G(x)=exp(p*x*exp(q*x*G(x))),其中G(x)^m=和{n>=0}G(n,m)*x^n/n!,则g(n,m)=和{k=0..n}C(n,k)*p^k*q^(n-k)*m*(n-k+m)^(k-1)*k^(n-k)。(结束)
|
T(k,n)=n(k-2)((k-2)n^2+1+2n)/2。[R.J.Mathar_,2008年6月12日]
|
电子邮件
不包括您的电子邮件地址
- 自2011年以来,OEIS的政策一直是不显示投稿人的电子邮件地址。
- 相反,在一行末尾键入四个波浪号(~~~~)以链接到您的用户页面,从而签名。这将自动转换为您的姓名和日期。
- 在注释、示例和公式中,此签名通常以“-”(空格、破折号、空格)开头,将其与注释末尾的(强制)句点(“.”)分隔开。(例如:“这是一个注释。-~~~~”。)但“[~~~~]”也是可以接受的(签名插入方括号中)。在程序中,名称和日期要么放在注释分隔符内(例如,Mathematica中的“(*…*)”),要么(最好)放在引入一个或多个字符的行末注释后(如果可用)(Maple中的“#”,PARI/GP中的“\\”,C中的“//”;请参阅在上面用于其他编程语言;这允许用户复制/粘贴代码和签名中可能不完整的部分,而不会在执行代码时产生错误)。
- 请参见在上面例如。
向作者或编辑发送电子邮件
- 如果此人在此Wiki上有一个用户页面(理想情况下,每个贡献者都应该有这样的页面),请首先转到OEIS Wiki并登录,然后转到用户页面(例如,在Wiki搜索框中输入user:John Doe)。然后左边的工具箱中应该有一个链接,上面写着“给这个用户发电子邮件”。当然,投稿人,甚至是有用户页面的投稿人,可能没有当前的电子邮件地址,这有很多可能的原因。
- 您也可以在用户的“用户对话”页面上为用户留言(但您必须首先登录OEIS Wiki,Wiki需要从主OEIS数据库单独登录)。
拼写和注释
以下是OEIS中一些常见错误键入的单词和符号的正确拼写,以及各种有用符号的首选版本:
- >(非grth)
- >=(不≥或\ge或\geq)
- <=(不≤或\le或\leq)
- !=或<>对于“不相等”(not≠,.NE.\n,\neq),例如,x!=y或x<>y。
- 对于/写a/(bc),而不是模棱两可的a/b*c或a/b/c(参见运算符优先级). 例如,不要说1/6x,比如x/6或(1/6)x。不要说1/6总和。。。,说(1/6)总和。不要说1/(1-x)/(1-x^2),说1/。
- |S公司|,#S公司,或卡(S)对于集合S的基数都是可以接受的
- +-(不是+/-或±)
- 零,第一,第二,第三,第四, ... (不是第0、第1、第2、第3、第4…)
- 9角,而不是非正方形:10角,而不是十边形;11角不是hendecagon(hendecangon是一种产蛋的10-gon);等。数字用于具有8条以上边的多边形(和数字)
- a(n)对于序列中的第n个项(不是a[n]或an)
- a(n)表示序列中的单个项。要引用整个序列,请使用{a(n)},【a(n)】,或(a(n))当然,P={2,3,5,7,11,…}中的花括号通常指集合。当你需要区分一个序列和它的一组术语时,你需要用单词拼写出你在做什么。比如说“这里[a(n):n>=0]是序列,{a(n)}是其项的集合。”
- 近似等于:我们没有特殊的符号,所以用文字表示:“圆周率大约等于22/7”。
- behavior(非behavior-OEIS使用美国拼写)
- 十亿,万亿。。。(10^9,10^12,…)(美国系统,其中前缀代表10^(3+3n)中的n)
- 二项式系数的二项式(n,k)或C(n,k);前者是首选的,但如果系数较多,则后者在公式中是可以接受的。仅在句首大写“二项式”
- cancelation(不是cancelation)是正确的拼写
- 天花板(非天花板;非天花板,除非位于句首)
- 颜色(不是颜色-OEIS使用美国拼写)
- cos(x)(非cos[x])
- 立方块(非无立方块,非无立方)
- 依赖(非依赖)
- 可解剖的(不可解剖的)
- e代表2.718281828459…(非e)
- 求幂:使用^而不是**、²或³。
- 斐波那契(非斐波那奇)
- floor(非floor,除非位于句子开头)。楼层(x)通常用[x]表示。
- Gamma(不是Gamma),用于Gamma函数。
- GCD(非GCD或g.c.d.;非hcf或h.c.f.或hcf或h.c.f.):我们更喜欢GCD或GCD。
- 泛化(不是泛化-OEIS使用美国拼写)
- 组:OEIS使用组的现代名称,如有限组的ATLAS和国际结晶学表。特别地,2n阶二面体群用D_{2n}表示。(原来的名字是D_n。)
- HCF,见GCD
- i、 不是我,因为,的虚单位。您可以随时添加“其中i是假想单位”,以确保没有人将其误认为是求和索引。
- iff是“if and only if”的一个完全可以接受的缩写
- Im,而不是Im,表示复数的虚部
- 独立(非独立)
- 无穷大(不是Inf,Inf),但允许oo,特别是在公式中
- 积分_{x=1..2}f(x)dx或积分_{x=0..oo}f(x)dx
- 艾弗森括号在公式中非常有用:如果P是某种性质或条件,如果P为真,[P]=1,如果P为假,[P]=0。所以你可以说“+6*[n==0(mod 3)],其中[]是艾弗森括号”作为“如果n是3的倍数,你必须加6”的缩写。
- J.S.巴赫(不是J.S.巴赫,句点后面应该跟一个空格,除非是像J.-P.Serre这样的连字符名称)
- l(el):在公式中尽量避免使用l,在许多字体中,它看起来就像1(one)或I(大写I)。使用k或m代替。
- 标签,标签(未标签,标签-OEIS使用美国拼写)
- LCM(不是l.c.m.或l.c.m.):我们更喜欢LCM或LCM。
- lim_{n->P}表示限制(在句子开头使用limit_{n->P})
- log2(x)表示以2为基数的日志
- log(n)(不是ln(x)或log[x])表示以e为基数的日志
- log_10(x)表示以10为基数的日志
- <(非lrth)
- <=(不是\le或\leq)
- mod(非%)
- 乘号:使用*而不是X、·、句号(点)或×。6n^2+17n+1和6*n^2+17*n+1都可以接受。
- n X n(不是n X n,不是nXn,不是n乘以n,不是n-乘以n)
- n-th、m-th、i-th、j-th等。(不是第n、第m、第i、第j个)
- neighbor(非neighbor-OEIS使用美国拼写)
- 幂零的(非幂零的)
- 非复合(非复合)
- 非递减(非递减)
- 非空(非非空)
- 非增量(非非增量)
- 非负(非负)
- 非阳性(非阳性)
- 无犯罪(非无犯罪)
- 非方形(非方形)
- 非隔离(非非隔离)
- 非平凡(非平凡)
- 非单位(非非单位)
- 非零(非零)
- 发生(没有发生或发生)
- 八边形,而不是八边形:前缀用于表示9以下的数字
- p(n)应为素数(n个) A000040型,隔板(n个) A000041号或其他无关的东西
- 隔板(n个)是A000041号(n) ,并且优于p(n)
- 分圆多项式的Phi(n,x)
- phi表示黄金比率(有时为tau),phi(n)表示Euler totiten函数A000010号
- 3.141592653的Pi…(非Pi)
- 素数(n个)是第n素数A000040型(n) ,且优于p(n)
- 素数(n)(首选)或p(n)通常是第n个素数,但素数(n)和p(n
- 素数诱导素数(非素数诱导素)
- 产品_{k=a..b}表示产品符号(始终使用大写字母“P”),例如。,产品{k=1..n}a(k)
- 已证明(未证明)
- Re,而不是Re,表示复数的实数部分
- 复发(不是复发或复发)
- 重复发生(不重复或反复发生)
- 半素数(非半素数)
- sin(x)(非sin[x])
- 空格:在句子末尾加一个空格或两个空格,任意一种都可以
- 平方(x)(不是平方[x]或√x)
- 无平方(非无平方)
- 子矩阵(非子矩阵)
- 总和_{k=a..b}对于求和表示法(总是使用大写“S”),例如。,和{n>0}a(n)
- 双和的和{i=1..n}和{j=1..i}f(i,j,n)
- tetranacci(非Tetranarci)
- 三角形(非三角形,除非位于句子开头)
- tribonacci(非Tribonaccii)
- 零(非零)
- 零(非零)
- zeta(小写zeta,如Riemann zeta函数):使用zeta而不是zeta
非ASCII字符
不要在数学文本中使用非ASCII字符!OEIS中的标准样式是使用数学符号的ASCII表示,而不是Unicode。例如,写<=和>=不≤和≥,不要使用Unicode省略号…,不要使用希腊字母(π,∑)等等。
例外情况是出版作品的标题和作者、OEIS贡献者、地点、机构等的名称,其正确拼写需要非ASCII字符。例如,这些都很好:
- “Genevive Paquin,《多重图形的命名》,梅莫尔,魁北克大学数学系,2004年。”
- A033308号Copeland-Erdős常数的十进制展开:串联素数。(链接部分:Mikołaj Morzy、Tomasz Kajdanowicz、Przemys \322;aw Kazienko……)
语法
单数名词的所有格是通过添加撇号和S形成的,即使该名词以S结尾。写下“卢卡斯定理”,而不是“卢卡斯尔定理”(或者可能是“卢卡斯·定理”)。这一规则并没有被普遍接受,所以当直接引用原编辑不遵守的材料时,不应更改引用。
英语中常见的错误
- 使用a(n)表示整个序列。错了,a(n)是第n项。
- “金额”(指数字)应为“数字”
- 错误:“…中质数的数量”
- 更正:“…中质数的数量”
- 正确答案:“蛋糕中黄油的量……”
- 错误:“蛋糕中鸡蛋的数量……”
- 更正:“蛋糕里鸡蛋的数量…”
- “情侣”而不是“配对”
- 错误:“a(n)是二进制矩阵对的数目……”
- 更正:“a(n)是二进制矩阵对的数量…”
- “计数”是错误的。除非你在五金店工作,否则你不会数数字。
- 错误:“a(n)计算……的数量”
- 正确:“a(n)是……的数字。”
- 正确:“a(n)表示……的数量。”
- “除了a(5)=91,……”是错误的
- 错误:“除了a(5)=91之外,所有术语都是……”
- 正确:“除了a(5)=91之外,所有术语都是……”
- 错误:“除了数字2……”
- 正确答案:“除了数字2……”
- “fulfills”几乎总是错的:正确的英语单词是“safess”。出于某种原因,这种错误在法语和德语使用者中很常见。
- “大于或等于”是错误的
- 错误:“大于或等于n”
- 错误:“大于或等于n”
- 正确:“大于或等于n”
- 正确:“>=n”
- “它”与“它”:
- “Its”(没有撇号)是代词“it”的所有格:“序列是新的,作者是J.Smith”
- 带撇号的“It’s”是“It is”或“It has”的缩写:“序列是新的,但它是错误的”
- “小于或等于”是错误的
- 错误:“小于或等于n”
- 错误:“小于或等于n”
- 正确:“小于或等于n”
- 正确答案:“<=n”
- 当你应该说“三胞胎”的时候
- 错误:“a(n)是二进制矩阵的三元组数……”
- 更正:“a(n)是二进制矩阵的三元组数……”
- 类似地,“四重”优先于“四重组”,依此类推。
- 当你应该说“独特的”
- 错误:“汤姆、汤姆、玛丽、约翰”列表包含三个唯一的名字
- 正确:“汤姆、汤姆、玛丽、约翰”列表包含三个不同的名字
技术定义
- “mod n”是什么意思?OEIS的许多贡献者发现这令人困惑。
- a==b(modc)意味着a-b是c的倍数(人们将其解读为“a与bmodc同余”)。所以12==8(mod 2)。
- a mod c=b表示a除以c的余数是b,所以12 mod 2是0。
带有推测项的序列
原则上,OEIS条目中显示的术语应被证明是正确和完整的。例如,在梅森素数列表中,A000043号,如果可能存在尚未找到的早期术语(尽管这些术语在“注释”或“扩展”部分中有所提及),我们不包括已知位于序列中的术语。
当序列中的术语只是推测性的,我们该怎么办?
- 最常见的情况是当我们知道一定数量的术语,但我们只有对接下来几个术语的猜测。在这种情况下,我们在数据部分给出了确定的术语,在注释或扩展中给出了推测的术语。这是我们用来处理大多数情况的规则。例子:A000952号,数字n==2(mod 4),其中存在n阶会议矩阵。下一学期是66,这只是一个猜测。
- 已知有足够多的术语可以填充数据部分的三行,但在序列中还有一些空白。在这种情况下,我们在b文件,以及所有的术语-带有空白、问号或不确定术语的范围-在a文件中。例子:A072942号,它同时具有b文件和a文件。A046057号是群论中的一个序列,它有一个a文件,尽管我们不知道足够的项来确定是否给出一个b文件。
- 我们只知道几个确定的术语,但有一个推测的生成函数(可能正确,也可能不正确)。在这种情况下,我们有时给出两个序列,一个用于已知值,另一个用于生成函数生成的序列。例子:A008368号,源自面心立方晶格,以及A023054号,从提出的生成函数。
- 一个极端的例子是里塞尔数序列,A076337号,其中只有第一项(509203)是已知的。这违反了我们的所有规则,但被纳入了OEIS,因为这是数论中的一个重要问题,希望有一天在OEIS中有一个条目会导致计算更多的项。最有可能的扩展如下所示A101036号。我们希望有一天能够合并这两个条目。
- 还有两个极端的例子:如果我们坚持只给出已知的术语,那么这两个序列都不存在。由于这些问题的重要性,我们做出了例外并放宽了规则。
- 布里尔数字,A076335号七个术语是已知的,但这只是一个猜测,即它们是前七个术语。即使是显示的第一个项也只是推测为最小的项。
- 将具有n条边的正多边形剖分为相同面积的等边三角形所需的最小多边形块数:A110000个这是一个很好的问题,但只有微不足道的项a(3)=1是确定的。列出的其他术语只是上限。我们再次希望,将此序列包含在OEIS中将导致计算更多术语。
- A000373号是一个不同的例子。这里有一个a(n)的显式公式,我们可以计算任意多个项,但在撰写本文时,这只是一个猜测,即这是Yuri Manin关于Moufang循环的问题的答案(事实上,后来这个猜测被证明是错误的)。
- 可能素数我们认为,目前只知道可能素数的数字最终会被证明是素数,因此我们不认为包含此类数字的序列是推测的。例如,请参见A004061美元,数字n,使得(5^n-1)/4是素数。不管怎样,只要可能,你都应该提到哪些项只对应于可能素数。
- 另请参阅OEIS索引中的条目推测序列.
如果你解决了一个著名的公开问题
例如哥德巴赫猜想、3x+1猜想等,OEIS不是发表它的地方。首先在(声誉良好的)数学杂志上发表你的证明。
另请参见