|
Size: 1824
Comment:
|
Size: 1953
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = Sage Days: p-adics = | = Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics) = |
| Line 35: | Line 35: |
| Université Rennes 1, France. <iframe width="425" height="350" frameborder="0" scrolling="no" marginheight="0" marginwidth="0" src="http://maps.google.fr/?ie=UTF8&ll=48.119258,-1.641887&spn=0.003989,0.009645&t=m&z=17&output=embed"></iframe><br /><small><a href="http://maps.google.fr/?ie=UTF8&ll=48.119258,-1.641887&spn=0.003989,0.009645&t=m&z=17&source=embed" style="color:#0000FF;text-align:left">Agrandir le plan</a></small> |
Université Rennes 1, France. [[http://maps.google.fr/?ll=48.119258,-1.641887&spn=0.003989,0.009645&t=m&z=17|See location on Google Maps.]] |
| Line 40: | Line 38: |
| === Participants === | === Participants (first tentative) === |
| Line 42: | Line 40: |
| To be announced. | Jean-François Biasse^*^ <br>Cécile Breilly [[BR]]Xavier Caruso [[BR]]Gilles Christol^*^ [[BR]]Luca De Feo^*^ [[BR]]Jean-Pierre Flori^*^ [[BR]]Muhammad Imran [[BR]]Kiran Kedlaya [[BR]]Jérémy Le Borgne^*^ [[BR]]David Lubicz [[BR]]David Roe [[BR]]Julian Rüth [[BR]]Jeroen Sijsling [[BR]]Olivier Taïbi^*^ [[BR]]Arnaud Tisserand [[BR]]Jan Tuitman [[BR]]Tristan Vaccon ^*^ To be confirmed |
Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics)
September 2–September 6, 2013, Université Rennes 1, France
The aim of this workshop is to contribute to the development of p-adics rings in Sage - and more generally discrete valuation rings (DVR). It includes basic arithmetics, linear algebra and analysis (e.g. analytic functions) over these rings.
Registration
Registration is free. There is limited funding for travel and lodging.
Please contact Xavier Caruso at xavier.caruso (at) normalesup.org to register. Please indicate if you will be requesting funding.
Schedule
Coming soon.
Projects
The specific problems addressed at this workshop will be decided upon the interests of the participants. The following general topics are proposed:
- Implement basic functions for matrices over DVR (e.g. Hermite and Smith decomposition)
- Implement extensions of p-adics (currently only unramified and totally ramified extensions are available)
- Write classes for series over DVR
- Design a general framework for precision
- Review several tickets related to p-adics
Location
Université Rennes 1, France. See location on Google Maps.
Participants (first tentative)
Jean-François Biasse* <br>Cécile Breilly BRXavier Caruso BRGilles Christol* BRLuca De Feo* BRJean-Pierre Flori* BRMuhammad Imran BRKiran Kedlaya BRJérémy Le Borgne* BRDavid Lubicz BRDavid Roe BRJulian Rüth BRJeroen Sijsling BROlivier Taïbi* BRArnaud Tisserand BRJan Tuitman BRTristan Vaccon
* To be confirmed
Organizers
- Xavier Caruso, Université Rennes 1, France
- David Lubicz, Université Rennes 1, France
Last Updated
June 4, 2013