Re: Wikipedia
Tim Daly <[email protected]> Wed, 7 May 2025 19:00:05 -0400
| Newsgroups | gmane.comp.mathematics.axiom.user,gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=+HV9_X-DKVbPY+2KiCjzcBnRYjpPb_NQvz=xCJC_EnDg@mail.gmail.com> |
--000000000000608df2063493b2f5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Google can find the items given the information available so the "book" template should be fine. There are references that never saw the light of day and which I have the only known paper copies. For example, the Axiom book was originally authored by Christine Sundarason as a proto-users guide. Her name was never mentioned on the book as she had left the group by then (although she is listed in the credits in the online book). I created a "Computational Science Platform" CD at CCNY that was a bootable CD containing Axiom and Doyen. Doyen was my first attempt at a "computational mathematics platform". It was distributed at the Axiom conference I hosted at CCNY. The copies likely no longer exist except on my shelf. I created a "Rosetta" CD containing all known open source mathematics software. I distributed copies at one of the main conferences. The copies likely no longer exist except on my shelf. I gave a talk at Notre Dame a couple years ago but I don't think it was ever recorded. It was the only presentation of my work on merging Axiom and CMU Lean, merging Axiom with proofs (aka SANE meaning "rational", "coherent", "judicious" and "sound"). Tim On Wed, May 7, 2025 at 11:42=E2=80=AFAM Camm Maguire <[email protected]= g> wrote: > Thanks so much Tim! Your vast knowledge on all this is such a > treasure. > > Several of the references, which I assume you had put together, used the > 'journal' template which was leading to a Wikipedia error due to some > missing element. Wikipedia suggested using a simpler template like > 'book' to get around this, which I did to clear the visual errors on the > page. You may have the missing bibliographic items at hand and prefer > 'journal' if it is more accurate. > > Take care, > > Tim Daly <[email protected]> writes: > > > I added a reference to a book that explains Barry Trager's PhD thesis o= n > Integration. --Tim > > > > > https://www.amazon.com/Integration-Finite-Terms-Fundamental-Computation/d= p/3030987663 > > > > On Tue, May 6, 2025 at 12:55=E2=80=AFPM Camm Maguire <camm@maguirefamil= y.org> > wrote: > > > > Greetings! I made some edits to the Wikipedia page to account for the > > missing axiom-developer.org. Proof readers and comments most welcome! > > > > Take care, > > -- > > Camm Maguire > [email protected] > > > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > > "The earth is but one country, and mankind its citizens." -- > Baha'u'llah > > > > -- > Camm Maguire [email protected]= g > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D > "The earth is but one country, and mankind its citizens." -- Baha'u'lla= h > --000000000000608df2063493b2f5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div>Google can find the items given the information avail= able</div><div>so the "book" template should be fine.<br></div><d= iv><br></div><div>There are references that never saw the light of day and<= /div><div>which I have the only known paper copies. For example,</div><div>= the Axiom book was originally authored by Christine</div><div>Sundarason as= a proto-users guide. Her name was never</div><div>mentioned on the book as= she had left the group by then</div><div>(although she is listed in the cr= edits in the online book).<br></div><div><br></div><div>I created a "C= omputational Science Platform" CD at CCNY that</div><div>was a bootabl= e CD containing Axiom and Doyen. Doyen was</div><div>my first attempt at a = "computational mathematics platform".</div><div>It was distribute= d at the Axiom conference I hosted at CCNY.</div><div>The copies likely no = longer exist except on my shelf.</div><div><br></div><div>I created a "= ;Rosetta" CD containing all known open source</div><div>mathematics so= ftware. I distributed copies at one of the main</div><div>conferences. The = copies likely no longer exist except on my shelf.<br></div><div><br></div><= div>I gave a talk at Notre Dame a couple years ago but I don't</div><di= v>think it was ever recorded. It was the only presentation of <br></div><di= v>my work on merging Axiom and CMU Lean, merging Axiom</div><div>with proof= s (aka SANE meaning "rational", "coherent",</div><div>&= quot;judicious" and "sound").</div><div><br></div><div>Tim<b= r></div><div><br></div></div><br><div class=3D"gmail_quote gmail_quote_cont= ainer"><div dir=3D"ltr" class=3D"gmail_attr">On Wed, May 7, 2025 at 11:42= =E2=80=AFAM Camm Maguire <<a href=3D"mailto:[email protected]">camm= @maguirefamily.org</a>> wrote:<br></div><blockquote class=3D"gmail_quote= " style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);= padding-left:1ex">Thanks so much Tim!=C2=A0 Your vast knowledge on all this= is such a<br> treasure.<br> <br> Several of the references, which I assume you had put together, used the<br= > 'journal' template which was leading to a Wikipedia error due to so= me<br> missing element.=C2=A0 Wikipedia suggested using a simpler template like<br= > 'book' to get around this, which I did to clear the visual errors o= n the<br> page.=C2=A0 You may have the missing bibliographic items at hand and prefer= <br> 'journal' if it is more accurate.<br> <br> Take care,<br> <br> Tim Daly <<a href=3D"mailto:[email protected]" target=3D"_blank">axiomc= [email protected]</a>> writes:<br> <br> > I added a reference to a book that explains Barry Trager's PhD the= sis on Integration. --Tim<br> ><br> > <a href=3D"https://www.amazon.com/Integration-Finite-Terms-Fundamental= -Computation/dp/3030987663" rel=3D"noreferrer" target=3D"_blank">https://ww= w.amazon.com/Integration-Finite-Terms-Fundamental-Computation/dp/3030987663= </a><br> ><br> > On Tue, May 6, 2025 at 12:55=E2=80=AFPM Camm Maguire <<a href=3D"ma= ilto:[email protected]" target=3D"_blank">[email protected]</a>&g= t; wrote:<br> ><br> >=C2=A0 Greetings!=C2=A0 I made some edits to the Wikipedia page to acco= unt for the<br> >=C2=A0 missing <a href=3D"http://axiom-developer.org" rel=3D"noreferrer= " target=3D"_blank">axiom-developer.org</a>.=C2=A0 Proof readers and commen= ts most welcome!<br> ><br> >=C2=A0 Take care,<br> >=C2=A0 -- <br> >=C2=A0 Camm Maguire=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 <a href=3D"mailto:[email protected]" target=3D"_blank">c= [email protected]</a><br> >=C2=A0 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D<br> >=C2=A0 "The earth is but one country, and mankind its citizens.&qu= ot;=C2=A0 --=C2=A0 Baha'u'llah<br> ><br> <br> -- <br> Camm Maguire=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 <a href=3D"mailto:[email protected]" target=3D"_blank">camm@maguir= efamily.org</a><br> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br= > "The earth is but one country, and mankind its citizens."=C2=A0 -= -=C2=A0 Baha'u'llah<br> </blockquote></div> --000000000000608df2063493b2f5--