workshops:workshop0223

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
workshops:workshop0223 [2023/02/01 12:30] – Add correct room lkastnerworkshops:workshop0223 [2023/02/03 15:04] (current) lkastner
Line 3: Line 3:
  
 ===== Corona policy ===== ===== Corona policy =====
-We will update this section when we get closer to the workshop and have more reliable information on the covid situation. +Please adhere to the current German and [[https://www.berlin.de/corona/|Berlin Corona policies]].
- +
-Please wear a FFP2 mask whenever possible.+
  
  
Line 25: Line 23:
 | 09:30-10:30  | **Talk: Khovanskii bases and Toric degenerations of Cox rings ** (MA 313)                                                           || | 09:30-10:30  | **Talk: Khovanskii bases and Toric degenerations of Cox rings ** (MA 313)                                                           ||
 | :::          | // Marta Panizzut //                                                        |                                    || | :::          | // Marta Panizzut //                                                        |                                    ||
-| 10:30-11:00  | **Coffee and Helpdesk** (MA 313)                                                                                  ||+| 10:30-11:00  | **Break and Helpdesk** (MA 313)                                                                                  ||
 | 11:00-12:00  | **Tut: Polymake Basics ** (MA 313)                                          | **Tools** (MA 621)   | | 11:00-12:00  | **Tut: Polymake Basics ** (MA 313)                                          | **Tools** (MA 621)   |
 | :::          | // Mara Belotti //                                   | // Benjamin Lorenz, Lars Kastner //                   | | :::          | // Mara Belotti //                                   | // Benjamin Lorenz, Lars Kastner //                   |
-| 12:00-14:00  | **Lunch**                                                                                                         ||+| 12:00-14:00  | **Lunch and Coffee**                                                                                                         ||
 | 14:00-15:00  | **Tut: Oscar.jl** (MA 313)                                       | **Markov bases in polymake** (MA 621)  | | 14:00-15:00  | **Tut: Oscar.jl** (MA 313)                                       | **Markov bases in polymake** (MA 621)  |
 | :::          | // Claudia Yun //                                                           | // Antony Della Vecchia //                   | | :::          | // Claudia Yun //                                                           | // Antony Della Vecchia //                   |
-| 15:00-15:30  | **Coffee and Helpdesk** (MA 313)                                                                                  || +| 15:00-15:30  | **Break and Helpdesk** (MA 313)                                                                                  || 
-| 15:30-16:30  | ** Use cases: Phylogenetics in polymake ** (MA 313)                                                           || +| 15:30-16:30  | ** Use cases: ** || 
-| :::          | // Andrei Comaneci, TBA //                                                                                              || +| :::          | ** 1. Phylogenetics in polymake ** (MA 313)                                                           || 
-| 16:30-18:00  | **Helpdesk** (MA 621)                                                                                             || +| :::          | // Andrei Comăneci //                                                                                              || 
-| ~19:00       | **Dinner** (self paid, at [[http://cafe-hardenberg.com/|Café Hardenberg]])                                        ||+| :::          | ** 2. Regular subdivisions and tropical hypersurfaces ** (MA 313)                                                           || 
 +| :::          | // Sylvain Spitz //                                                                                              || 
 +| 16:30-18:15  | **Helpdesk** (MA 621)                                                                                             || 
 +| ~18:45       | **Dinner** (self paid, at [[http://cafe-hardenberg.com/|Café Hardenberg]])                                        ||
 <HTML></div><div style="width: auto; overflow: hidden; padding-top: 5px; padding-right: 20px;"></HTML> <HTML></div><div style="width: auto; overflow: hidden; padding-top: 5px; padding-right: 20px;"></HTML>
 <HTML></div></div><div style="clear: both;"></div></HTML> <HTML></div></div><div style="clear: both;"></div></HTML>
Line 49: Line 50:
 == polymake Basics == == polymake Basics ==
 General introduction to polymake, perl, and the datatypes. General introduction to polymake, perl, and the datatypes.
 +
 +== Tools ==
 +We will talk about development tools for polymake and Oscar.jl, that are also useful in general, like: gdb, git, Yggdrasil, BinaryBuilder, screen, tmux, etc.
  
 == Oscar.jl == == Oscar.jl ==
-Overview of OSCAR's polyhedral functionality together with an introduction to the development workflow.+We give an overview of performing linear programming using Oscar.jl and implement the Conti-Traverso method which uses Groebner bases to solve certain integer linear programs. {{ :workshops:oscar_demo_for_participants.ipynb |}} 
 + 
 +== Markov bases in polymake == 
 +We present some of the theory behind computing Markov basis, go over some of the implementations details and see some examples of how to compute Markov bases in polymake.
  
 == Phylogenetics in polymake == == Phylogenetics in polymake ==
 We present a new functionality in polymake which exploits tropical geometry to analyze phylogenetic data. We present a new functionality in polymake which exploits tropical geometry to analyze phylogenetic data.
 +
 +== Regular subdivisions and tropical hypersurfaces ==
 +We show how to handle secondary fans in POLYMAKE and how to compute regular subdivisions with MPTOPCOM.
  
 =====Hotel recommendations in proximity of the Institute of Mathematics:===== =====Hotel recommendations in proximity of the Institute of Mathematics:=====
Line 65: Line 75:
  
  
-===== developer meeting ===== +===== Developer meeting ===== 
-The developer meeting takes place on February 2nd and 4th. If you want to participate in the developer meeting as well, please let us know by email. Developers can find more information [[internal/developermeeting0223|here]]+The developer meeting takes place on February 2nd and 4th. If you want to participate in the developer meeting as well, please let us know by email. Developers can find more information [[internal/developermeeting0223|here]].
  
-===== local organizers =====+===== Local organizers =====
   - [[https://sites.google.com/site/dcorey2814/|Daniel Corey]]   - [[https://sites.google.com/site/dcorey2814/|Daniel Corey]]
   - [[https://page.math.tu-berlin.de/~kastner/|Lars Kastner]]   - [[https://page.math.tu-berlin.de/~kastner/|Lars Kastner]]
   - [[https://sites.google.com/view/dantelubermath/home|Dante Luber]]   - [[https://sites.google.com/view/dantelubermath/home|Dante Luber]]
 Please contact us with any questions about the workshop. To email us, please use ''LASTNAME@math.tu-berlin.de''. Please contact us with any questions about the workshop. To email us, please use ''LASTNAME@math.tu-berlin.de''.
  • workshops/workshop0223.1675254635.txt.gz
  • Last modified: 2023/02/01 12:30
  • by lkastner