4940
Comment: initial version
|
8001
|
Deletions are marked like this. | Additions are marked like this. |
Line 3: | Line 3: |
ATTENTION : This is a tentative schedule, and is subject to change. | The workshop takes place on Saturday and Sunday at the [[http://www.google.com/maps?f=q&source=s_q&hl=en&q=RISC,+hagenberg&sll=48.367704,14.513669&sspn=0.001187,0.001781&ie=UTF8&split=1&filter=0&rq=1&ev=zi&t=h&radius=0.05&hq=RISC,+hagenberg&hnear=&ll=48.367958,14.513398&spn=0.001187,0.001781&z=19|FH building (lecture hall 4) in Hagenberg]] and for the rest of the days in the [[http://www.google.com/maps?f=q&source=s_q&hl=en&q=RISC,+hagenberg&sll=48.365771,14.514366&sspn=0.001187,0.001781&ie=UTF8&split=1&filter=0&rq=1&ev=p&t=h&radius=0.05&hq=RISC,+hagenberg&hnear=&ll=48.366168,14.514133&spn=0.001187,0.001781&z=19|Gemeindesaal Hagenberg]]. |
Line 7: | Line 7: |
||<|2 rowstyle="background-color: #EEFFEE;"> 11:00-12:00 ||'''William Stein: ?'''|| ||<style="background-color: #EEFFEE;"> Worksheet: || |
||<|2 rowstyle="background-color: #EEFFEE;"> 11:00-12:00 ||'''William Stein: [[days24/abstracts#Stein|Sage - Creating a viable free open source alternative to Magma, Maple, Mathematica, and Matlab]]''' [[http://wstein.org/talks/stein-sd24/stein-sd24.pdf|stein-sd24.pdf]] || ||<style="background-color: #EEFFEE;"> Worksheet: [[http://sagenb.org/home/pub/2253|Sage worksheet]]|| |
Line 10: | Line 10: |
||<|2> 13:30-14:30 ||'''Extended Demo: How to use Sage/What areas are covered''' (lead by ?)|| || || ||<|2> 14:30-15:30 ||'''Tutorial: Implementation of Polynomials and Python Tutorial---Part 1''' (lead by ?)|| || || |
||<style="text-align: center;"> 13:30-14:30 ||'''Extended Demo: How to use Sage/What areas are covered''' (Harald Schilly)|| ||<style="text-align: center;"> 14:30-15:30 ||'''Tutorial: Implementation of Polynomials and Python Tutorial---Part 1''' (Burcin Erocal)|| |
Line 15: | Line 13: |
||<|2> 16:00-17:00 ||'''Tutorial: Implementation of Polynomials and Python Tutorial---Part 2''' (lead by ?)|| || || || 17:00-18:00 || Coding sprint organization || |
||<style="text-align: center;"> 16:00-17:00 ||'''Tutorial: Implementation of Polynomials and Python Tutorial---Part 2''' (Burcin Erocal)|| ||<style="text-align: center;"> 17:00-18:00 || Coding sprint organization || |||| |
Line 20: | Line 18: |
||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Alban Quadrat: ? '''|| ||<style="background-color: #EEFFEE;"> || || 11.30-12.00 || '''Georg Regensburger & Anja Korporal: ?''' || |
||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||'''Alban Quadrat: [[days24/abstracts#Quadrat|A Short Introduction to Constructive Algebraic Analysis]]'''|| ||<style="background-color: #EEFFEE;"> [[attachment:Quadrat-SD24-Linz.pdf|slides]]|| ||<style="text-align: center;"> 11.30-12.00 || '''Anja Korporal & Georg Regensburger: [[days24/abstracts#Korporal|Implementing Integro-differential Operators via Normal Forms]]''' || |
Line 24: | Line 22: |
||<|2> 13:30-14:30 || '''Tutorial: Cython ''' (lead by ?)|| || || ||<|2> 14:30-15:30 || '''Tutorial: Contribute to Sage''' (lead by ?)|| || || |
||<|2> 13:30-14:30 || '''Tutorial: Cython ''' (William Stein) || || [[attachment:stein-cython.pdf]] [[attachment:stein-worksheet.sws]] or http://sagenb.org/home/pub/2256/ || ||<|2> 14:30-15:30 || '''Tutorial: Contribute to Sage''' (Robert Miller)|| || [[http://www.sagemath.org/doc/developer/|README]] || |
Line 30: | Line 28: |
|| || | || [[attachment:Symbolics_Pynac.sws|worksheet with talk outline]]|| |||| |
Line 33: | Line 32: |
||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Nico Temme: Special Functions and Computer Algebra '''|| ||<style="background-color: #EEFFEE;"> || || 11.30-12.00 || '''Flavia Stan : ?''' || |
||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Nico Temme: [[days24/abstracts#Temme|Special Functions and Computer Algebra]]'''|| ||<style="background-color: #EEFFEE;"> [[attachment:Temme-SD24.pdf|slides]]|| ||<style="text-align: center;"> 11.30-12.00 || '''Flavia Stan: ?''' || |
Line 37: | Line 36: |
|| 14.00-14.30 || '''Frédéric Chyzak : DDMF (Dynamic Dictionary of Mathematical Functions) and its DynaMoW''' || || 14.30-15.00 || '''Fredrik Johansson : ?''' || |
||<style="text-align: center;"> 14.00-14.30 || '''Frédéric Chyzak: [[days24/abstracts#Chyzak|DDMF (Dynamic Dictionary of Mathematical Functions) and its DynaMoW]]''' || ||<style="text-align: center;"> 14.30-15.00 || '''Fredrik Johansson: [[days24/abstracts#Johansson|Arbitrary-precision special functions in mpmath]]''' || |
Line 40: | Line 39: |
|| 15.30-16.00 || '''Richard Kreckel : ?''' || || 16.00-16.30 || '''? : ?''' || |
||<style="text-align: center;"> 15.30-17.00 || '''Parallel Integration Meetup: in the seminar room''' || |||| |
Line 44: | Line 43: |
||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Felix Ulmer: ? '''|| | ||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Felix Ulmer: [[days24/abstracts#Ulmer|Liouvillian Solutions of Second and Third Order Linear Differential Equations]] '''|| |
Line 46: | Line 45: |
|| 11.30-12.00 || '''Clemens Raab : ?''' || | ||<style="text-align: center;"> 11.30-12.00 || '''Clemens Raab: [[days24/abstracts#Raab|Symbolic computations for parameter integrals]]''' || |
Line 48: | Line 47: |
|| 14.00-14.30 || '''Stefan Böttner : Mixed Transcendental and Algebraic Extensions for the Risch-Norman Algorithm''' || || 14.30-15.00 || '''Mohamed Boudellioua : ?''' || |
||<|2> 14.00-14.30 || '''Stefan Böttner: [[days24/abstracts#Boettner|Mixed Transcendental and Algebraic Extensions for the Risch-Norman Algorithm]]''' || || [[attachment:Boettner-SD24.pdf| slides (pdf)]] || ||<style="text-align: center;"> 14.30-15.00 || '''Mohamed Boudellioua: [[days24/abstracts#Boudellioua|On the simplification of systems of linear multidimensional equations]]''' || |
Line 51: | Line 51: |
|| 15.30-16.00 || '''? : ?''' || || 16.00-16.30 || '''? : ?''' || |
||<|2 rowstyle="background-color: #EEFFEE;"> 15:30-16:30 ||'''Tutorial: Coercion II - Construction Functors''' (Simon King)|| ||<style="background-color: #EEFFEE;"> [[https://gonzales.risc.jku.at:8000/home/pub/10|Worksheet]] || |||| |
Line 55: | Line 56: |
||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Peter Paule : ? '''|| | ||<|2 rowstyle="background-color: #EEFFEE;"> 10:30-11:30 ||''' Peter Paule: [[days24/abstracts#Paule|Symbolic Computation in Special Functions: Recent Applications in Physics and Other Selected Topics]] '''|| |
Line 57: | Line 58: |
|| 11.30-12.00 || '''Burcin Erocal : ?''' || | ||<style="text-align: center;"> 11.30-12.00 || '''Burcin Erocal: [[days24/abstracts#Erocal|Difference fields & summation in Sage]]''' || |
Line 59: | Line 60: |
|| 14.00-14.30 || '''Manuel Kauers : ?''' || || 14.30-15.00 || '''Veronika Pillwein : CAD and Special Functions Inequalities''' || |
||<|2> 14.00-14.30 || '''Manuel Kauers: [[days24/abstracts#Kauers|Is it really a power series?]]''' || || [[attachment:Kauers-SD24.pdf|slides]] || ||<|2> 14.30-15.00 || '''Veronika Pillwein: [[days24/abstracts#Pillwein|CAD and Special Functions Inequalities]]''' || || [[attachment:Pillwein-SD24.pdf|slides]] [[attachment:Pillwein-experimentalCAD.sws|worksheet]] || |
Line 62: | Line 65: |
|| 15.30-16.00 || '''? : ?''' || || 16.00-16.30 || '''? : ?''' || |
||<style="text-align: center;"> 15.30-16.30 || Sage Patch Reviewing Session || |||| |
Line 66: | Line 69: |
||<|2> 10:30-11:00 ||''' Simon King : Completeness criteria for modular group cohomology '''|| || || || 11.00-11.30 || '''? : ?''' || || 11.30-12.00 || '''? : ?''' || ||<rowstyle="background-color: #FFFFEE; text-align: center;"> 12:00-14:00 ||'''Lunch'''|| || 14.00-14.30 || '''? : ?''' || || 14.30-15.00 || '''? : ?''' || ||<rowstyle="background-color: #FFFFDD; text-align: center;"> 15:00-15:30 ||'''Coffee'''|| || 15.30-16.00 || '''? : ?''' || || 16.00-16.30 || '''? : ?''' || |
||<|2> 10:30-11:00 ||''' Simon King: [[days24/abstracts#King|Completeness criteria for modular group cohomology]] '''|| ||[[attachment:GroupCohomology.pdf|Slides]] || ||<style="text-align: center;"> 11.00- || Coding Sprint || === Sponsors === * [[http://www.risc.jku.at/|Research Institute for Symbolic Computation (RISC)]] * [[http://www.jku.at|Johannes Kepler Universität Linz]] * [[http://www.risc.uni-linz.ac.at/projects/science/access/|SCIEnce Transnational Access Program]] * [[http://www.dk-compmath.jku.at/|Doctoral Program Computational Mathematics]] * [[http://www.bmwf.gv.at/|Bundesministerium für Wissenschaft und Forschung]] * [[http://www.land-oberoesterreich.gv.at/cps/rde/xchg/SID-7E548661-2E010566/ooe/hs.xsl/33112_DEU_HTML.htm|Linzer Hochschulfond]] * [[http://www.linzag.at/|Linz AG]] |
Sage Days 24 Schedule
The workshop takes place on Saturday and Sunday at the FH building (lecture hall 4) in Hagenberg and for the rest of the days in the Gemeindesaal Hagenberg.
Saturday, July 17, 2010 |
|
10:00-11:00 |
Registration & Coffee |
11:00-12:00 |
William Stein: Sage - Creating a viable free open source alternative to Magma, Maple, Mathematica, and Matlab stein-sd24.pdf |
Worksheet: Sage worksheet |
|
12:00-13:30 |
Lunch |
13:30-14:30 |
Extended Demo: How to use Sage/What areas are covered (Harald Schilly) |
14:30-15:30 |
Tutorial: Implementation of Polynomials and Python Tutorial---Part 1 (Burcin Erocal) |
15:30-16:00 |
Coffee |
16:00-17:00 |
Tutorial: Implementation of Polynomials and Python Tutorial---Part 2 (Burcin Erocal) |
17:00-18:00 |
Coding sprint organization |
Sunday, July 18, 2010 |
|
10:00-10:30 |
Status reports |
10:30-11:30 |
Alban Quadrat: A Short Introduction to Constructive Algebraic Analysis |
11.30-12.00 |
Anja Korporal & Georg Regensburger: Implementing Integro-differential Operators via Normal Forms |
12:00-13:30 |
Lunch |
13:30-14:30 |
Tutorial: Cython (William Stein) |
stein-cython.pdf stein-worksheet.sws or http://sagenb.org/home/pub/2256/ |
|
14:30-15:30 |
Tutorial: Contribute to Sage (Robert Miller) |
15:30-16:00 |
Coffee |
16:00-17:00 |
Burcin Erocal: Symbolics in Sage & Pynac |
Monday, July 19, 2010 |
|
10:00-10:30 |
Status reports |
10:30-11:30 |
Nico Temme: Special Functions and Computer Algebra |
11.30-12.00 |
Flavia Stan: ? |
12:00-14:00 |
Lunch |
14.00-14.30 |
Frédéric Chyzak: DDMF (Dynamic Dictionary of Mathematical Functions) and its DynaMoW |
14.30-15.00 |
Fredrik Johansson: Arbitrary-precision special functions in mpmath |
15:00-15:30 |
Coffee |
15.30-17.00 |
Parallel Integration Meetup: in the seminar room |
Tuesday, July 20, 2010 |
|
10:00-10:30 |
Status reports |
10:30-11:30 |
Felix Ulmer: Liouvillian Solutions of Second and Third Order Linear Differential Equations |
|
|
11.30-12.00 |
Clemens Raab: Symbolic computations for parameter integrals |
12:00-14:00 |
Lunch |
14.00-14.30 |
Stefan Böttner: Mixed Transcendental and Algebraic Extensions for the Risch-Norman Algorithm |
14.30-15.00 |
Mohamed Boudellioua: On the simplification of systems of linear multidimensional equations |
15:00-15:30 |
Coffee |
15:30-16:30 |
Tutorial: Coercion II - Construction Functors (Simon King) |
Wednesday, July 21, 2010 |
|
10:00-10:30 |
Status reports |
10:30-11:30 |
Peter Paule: Symbolic Computation in Special Functions: Recent Applications in Physics and Other Selected Topics |
|
|
11.30-12.00 |
Burcin Erocal: Difference fields & summation in Sage |
12:00-14:00 |
Lunch |
14.00-14.30 |
Manuel Kauers: Is it really a power series? |
14.30-15.00 |
Veronika Pillwein: CAD and Special Functions Inequalities |
15:00-15:30 |
Coffee |
15.30-16.30 |
Sage Patch Reviewing Session |
Thursday, July 22, 2010 |
|
10:00-10:30 |
Status reports |
10:30-11:00 |
Simon King: Completeness criteria for modular group cohomology |
11.00- |
Coding Sprint |