|
Size: 2463
Comment:
|
← Revision 50 as of 2016-06-09 13:53:12 ⇥
Size: 5425
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 10: | Line 10: |
Venue: same as the conference ([[http://km.fjfi.cvut.cz/jn16/?loc=local]]) Room: 301 for the sessions, 214 for coffee breaks |
|
| Line 26: | Line 30: |
| == Tentative schedule == | == Schedule (and Downloads) == There will be time during most of the lectures (or just after) to try out SageMath by yourselves. |
| Line 32: | Line 38: |
| * there will be room to try SageMath | * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=Introduction_to_SageMath_2016.pdf|introduction (pdf)]] * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/introduction%20to%20SageMath/1.%20Introduction.sagews| Introduction (SageMath, Python, etc.) (cloud) worksheet]] |
| Line 34: | Line 42: |
| * 14:00: automata in SageMath [Clemens Heuberger or Daniel Krenn] | * 14:00: number theory in SageMath [Štěpán Starosta or Tomáš Vávra] * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/number%20theory/2.%20Number%20theory.sagews|Number theory (cloud) worksheet]] * few other tutorials [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/other%20tutorials/4.%20Graph%20theory.sagews|Graph theory (cloud) worksheet]], [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/other%20tutorials/3.%20Linear%20algebra.sagews|Linear algebra (cloud) worksheet]] |
| Line 36: | Line 46: |
| * 15:30: number theory in SageMath [Štěpán Starosta or Tomáš Vávra] | * 15:30--16:30: automata in SageMath [Clemens Heuberger] * [[http://wwwu.aau.at/cheuberg/presentations/2016-05-21_Praha_SageDays72_Automata.ipynb|Jupyter Notebook]] and [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/automata/2016-05-21_Praha_SageDays72_Automata.html|copy of the (ipython) notebook in SageMathCloud]] * a paper on Automata package exists "Automata in SageMath---Combinatorics meet Theoretical Computer Science": [[https://dmtcs.episciences.org/1475|DMTCS link]], [[http://arxiv.org/abs/1404.7458| arxiv link]] * [[http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/finite_state_machine.html|SageMath documentation of the package]] * 16:30--17:00: Multiplying apples and oranges by SageMath's coercion framework [Daniel Krenn] * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/coercion%20model%20(multiplying%20apples%20with%20oranges)/The%20Coercion%20Framework%20of%20SageMath.ipynb|coercion framework (ipython) worksheet in SageMathCloud]] |
| Line 41: | Line 56: |
| * 10:00 - 10:30: development for SageMath [Daniel Krenn] * 11:00: Julia vs. SageMath [Tomáš Kalvoda] |
* 10:00--10:30: development for SageMath [Daniel Krenn] * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/contributing%20to%20SageMath/Contributing%20to%20SageMath.html|(ipython) worksheet in SageMathCloud]] * 10.30 experiencing SageMath, coding, discussions, etc. * 11:00: [[https://julialang.org|Julia]] vs. SageMath [Tomáš Kalvoda] * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/CythonJulia/|notebooks]] |
| Line 44: | Line 62: |
| * 14:00: Using Sage in number system research (part 1) [Attila Kovács] | * 14:00--15:00: Using Sage in number system research (part 1) [Attila Kovács] * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=NumerationSystems.pdf|presentaion (pdf)]] * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=NumerationSystems.sagews|notebook (.sagews)]] * [[https://wiki.sagemath.org/days72?action=AttachFile&do=get&target=NumerationClass.sage|SageMath class (.sage)]] |
| Line 46: | Line 67: |
| * 15:30: Using Sage in number system research (part 2) [Attila Kovács] | * 15:30--16:30: Using Sage in number system research (part 2) [Attila Kovács] |
| Line 55: | Line 76: |
| * Karam Aloui * Petr Ambrož * Hamdi Ammar * Myriam Amri * hamdi aouinti * Horst Brunotte * Amara Chandoul * Jonas Jankauskas * Kamil Keprt * Karel Klouda * Ondřej Kolouch * Attila Kovács * Daniel Krenn * DoYong Kwon * Faiza Mahjoub * Merkhi Malika * Mohamed Mkaouar * Hbaib Mohamed * Lukáš Novotný * Marco Pedicini * Driss Sana * Zhang Shuqin * Bernd Sing * Lukas Spiegelhofer * Štěpán Starosta * Milena Svobodová * Jan Šustek * Tomas Vavra * Walid Wannes * Mario Weitzer |
* Karam Aloui * Petr Ambrož * Hamdi Ammar * Myriam Amri * Hamdi Aouinti * Horst Brunotte * Amara Chandoul * Clemens Heuberger * Jonas Jankauskas * Tomáš Kalvoda * Kamil Keprt * Karel Klouda * Ondřej Kolouch * Attila Kovács * Daniel Krenn * DoYong Kwon * Vladimir Lotoreichik * Faiza Mahjoub * Merkhi Malika * Mohamed Mkaouar * Hbaib Mohamed * Lukáš Novotný * Marco Pedicini |
| Line 86: | Line 100: |
Locals who will likely attend: * Tomáš Kalvoda * ... |
* Driss Sana * Zhang Shuqin * Bernd Sing * Lukas Spiegelhofer * Štěpán Starosta * Milena Svobodová * Jan Šustek * Tomas Vavra * Walid Wannes * Mario Weitzer * Zdeněk Čulík |
Sage Days 72 (May 21-22): satellite event of Numeration 2016 (May 23-27)
Contents
Organizers: Daniel Krenn, Štěpán Starosta
Location: Prague, Czech Republic
Venue: same as the conference (http://km.fjfi.cvut.cz/jn16/?loc=local)
Room: 301 for the sessions, 214 for coffee breaks
Focus & Topics
Introduction and Tutorial for Beginners
Automata and Digit Expansions
Automata and transducers are available in SageMath via its finite state machines module. The introduction of this package will focus on examples related to digit expansions.
Using SageMath in number system research
Experimenting with SageMath
The presentation will cover some experience collected while using SageMath as a tool to help in research and teaching. We will also shortly present the Julia language and compare it with SageMath.
Schedule (and Downloads)
There will be time during most of the lectures (or just after) to try out SageMath by yourselves.
Saturday:
- 9:30: * coffee break *
- 10:00: welcoming session and introductions (+ installation)
11:00: Introduction to SageMath (and Python) [Štěpán Starosta]
- 12:00: lunch
14:00: number theory in SageMath [Štěpán Starosta or Tomáš Vávra]
- 15:00: * coffee break *
15:30--16:30: automata in SageMath [Clemens Heuberger]
Jupyter Notebook and copy of the (ipython) notebook in SageMathCloud
a paper on Automata package exists "Automata in SageMath---Combinatorics meet Theoretical Computer Science": DMTCS link, arxiv link
16:30--17:00: Multiplying apples and oranges by SageMath's coercion framework [Daniel Krenn]
- discussion, coding, etc.
Sunday:
- 9:30: * coffee break *
10:00--10:30: development for SageMath [Daniel Krenn]
10.30 experiencing SageMath, coding, discussions, etc.
- 12:00: lunch
- 14:00--15:00: Using Sage in number system research (part 1) [Attila Kovács]
- 15:00: * coffee break *
- 15:30--16:30: Using Sage in number system research (part 2) [Attila Kovács]
- discussion, coding, etc.
Participants
The following people will most likely be able to attend.
- Karam Aloui
- Petr Ambrož
- Hamdi Ammar
- Myriam Amri
- Hamdi Aouinti
- Horst Brunotte
- Amara Chandoul
- Clemens Heuberger
- Jonas Jankauskas
- Tomáš Kalvoda
- Kamil Keprt
- Karel Klouda
- Ondřej Kolouch
- Attila Kovács
- Daniel Krenn
DoYong Kwon
- Vladimir Lotoreichik
- Faiza Mahjoub
- Merkhi Malika
- Mohamed Mkaouar
- Hbaib Mohamed
- Lukáš Novotný
- Marco Pedicini
- Rob Rubalcaba (subject to funding)
- Driss Sana
- Zhang Shuqin
- Bernd Sing
- Lukas Spiegelhofer
- Štěpán Starosta
- Milena Svobodová
- Jan Šustek
- Tomas Vavra
- Walid Wannes
- Mario Weitzer
- Zdeněk Čulík