User talk:Martinmspedersen: Difference between revisions
Content added Content deleted
(Created page with "== leading zeros in OEIS entries == I don't know if you are aware or not, but leading zeros in the name of an OEIS sequence are optional. To wit, '''oeis.org/A0...") |
(No difference)
|
Revision as of 20:47, 28 April 2019
leading zeros in OEIS entries
I don't know if you are aware or not, but leading zeros in the name of an OEIS sequence are optional.
To wit, oeis.org/A002407 and oeis.org/A2407 work equally well.
I find the insertion of leading zeros somewhat distracting, but do not contest the insertion of them. -- Gerard Schildberger (talk) 20:45, 28 April 2019 (UTC)