445
Comment:

14124

Deletions are marked like this.  Additions are marked like this. 
Line 1:  Line 1: 
= Sage Days 15: Barcelona, Spain =  ## page was renamed from days15 = Sage Days 16: Barcelona, Spain  Computational Number Theory = 
Line 3:  Line 4: 
Sage Days 15 will take place June 2227, 2009, the week after MEGA 2009. The event will be organised by the CRM (http://www.crm.cat) and the OSRM of the UPC (http://wwwfme.upc.edu/osrm/), and will take place at the FME, in the campus of the UPC, in Barcelona.  Wireless {{{ Login: xsf.convidat Password: KidAut0RaceS }}} 
Line 5:  Line 10: 
== Program committee ==  Sage Days 16 will take place on June 2227, 2009, the week after [[http://www.imub.ub.es/mega09/MEGA 2009]]. The event will be organised by the CRM (http://www.crm.cat) and the OSRM of the UPC (http://wwwfme.upc.edu/osrm/), and will take place at the FME, in the campus of the UPC, in Barcelona. 
Line 7:  Line 12: 
* Jordi Quer * William Stein * John Cremona * Michael Abshoff * Martin Albrecht 
* [[http://www.uam.es/enrique.gonzalez.jimenez/sagedays16/ Official webpage]] (note: schedule below is more uptodate) 
Line 13:  Line 14: 
More info coming soon.  == Projects == * [[/projectsProject page]] == Mailing lists == * Participants list (open): http://groups.google.com/group/sagedays16 * Organizers list (closed): http://groups.google.com/group/sagedays16org == Schedule == All video is [[http://wstein.org/edu/2009/sd16/here]]. I made this video by reencoding HD video to "iPhone" video using Handbrake. Each video file is at most 200mb, and will play fine with [[http://www.videolan.org/vlc/VLC]] (and on the iPhone, of course). <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Sunday, June 21  19:00 <2> '''Meet informally in the lobby of the Resedentia'''   21:00 <2> '''From the Resedentia, go to dinner'''  <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Monday, June 22 [[http://www.crm.cat/Conferences/0809/ThematicDays/SageDay/index.htmCRM Thematic Day on Mathematics and Computation]]  9:00 <2> '''Meet with Jordi Quer at the [[http://www.resa.es/eng/residencias/torre_gironaResidencia lobby]], take the train together to CRM'''  <2> 10:3011:30 <2> William Stein  [[http://wstein.org/talks/20090622sagedays16thematic/'''Sage: Unifying Mathematical Software''']], [[http://wstein.org/edu/2009/sd16/00021steinunifying_open_source_math_softwarepart1.m4vvideo part 1]], [[http://wstein.org/edu/2009/sd16/00022steinunifying_open_source_math_softwarepart2.m4vvideo part 2]]  This will be an overview talk about Sage, which explains the history and motivation for the project, demos some key features of Sage, and discusses where we are going next. It will be accessible to people in all research areas and assumes no prior experience with Sage.   11:3012:00  Coffee Break   <2> 12:0013:00 <2> Henri Cohen  [[attachment:barcelona_cohen.pdf'''Experimental methods in number theory and analysis''']] [[http://wstein.org/edu/2009/sd16/00023cohenexperimental_methodspart1.m4vvideo part 1]], [[http://wstein.org/edu/2009/sd16/00024cohenexperimental_methodspart2.m4vvideo part 2]]   In this talk, I would like to give a number of examples of numerical experiments coming from number theory and analysis, mention the tools used to perform them, and show how they sometimes can lead to interesting and deep conjectures.  <2> 14:3015:30 <2> Àngel Jorba  [[attachment:transpes.pdf'''Developing tailored software for specific problems''']] [[http://wstein.org/edu/2009/sd16/00025jorbatailored_softwarepart1.m4vvideo part 1]], [[http://wstein.org/edu/2009/sd16/00026jorbatailored_softwarepart2.m4vvideo part 2]]  We will discuss the advantages and inconveniences of developing software (in a general purpose language like C) for concrete problems. I will also mention the results of a pool done by the Spanish project "iMath" on the use of computational resources of the mathematical research groups in Spain.   15:3016:00  Coffee Break    16:0017:00  Round Table [[http://wstein.org/edu/2009/sd16/00028panel_discussionpart1.m4vvideo part 1]], [[http://wstein.org/edu/2009/sd16/00029panel_discussionpart2.m4vvideo part 2]]  FME  18:45  Leave from Residencia to UPC    19:00  Coding Sprint Organization at UPC [[http://wstein.org/edu/2009/sd16/00031introductions_by_conference_participants.m4vvideo introductions]]  <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Tuesday, June 23 FME <2> 10:3011:30 <2> Jordi Guàrdia  '''New ideas for computing integral bases'''   The determination of the ring of integers of a number field is one of the main tasks of computational algebraic number theory. The use of higher Newton polygons provides a new insight into the problem, leading to a fast method to compute integral bases, discriminants and prime ideal factorization in number fields.   11:3012:00  Coffee Break  <2> 12:0013:00 <2> William Stein  [[http://wstein.org/talks/20090623elliptic_curves/'''How to use Sage to compute with Elliptic Curves''']]   I will explain how to use Sage to define elliptic curves over various fields, do arithmetic on them, and compute standard invariants. Then I'll talk about elliptic curves over finite fields, and how to count points and compute the group structure. Next, I'll talk about elliptic curves over number fields and Sage's implementation of Tate's algorithm. Finally, I'll discuss computing the invariants in the BSD conjecture for elliptic curves over QQ.   13:0014:30  Lunch   <2> 14:3015:30 <2> Clément Pernet & Majid Khonji  '''Computing exactly with unsafe resources: fault tolerant exact linear algebra and cloud computing'''   In several ways, challenges in computational mathematics (including computational number theory, graph theory, cryptanalysis, ...) involve large linear algebra computations over Z or Q. Distributed, peertopeer or Cloud computing represents nowadays the best perspectives to access large and cheap computing power, but based on unreliable resources. Fault tolerant techniques are therefore developed in order to increase the confidence in the computations, or even to certify it. In the case of exact computations, the algebraic properties of the problems are well suited for the development of algorithm based fault tolerant protocols. In particular, the Chinese Remaindering Algorithm, offering an embarrassingly easy parallelization, can be adapted to work as an error correcting code and tolerate errors. We will present and demonstrate these algorithms and protocols in the case of a distributed computation of the determinant of a matrix over Z.  <2> 15:3016:30 <2> Martin Albrecht  '''How to get started developing Sage'''   In this talk, we will try to highlight a few interesting and relevant bits and pieces for getting into Sage development. We will give an overview of how Sage is structured and step through the Sage development process. The talk is meant to be fairly interactive with people asking questions etc.   Free evening  Sant Joan festivity  <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Wednesday, June 24 FME <2> 13:0014:00 <2> William Stein  '''Modular forms and modular abelian varieties in Sage'''   I will survey the capabilities in Sage for computing dimensions of modular forms spaces, congruence subgroups, modular symbols, modular forms, Brandt modules, overconvergent modular forms, halfintegral weight forms, and modular abelian varieties. I will discuss both what is in Sage, and what is missing.  <2> 14:3015:30 <2> Christian Eder  '''Faugere's F5 Algorithm: variants and implementation issues'''   In this talk we shortly recall main properties of Gröbner bases used for their computations. After an introduction on Faugere's F5 Algorithm we examine its points of inefficiency, especially the reduction process, and present the variant F5C improving these. The benefits of this improvement are explained and represented in detail. Moreover some hints implementing F5's data structures are given and the positive effects of F5C on these are shown. In the end we give some insight into the implementation of F5's reduction process in an F4ish manner, i.e. using symbolic preprocessing.   16:00  Coding Sprint   <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Thursday, June 25 FME <2> 10:3011:30 <2> David Loeffler  '''TBA'''   TBA   11:3012:00  Coffee Break   <2> 12:0013:00 <2> David Kohel  '''ECHIDNA: Open source Magma extensions for Sage'''   I will present the open source GPL repository of Magma code:<<BR>>Elliptic Curves and Higher Dimensional Analogues<<BR>>(http://echidna.maths.usyd.edu.au/kohel/alg/), <<BR>> with associated databases, and its use as an extension to Sage. This repository includes updates to the original packages for quaternion algebras, Brandt modules and generalization of my code for genera of lattices (as a quadratic modules package). As new features, it includes padic point counting via canonical lifts for elliptic curves (AGMX_0(N)), extensions to the Igusa invariants and Mestre's algorithm (to small characteristic) in genus 2, arithmetic of CM fields and CM constructions for curves of genus 2, invariants of genus 3 curves (DixmierOhno and Shioda's hyperelliptic invariants), and numerous other features (e.g. working in generic Picard groups, singular cubic curves and generalized Jacobians of singular hyperelliptics, etc.). The majority of the algorithms are completely new to Magma, and represent algorithms developed over more than a decade (with students and collaborators). The Sage developer community is invited to contribute, document, and improve ECHIDNA, and port features directly to Sage.   13:0014:30  Lunch  <2> 14:3015:30 <2> Robert Miller  '''Fast compiled graphs in Sage'''   There will be a demonstration and advertisement of new developments in graph theory in Sage. In particular, compiled Sage graphs have finally reached the same level of functionality as NetworkX graphs, the slower Python implementation.   16:00  Coding Sprint  <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Friday, June 26 FME <2> 10:3011:30 <2> Gonzalo Tornaria  '''TBA'''   TBA   11:3012:00  Coffee Break   <2> 12:0013:00 <2> Emmanuel Thomé  '''Multiplication of binary polynomials'''   Multiplying binary polynomials is an elementary operation which occurs as a basic primitive in several contexts, from computer algebra to coding theory and cryptography. We study here a variety of algorithms for this operation, with the intent of obtaining satisfactory speeds for a wide range of possible degrees. We look into "low level" aspects related to microprocessorspecific optimizations, and higher level algorithms such as of course the Karatsuba and ToomCook approaches, but also two different FFT algorithms. Several improvements are presented. We provide comparisons of the timings obtained with those of the NTL library. The software presented can, as of NTL 5.5, be hooked into NTL as an addon.   13:0014:30  Lunch   <2> 14:3015:30 <2> Maite Aranes  '''Manin symbols over number fields'''   I will discuss results about cusps and Manin symbols over a number field K, which should be useful in the computation of spaces of cusp forms for GL(2, K) via modular symbols. I will also present ongoing work on implementations of both of these in Sage.   16:00 Coding Sprint  <tablestyle="width: 80%" style="backgroundcolor: #E0E0FF;">Saturday, June 26 FME  10:30  Coding Sprint wrapup  == Organizers == * [[MichaelAbshoffMichael Abshoff]], [[http://www.informatik.unibremen.de/~malb/Martin Albrecht]], [[http://www.warwick.ac.uk/~masgaj/John Cremona]], [[http://wwwma2.upc.es/~quer/Jordi Quer]], [[http://wstein.orgWilliam Stein]], [[http://www.uam.es/personal_pdi/ciencias/engonz/Enrique GonzálezJiménez]], [[http://polit.upc.es/~puig/indexen.htmlJoaquim Puig]], [[http://www.cmat.edu.uy/~tornaria/Gonzalo Tornaría]], [[http://rlmiller.org/Robert Miller]]. == Participants == 1. Michael Abshoff, Technische Universität Dortmund 1. Martin Albrecht, University of London (Room C010 at Residencia) 1. Maite Aranes, University of Warwick 1. Tomasz Buchert, Adam Mickiewicz University 1. Michal Bulant, Masaryk University 1. Gabriel Cardona, Universitat de les Illes Balears 1. Wouter Castryck, Leuven 1. Henri Cohen, Bordeaux 1. Francesc Creixell, UPC 1. Christian Eder, TU Kaiserslautern 1. Burcin Erocal, RISC, JKU  Linz 1. Julio Fernández, UPC 1. Imma Gálvez, UAB 1. Enrique GonzálezJimenez, Universidad Autónoma de Madrid 1. Josep González, UPC 1. Jordi Guàrdia, UPC 1. Xavier Guitart, UPC 1. Amir Hashemi, Isfahan University of Technology (Iran) 1. Nikolas Karalis, National Technical University of Athens 1. Hamish IveyLaw, SydneyMarseille 1. David Kohel, Institut de Mathématiques de Luminy 1. Joan Carles Lario, UPC 1. Offray Vladimir Luna Cárdenas, Javeriana (Colombia) 1. David Loeffler, University of Cambridge 1. Robert Miller, University of Washington (Room C010 at Residencia) 1. Antonio Molina, Addlink Software Científico 1. Enric Nart, UAB 1. Sebastian Pancratz, University of Oxford 1. Clement Pernet 1. Joaquim Puig, UPC 1. Jordi Quer, UPC 1. Anna Río, UPC 1. Víctor Rotger, UPC 1. Bjarke Roune, University of Aarhus 1. Utpal Sarkar, HP (+UPC) 1. Diana Savin, Ovidius University (Romania) 1. Rainer SchulzePillot, Universitaet des Saarlandes 1. Mehmet Sengun, University of DuisburgEssen 1. Jaap Spies, Holland 1. William Stein, University of Washington (Room C113 at Residencia) 1. Emmanuel Thome, INRIA Lorraine 1. Andrew Tonks, London Metropolitan University 1. Gonzalo Tornaría, Universidad de la República (Uruguay) 1. Eulàlia Tramuns, UPC 1. Montrserrat Vela, UPC 1. Preston Wake, !McMaster 1. Christian Wuthrich, University of Nottingham 1. Brian Wyman, Univ of Michigan 
Sage Days 16: Barcelona, Spain  Computational Number Theory
Wireless
Login: xsf.convidat Password: KidAut0RaceS
Sage Days 16 will take place on June 2227, 2009, the week after MEGA 2009. The event will be organised by the CRM (http://www.crm.cat) and the OSRM of the UPC (http://wwwfme.upc.edu/osrm/), and will take place at the FME, in the campus of the UPC, in Barcelona.
Official webpage (note: schedule below is more uptodate)
Projects
Mailing lists
Participants list (open): http://groups.google.com/group/sagedays16
Organizers list (closed): http://groups.google.com/group/sagedays16org
Schedule
All video is here. I made this video by reencoding HD video to "iPhone" video using Handbrake. Each video file is at most 200mb, and will play fine with VLC (and on the iPhone, of course).
Sunday, June 21 

19:00 
Meet informally in the lobby of the Resedentia 

21:00 
From the Resedentia, go to dinner 

Monday, June 22 

9:00 
Meet with Jordi Quer at the Residencia lobby, take the train together to CRM 

10:3011:30 
William Stein 
'''Sage: Unifying Mathematical Software''', video part 1, video part 2 
This will be an overview talk about Sage, which explains the history and motivation for the project, demos some key features of Sage, and discusses where we are going next. It will be accessible to people in all research areas and assumes no prior experience with Sage. 

11:3012:00 
Coffee Break 

12:0013:00 
Henri Cohen 
'''Experimental methods in number theory and analysis''' video part 1, video part 2 
In this talk, I would like to give a number of examples of numerical experiments coming from number theory and analysis, mention the tools used to perform them, and show how they sometimes can lead to interesting and deep conjectures. 

14:3015:30 
Àngel Jorba 
'''Developing tailored software for specific problems''' video part 1, video part 2 
We will discuss the advantages and inconveniences of developing software (in a general purpose language like C) for concrete problems. I will also mention the results of a pool done by the Spanish project "iMath" on the use of computational resources of the mathematical research groups in Spain. 

15:3016:00 
Coffee Break 

16:0017:00 
Round Table video part 1, video part 2 

FME 

18:45 
Leave from Residencia to UPC 

19:00 
Coding Sprint Organization at UPC video introductions 

Tuesday, June 23 

FME 

10:3011:30 
Jordi Guàrdia 
New ideas for computing integral bases 
The determination of the ring of integers of a number field is one of the main tasks of computational algebraic number theory. The use of higher Newton polygons provides a new insight into the problem, leading to a fast method to compute integral bases, discriminants and prime ideal factorization in number fields. 

11:3012:00 
Coffee Break 

12:0013:00 
William Stein 

I will explain how to use Sage to define elliptic curves over various fields, do arithmetic on them, and compute standard invariants. Then I'll talk about elliptic curves over finite fields, and how to count points and compute the group structure. Next, I'll talk about elliptic curves over number fields and Sage's implementation of Tate's algorithm. Finally, I'll discuss computing the invariants in the BSD conjecture for elliptic curves over QQ. 

13:0014:30 
Lunch 

14:3015:30 
Clément Pernet & Majid Khonji 
Computing exactly with unsafe resources: fault tolerant exact linear algebra and cloud computing 
In several ways, challenges in computational mathematics (including computational number theory, graph theory, cryptanalysis, ...) involve large linear algebra computations over Z or Q. Distributed, peertopeer or Cloud computing represents nowadays the best perspectives to access large and cheap computing power, but based on unreliable resources. Fault tolerant techniques are therefore developed in order to increase the confidence in the computations, or even to certify it. In the case of exact computations, the algebraic properties of the problems are well suited for the development of algorithm based fault tolerant protocols. In particular, the Chinese Remaindering Algorithm, offering an embarrassingly easy parallelization, can be adapted to work as an error correcting code and tolerate errors. We will present and demonstrate these algorithms and protocols in the case of a distributed computation of the determinant of a matrix over Z. 

15:3016:30 
Martin Albrecht 
How to get started developing Sage 
In this talk, we will try to highlight a few interesting and relevant bits and pieces for getting into Sage development. We will give an overview of how Sage is structured and step through the Sage development process. The talk is meant to be fairly interactive with people asking questions etc. 

Free evening 
Sant Joan festivity 

Wednesday, June 24 

FME 

13:0014:00 
William Stein 
Modular forms and modular abelian varieties in Sage 
I will survey the capabilities in Sage for computing dimensions of modular forms spaces, congruence subgroups, modular symbols, modular forms, Brandt modules, overconvergent modular forms, halfintegral weight forms, and modular abelian varieties. I will discuss both what is in Sage, and what is missing. 

14:3015:30 
Christian Eder 
Faugere's F5 Algorithm: variants and implementation issues 
In this talk we shortly recall main properties of Gröbner bases used for their computations. After an introduction on Faugere's F5 Algorithm we examine its points of inefficiency, especially the reduction process, and present the variant F5C improving these. The benefits of this improvement are explained and represented in detail. Moreover some hints implementing F5's data structures are given and the positive effects of F5C on these are shown. In the end we give some insight into the implementation of F5's reduction process in an F4ish manner, i.e. using symbolic preprocessing. 

16:00 
Coding Sprint 

Thursday, June 25 

FME 

10:3011:30 
David Loeffler 
TBA 
TBA 

11:3012:00 
Coffee Break 

12:0013:00 
David Kohel 
ECHIDNA: Open source Magma extensions for Sage 
I will present the open source GPL repository of Magma code: 

13:0014:30 
Lunch 

14:3015:30 
Robert Miller 
Fast compiled graphs in Sage 
There will be a demonstration and advertisement of new developments in graph theory in Sage. In particular, compiled Sage graphs have finally reached the same level of functionality as NetworkX graphs, the slower Python implementation. 

16:00 
Coding Sprint 

Friday, June 26 

FME 

10:3011:30 
Gonzalo Tornaria 
TBA 
TBA 

11:3012:00 
Coffee Break 

12:0013:00 
Emmanuel Thomé 
Multiplication of binary polynomials 
Multiplying binary polynomials is an elementary operation which occurs as a basic primitive in several contexts, from computer algebra to coding theory and cryptography. We study here a variety of algorithms for this operation, with the intent of obtaining satisfactory speeds for a wide range of possible degrees. We look into "low level" aspects related to microprocessorspecific optimizations, and higher level algorithms such as of course the Karatsuba and ToomCook approaches, but also two different FFT algorithms. Several improvements are presented. We provide comparisons of the timings obtained with those of the NTL library. The software presented can, as of NTL 5.5, be hooked into NTL as an addon. 

13:0014:30 
Lunch 

14:3015:30 
Maite Aranes 
Manin symbols over number fields 
I will discuss results about cusps and Manin symbols over a number field K, which should be useful in the computation of spaces of cusp forms for GL(2, K) via modular symbols. I will also present ongoing work on implementations of both of these in Sage. 

16:00 
Coding Sprint 

Saturday, June 26 

FME 

10:30 
Coding Sprint wrapup 
Organizers
Michael Abshoff, Martin Albrecht, John Cremona, Jordi Quer, William Stein, Enrique GonzálezJiménez, Joaquim Puig, Gonzalo Tornaría, Robert Miller.
Participants
 Michael Abshoff, Technische Universität Dortmund
 Martin Albrecht, University of London (Room C010 at Residencia)
 Maite Aranes, University of Warwick
 Tomasz Buchert, Adam Mickiewicz University
 Michal Bulant, Masaryk University
 Gabriel Cardona, Universitat de les Illes Balears
 Wouter Castryck, Leuven
 Henri Cohen, Bordeaux
 Francesc Creixell, UPC
 Christian Eder, TU Kaiserslautern
 Burcin Erocal, RISC, JKU  Linz
 Julio Fernández, UPC
 Imma Gálvez, UAB
 Enrique GonzálezJimenez, Universidad Autónoma de Madrid
 Josep González, UPC
 Jordi Guàrdia, UPC
 Xavier Guitart, UPC
 Amir Hashemi, Isfahan University of Technology (Iran)
 Nikolas Karalis, National Technical University of Athens
 Hamish IveyLaw, SydneyMarseille
 David Kohel, Institut de Mathématiques de Luminy
 Joan Carles Lario, UPC
 Offray Vladimir Luna Cárdenas, Javeriana (Colombia)
 David Loeffler, University of Cambridge
 Robert Miller, University of Washington (Room C010 at Residencia)
 Antonio Molina, Addlink Software Científico
 Enric Nart, UAB
 Sebastian Pancratz, University of Oxford
 Clement Pernet
 Joaquim Puig, UPC
 Jordi Quer, UPC
 Anna Río, UPC
 Víctor Rotger, UPC
 Bjarke Roune, University of Aarhus
 Utpal Sarkar, HP (+UPC)
 Diana Savin, Ovidius University (Romania)
 Rainer SchulzePillot, Universitaet des Saarlandes
 Mehmet Sengun, University of DuisburgEssen
 Jaap Spies, Holland
 William Stein, University of Washington (Room C113 at Residencia)
 Emmanuel Thome, INRIA Lorraine
 Andrew Tonks, London Metropolitan University
 Gonzalo Tornaría, Universidad de la República (Uruguay)
 Eulàlia Tramuns, UPC
 Montrserrat Vela, UPC
Preston Wake, McMaster
 Christian Wuthrich, University of Nottingham
 Brian Wyman, Univ of Michigan