Hi, Here are some slides from a talk Clement Pernet (Sage postdoc last year, Linbox developer) recently gave in France, which mentions Sage in a few places, and exactly linear algebra in many places:
http://membres-liglab.imag.fr/pernet/Publications/Dagstuhl09_pernet.pdf ---------- Forwarded message ---------- From: Clement Pernet <clement.per...@gmail.com> Date: Mon, Nov 23, 2009 at 12:35 AM Subject: Re: Talk on application from number theory To: William Stein <wst...@gmail.com> Hi William, No pb. The talk did work fine. You can find the slides here: http://membres-liglab.imag.fr/pernet/Publications/Dagstuhl09_pernet.pdf I made a few slides to present Sage, mentionning the need to check the sources if you want to prove anything with a Computer algebra system! This is the second talk of this kind (general non-computer-algera audience) that I gave in the last 2 weeks (last one in Paris at the institut Henri Poincarré), and each time people were very excited about sage. I met in Paris Thierry Dumont (who made the whole 1st, 2nd year of Lyon university switch from maple to sage, and which seems to be a great succes so far! Cheers Clément William Stein a écrit : > > Sorry I didn't write back to you in time. How did it go? > > On Mon, Nov 16, 2009 at 5:53 AM, Clement Pernet > <clement.per...@gmail.com> wrote: >> >> Hi William, >> >> I'm preparing a talk for the Dagstuhl Seminar >> http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=09471. >> I'll focus on presenting a few applications, linked with mathematics >> (theorem proving, testing conjectures...) where exact linear algebra plays a >> crucial role. >> >> I'd like to mention your work in number theory, showing how your work on the >> BSD conjecture boils down (among others) to doing efficient exact linalg. >> >> I planned to say something like >> Conjecture -> need to build large tables of modular forms to experiment with >> -> need to compute the action of Hecke operators on the space -> charpoly >> mod p + linear system over Z -> algorithms -> implementations >> >> I would be extremely gratefull if you could correct this rough line of >> reductions (in no way I plan to say that *everything* in number theory boils >> down to linalg!), or point me to a summary of this part of your research. >> >> I'd also like to mention our work on HNF. Do you have a sort explanation on >> where does is takes an important role in your research? >> >> Feel free to drive me to any other aspect that you would think is more >> relevant. >> >> I also plan to present Sage in this talk, insisting on the ability for >> mathematicians to check the code. >> >> Thanks for your help in this matter. >> Best, >> >> Clément >> >> > > > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
