Differences between revisions 31 and 47 (spanning 16 versions)

Sage Days 72 (May 21-22): satellite event of Numeration 2016 (May 23-27)

Contents

Sage Days 72 (May 21-22): satellite event of Numeration 2016 (May 23-27)

Numeration 2016 website

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.

Tentative schedule

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]
- introduction (pdf)
- Introduction (SageMath, Python, etc.) (cloud) worksheet
12:00: lunch
14:00: number theory in SageMath [Štěpán Starosta or Tomáš Vávra]
- Number theory (cloud) worksheet
- few other tutorials Graph theory (cloud) worksheet, Linear algebra (cloud) worksheet
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
- SageMath documentation of the package
16:30--17:00: Multiplying apples and oranges by SageMath's coercion framework [Daniel Krenn]
- coercion framework (ipython) worksheet in SageMathCloud
discussion, coding, etc.

Sunday:

9:30: * coffee break *
10:00--10:30: development for SageMath [Daniel Krenn]
- (ipython) worksheet in SageMathCloud
10.30 experiencing SageMath, coding, discussions, etc.
11:00: Julia vs. SageMath [Tomáš Kalvoda]
- notebooks
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

-  ⇤ ← Revision 31 as of 2016-05-21 09:00:39 → 
  Size: 3039
  Editor: sstarosta
  Comment:
+   ← Revision 47 as of 2016-05-22 11:07:08 → ⇥
  Size: 5066
  Editor: sstarosta
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 38:
- * there will be room to try SageMath
        * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/introduction%20to%20SageMath/1.%20Introduction.sagews]]
+ * [[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 43:
+    * [[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 45:
+Line 47:
+    * [[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]]
-Line 46:
+Line 51:
+    * [[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 51:
+Line 57:
+   * [[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.
-Line 52:
+Line 60:
+   * [[https://cloud.sagemath.com/projects/a2005f50-2b45-4bf9-9a55-ad4f7223f3f1/files/presentations/CythonJulia/|notebooks]]

Diff for "days72"