{"guid":"1182e6ba-3b0e-52c2-96b3-a3c05667c740","title":"Mathematische OSS in der Praxis: Logik, Optimierung, Graphentheorie und mehr mit SageMath","subtitle":null,"slug":"glt26-738-mathematische-oss-in-der-praxis-logik-optimierung-graphentheorie-und-mehr-mit-sagemath","link":"https://pretalx.linuxtage.at/glt26/talk/CXCG99/","description":"None\n\nSageMath (kurz Sage) vereint die Stärken vieler Open-Source-Libraries – von hochspezialisierten Computeralgebrasystemen über numerische Bibliotheken bis zu Graphentheorie-Paketen – alles unter einem einheitlichen Python-Interface. Aber wie wendet man sie auf reale Probleme an?\n\nIm Vortrag möchte ich meine Praxiserfahrung aus über 10 Jahren Forschung im Bereich Computermathematik teilen – von graphentheoretischen Fragestellungen bis zur Performance-Skalierung vom Laptop zu tausenden Cluster-Nodes.\n\nInsbesondere werden wir den Fokus auf sogenannte \"Mixed Integer Programs\" (MIP) legen, da viele praktische Fragestellungen wie Zuweisungs-, Packing- oder Routingprobleme sich als solche abbilden lassen. Standardmäßig nutzt Sage den OSS-Solver GLPK, kann jedoch auch kommerzielle Solver wie Gurobi verwenden (sobald eingerichtet, braucht es lediglich einen Parameter wie ```solver=\"gurobi\"```). Wichtig ist das Bewusstsein, dass viele Optimierungsprobleme NP-schwer sind – man braucht also oft einen anderen Zugang, eine alternative Formulierung, eine Relaxierung oder eine andere Methodik wie SAT- oder SMT-Solver, um weiterzukommen.\n\nLicensed to the public under https://creativecommons.org/licenses/by/4.0/","original_language":"deu","persons":["Manfred Scheucher"],"tags":["738","2026","glt26","Anwendung","HS i2","glt26-deu","Day 2"],"view_count":100,"promoted":false,"date":"2026-04-11T12:00:00.000+02:00","release_date":"2026-04-11T00:00:00.000+02:00","updated_at":"2026-04-13T23:00:07.623+02:00","length":2754,"duration":2754,"thumb_url":"https://static.media.ccc.de/media/events/glt/2026/738-1182e6ba-3b0e-52c2-96b3-a3c05667c740.jpg","poster_url":"https://static.media.ccc.de/media/events/glt/2026/738-1182e6ba-3b0e-52c2-96b3-a3c05667c740_preview.jpg","timeline_url":"https://static.media.ccc.de/media/events/glt/2026/738-1182e6ba-3b0e-52c2-96b3-a3c05667c740.timeline.jpg","thumbnails_url":"https://static.media.ccc.de/media/events/glt/2026/738-1182e6ba-3b0e-52c2-96b3-a3c05667c740.thumbnails.vtt","frontend_link":"https://media.ccc.de/v/glt26-738-mathematische-oss-in-der-praxis-logik-optimierung-graphentheorie-und-mehr-mit-sagemath","url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_title":"Grazer Linuxtage 2026","conference_url":"https://api.media.ccc.de/public/conferences/glt26","related":[],"recordings":[{"size":427,"length":2754,"mime_type":"video/webm;codecs=av01","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_av1-hd.webm","state":"new","folder":"av1-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-04-11T21:57:45.823+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/av1-hd/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_av1-hd.webm","url":"https://api.media.ccc.de/public/recordings/98763","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"},{"size":433,"length":2754,"mime_type":"video/webm","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_webm-hd.webm","state":"new","folder":"webm-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-04-11T15:28:04.377+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/webm-hd/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_webm-hd.webm","url":"https://api.media.ccc.de/public/recordings/98776","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"},{"size":109,"length":2754,"mime_type":"video/webm","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_webm-sd.webm","state":"new","folder":"webm-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-04-11T15:10:20.684+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/webm-sd/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_webm-sd.webm","url":"https://api.media.ccc.de/public/recordings/98761","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"},{"size":147,"length":2754,"mime_type":"video/mp4","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_sd.mp4","state":"new","folder":"h264-sd","high_quality":false,"width":720,"height":576,"updated_at":"2026-04-11T14:30:57.303+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/h264-sd/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_sd.mp4","url":"https://api.media.ccc.de/public/recordings/98731","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"},{"size":42,"length":2754,"mime_type":"audio/mpeg","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_mp3.mp3","state":"new","folder":"mp3","high_quality":false,"width":0,"height":0,"updated_at":"2026-04-11T14:30:51.538+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/mp3/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_mp3.mp3","url":"https://api.media.ccc.de/public/recordings/98730","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"},{"size":27,"length":2754,"mime_type":"audio/opus","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_opus.opus","state":"new","folder":"opus","high_quality":false,"width":0,"height":0,"updated_at":"2026-04-11T14:30:47.354+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/opus/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_opus.opus","url":"https://api.media.ccc.de/public/recordings/98729","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"},{"size":511,"length":2754,"mime_type":"video/mp4","language":"deu","filename":"glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_hd.mp4","state":"new","folder":"h264-hd","high_quality":true,"width":1920,"height":1080,"updated_at":"2026-04-11T14:30:22.237+02:00","recording_url":"https://cdn.media.ccc.de/events/glt26/h264-hd/glt26-738-deu-Mathematische_OSS_in_der_Praxis_Logik_Optimierung_Graphentheorie_und_mehr_mit_SageMath_hd.mp4","url":"https://api.media.ccc.de/public/recordings/98727","event_url":"https://api.media.ccc.de/public/events/1182e6ba-3b0e-52c2-96b3-a3c05667c740","conference_url":"https://api.media.ccc.de/public/conferences/glt26"}]}