On Thu, Sep 27, 2018 at 11:55 AM, John Cremona <john.crem...@gmail.com> wrote: > Many readers of this mailing list will be interested in > https://arxiv.org/abs/1809.08062 : > > Machine-Assisted Proofs (ICM 2018 Panel) > James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu > Tiep, Luís Cruz-Filipe > (This submission to arXiv is the report of a panel session at the 2018 > International Congress of Mathematicians (Rio de Janeiro, August). It is > intended that, while v1 is that report, this stays a living document > containing the panelists', and others', reflections on the topic. > > Among many other interesting points there are several references to Sage and > SageTex.
Oh cool -- the SageTeX discussion is in Harald Helfgott's section. I think he learned about SageTex from me at the Joint Math Meetings Sage/CoCalc booth this January, when I was demoing Latex in Cocalc for him. He subsequently asked me a million questions about sagetex... > John > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
