Differences

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

--- workshops:workshop0223 [2023/02/02 09:26] – lkastner
+++ workshops:workshop0223 [2023/02/03 15:04] (current) – lkastner
@@ Line 30: / Line 30: @@
 | :::          | // Claudia Yun //                                                           | // Antony Della Vecchia //                   |
 | 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: ** ||
+| :::          | ** 1. Phylogenetics in polymake ** (MA 313)                                                           ||
 | :::          | // Andrei Comăneci //                                                                                              ||
-| 16:30-18:00  | **Helpdesk** (MA 621)                                                                                             ||
+| :::          | ** 2. Regular subdivisions and tropical hypersurfaces ** (MA 313)                                                           ||
-| ~19:00       | **Dinner** (self paid, at [[http://cafe-hardenberg.com/|Café Hardenberg]])                                        ||
+| :::          | // 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><div style="clear: both;"></div></HTML>
@@ Line 47: / Line 50: @@
 == polymake Basics ==
 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 ==
-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 ==
 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:=====
@@ Line 63: / 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://page.math.tu-berlin.de/~kastner/|Lars Kastner]]
   - [[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''.