Campus-System

  • Research Information System
  • Staff Search
  • Courses
  • Exams

Employees-Portal

  • Organization handbook
  • Operational messages
  • Internal messages
  • Personal messages

Information for

  • Pupils
  • Alumni & Career
  • Prospective Students
  • Continuing Education
  • Researchers
  • Students
  • Staff
  • Partners & Sponsors
  • International

Links

  • Webmail
  • Library
  • Vacancies
  • University bulletin
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services (ZID)
  • eLearning Service
  • USI
  • OEH Klagenfurt
Gütesiegel evalagGütesiegel Betriebliche GesundheitsförderungSatisfaction Award 2021EMAS SiegelGütezeichen hochschuleundfamilieGütezeichen Equalita
Deutsch
search
Quicklinks +
  • English English English en
  • Deutsch Deutsch German de
  • Twitter
  • Facebook
  • Youtube
  • Instagram
  • LinkedIn
University of Klagenfurt
  • Home
  • University
        • Organisation
          • Management
          • Academic affairs and organisation
          • Faculties, departments and faculty centres
          • University centres
          • University Executive support offices
          • Administration and management
          • Representations and commissioners
          • Organisational plan
          • Statute
        • Profile
          • Mission statement
          • Quality strategy
          • Rankings
          • University history
          • Roll of honour
          • Health Management
          • Gender and equality
          • The Carinthian University Conference
          • Alps-Adriatic Rectors‘ Conference
          • The university and the region
        • Campus
          • On Campus
          • Art and Culture
          • Accommodation
          • Catering
          • Sports and leisure
          • Green campus
          • Car parks and parking regulations
          • More light, air, and openness
        • Contact
          • Vacancies
          • University bulletin
          • Partners & Sponsors
          • Media services
          • Family services
          • Services for disabled students
          • University library
          • Covid19 Information
  • Study
        • Courses offered
          • List of degree programmes
          • Extension programmes
          • Specialist courses & optional subjects
          • Continuing education programmes
          • Doctoral Degree Programme
          • Degree Programmes in English
        • Studying at AAU
          • New starter checklist
          • Applying to study
          • Starting your programme
          • During your programme
          • Completing your programme
          • Search for courses
        • Student Life
          • Scholarships & grants
          • Offices and services
          • Campus
          • Accommodation
          • Catering
          • Accessibility
          • Sport & leisure
          • Work & study
          • Family & study
        • Study abroad
          • Study in Klagenfurt
          • Study abroad
          • Summer schools
          • Support & advice
        • Support & Information
          • Term dates and deadlines
          • FAQs
          • Admissions and Examinations Office
          • Office of Academic Affairs
          • Student Guidance Service
          • Union of Students (ÖH)
          • International Office
          • Doc.Service
          • Student Ombudsman
          • Alumni & careers
          • University library
  • Research
        • Research profile
          • Grants & Winners
          • Main research areas
          • Institutional partnerships
          • Good academic practice
          • Institutional Review Board for Research Ethics
          • Open Access
          • Knowledge transfer
          • Kollegs
        • Research funding
          • Internal funding
          • External funding
        • Career progression for young researchers
          • Thematic Doctoral Programmes
          • Young scientists mentoring
          • Career paths
          • Continuing education programme for young researchers
          • Think Tank
        • Support & communications
          • The Research Support Service
          • Science communications
          • Research Information System (FoDok)
  • International
        • International Profile
          • Courses offered in English
          • Partner universities
        • Study abroad
          • Joint-Study
          • Joint and double degrees
          • Short-term research placements abroad
          • Summer schools
          • Further outgoing grants
          • FAQ for outgoing students
          • Erasmus+ student mobility
        • Work and research abroad
          • Lecturers
          • Young researchers
          • General staff
          • Subject-specific international placements
          • Teaching German abroad
          • Erasmus+ student internships
        • Study in Klagenfurt
          • Students in mobility programmes
          • Entry & Residence (VISA)
          • Accommodation
          • MORE programme for refugees
        • Information & advice
          • International Office
          • Admissions and Examinations Office
          • Language Centre German in Austria
          • ESN Klagenfurt
          • Student Union Section for International Students
          • Language certificates

DEPARTMENT OF MATHEMATICS

AAU1/...Department of Mathematics2/Publications3/Software

Software

Our research activities often lead to the development of software, which we set out here for reasons of transparency and reproducability.

Discrete Mathematics

SageMath

SageMath is free open-source mathematics software. This software is used and developed in the Department during research. As is standard procedure in mathematics, SageMaths  source code is peer-reviewed. Students of mathematics also learn to use the Python programming language that forms the basis for SageMath as part of a range of courses and in doing so, how to solve tasks from varied fields of mathematics.

The following introduces the contributions and software modules of the members of the department, contributing to further development of SageMath and which are integrated into the mathematics software.

Finite state machines, Automata, Transducers

This package, integrated into SageMath since version 5.13 was developed by Clemens Heuberger, Daniel Krenn and Sara Kropf.

For further details, please see SageMath Ticket #15078.

Asymptotic Expansions

This package, integrated into  SageMath since version 6.9, was developed by Benjamin Hackl, Clemens Heuberger and Daniel Krenn.

For further details, please see SageMath Ticket #17601.

All Contributions

All contributions by SageMath developers at the department can be found on SageMath’s trac-Server.

Optimisation

BiqMac Solver

The BiqMac Solver is the result of a joint project involving Giovanni Rinaldi (IASI-CNR, Rome) and Franz Rendl along with Angelika Wiegele (both Department of Mathematics, AAU). It can be used to solve the Max-Cut problem on graphs exactly or approximately. In addition, unrestricted binary quadratic optimisation problems can be solved or approximated using BiqMac.

The actual Solver can be found at biqmac.aau.at/ and several test cases are at biqmac.aau.at/biqmaclib.html. In addition, BiqMac is available via NEOS Server neos-server.org/neos/.

Vizing’s Conjecture

Matlab as well as SageMath codes from the project on Vizing’s Conjecture via Semidefinite Programming and Sums-of-Squares can be found at gitlab.com/dakrenn/vizing-sdp-sos.

Bin Packing 3D

Repository containing the codes for solving the orthogonal 3D Bin Packing Problem, programmed by Muamer Hrncic.
https://github.com/MuamerHr/BPP3D-Bin-Packing-Problem

Diverse Matlab-Files

Description Authors Year Data
Random instances used in Expedis N. Gusmeroli 2019 RandomInstances.tar.gz
DADAL — Using a Factored Dual in Augmented Lagrangian Methods for Semidefinite Programming M. De Santis, F. Rendl, A. Wiegele 2017 DADAL
Version of mprw with initial scaling of entries J. Malick, J. Povh, F. Rendl, A. Wiegele 2011 mprw2.m
Boundary Point Method for solving SDPs J. Malick, J. Povh, F. Rendl, A. Wiegele 2007 mprw.m
A Boundary Point Method for computing the Theta number J. Povh, F. Rendl, A. Wiegele 2005 theta_bp.m
Matlab files for a variant of Karger-Motwani-Sudan’s graph coloring heuristic I. Dukanovic and F. Rendl 2005 colorKMS.tgz
Matlab files to compute strengthenings of theta function I. Dukanovic and F. Rendl 2005 Linux version / Windows version (without LAPACK)
Matlab m-file to compute basic SDP relaxation for Max-Cut F. Rendl 2003 mc_psd.m
Matlab files to compute the theta function G. Gruber and F. Rendl 2002 theta_ml.tar.gz
Convex Quadratic Programming over the Standard Simplex F. Rendl 2003 qp_prjct.m
An infeasible active set method for convex problems with simple bounds K. Kunisch and F. Rendl 2001 active-ml.tar
Random data sets for equipartition in MATLAB binary format A. Lisser and F.Rendl 2000 rand.zip
Matlab generators for sparse SDP F. Rendl 2000 rand_sdps.m, rand_sdpsqr.m
  • Department of Mathematics
    • News
      • Mathematics in Industry, Business & Economics
    • Study
      • Recommended route for the Bachelor’s degree programme
      • The FUNction Space
      • Course calendar
      • Bachelor’s and Master’s theses
      • Why study Mathematics?
    • Research groups
      • Discrete Mathematics
      • Dynamical Systems
        • Guests (Dyn. systems)
        • Research interests (Dyn. systems)
        • Theses (Dyn. systems)
      • Education and Philosophy
      • Inverse Problems
      • Optimisation
    • Publications
      • Software
    • Team
    • Options for schools
    • International Day of Mathematics
      • International day of Mathematics 2020
    • MSO doctoral program
      • People
        • Doctoral Students
        • Faculty Members
        • Karl Popper Fellows
      • Events
        • DK Retreat 2015
        • DK Retreat 2017
        • Kick-Off Day
      • DK Seminar
      • Contacts
    • Guests
    • Contact

Quicklinks

  • Webmail
  • University bulletin
  • Library
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services (ZID)
  • USI
  • OEH Klagenfurt
  • Index A-Z

Portals

  • Campus-­System
  • Employees-­Portal
  • Moodle
  • Facebook
  • Twitter
  • Youtube
  • Instagram
  • LinkedIn
Siegel der Alpen-Adria-Universität Klagenfurt

Information for

  • Pupils
  • Alumni & Career
  • Prospective Students
  • Continuing Education
  • Researchers
  • Students
  • Staff
  • Partners & Sponsors
  • International

Address

University of Klagenfurt
Universitätsstraße 65-67
9020 Klagenfurt am Wörthersee
Austria

+43 463 2700
uni [at] aau [dot] at
www.aau.at
Campus Plan
Gütesiegel evalag Gütesiegel Betriebliche Gesundheitsförderung EMAS Siegel Satisfaction Award 2021 Gütezeichen hochschuleundfamilie Logo KWF-Förderemblem Gütezeichen Equalita
© University of Klagenfurt
  • Legal notice
  • Privacy policy
  • Accessibility
  • Webredaktion

Your privacy is important to us!


This website uses cookies to ensure the basic functionality of our website. We also use Cookies cookies to optimally redesign our website and to improve it continuously for you. For this purpose, it is necessary to pass on information to the respective service providers. By clicking on the "Accept all cookies" button, you agree to the use of cookies.
You can subsequently modify your preferred settings at any time under "Manage settings".
For further information on the cookies used, please refer to our privacy policy.

Manage settingsAccept all cookies

Cookie and Privacy Settings



How we use cookies

We use cookies to optimally redesign our website and to improve it continuously for you.
Click on the different category headings to view further information and to change the default settings.
Please note that refusing some cookies may affect the way our website works. Web pages may not be displayed correctly and may not function properly.

Reference to processing of your data collected on this website in countries without an adequate level of data protection:

By clicking on "Accept all cookies", you also consent to your data being processed by Google, Facebook, LinkedIn, Twitter and YouTube, including the USA in accordance with Art. 49 (1) sentence 1 lit. a DSGVO.
The European Court of Justice considers the USA to be a country with an insufficient level of data protection according to EU standards.

Essential Cookies & Cookie Notice

Essential cookies

These cookies are strictly necessary for the functioning of the website. Essential cookies enable basic functions and are necessary for the proper functioning of the website. You can set your browser to block these cookies or to notify you about these cookies. However, some parts of the website may not work as expected.
These cookies do not store any personal data.


Hiding the cookie notice

Two cookies are required for this setting to be saved. Otherwise this hint will be displayed again every time the page is loaded.

Google Analytics Cookies

We use tracking and analysis tools to ensure continuous optimisation and needs-based design of our website. Tracking measures also enable us to record statistics regarding the use of our website by visitors and to develop our website further on the basis of these findings.
If you do not want Google Analytics to track your use of our website and transmit your visits, you can disable tracking in your browser here:

Different external services

We also use different external services including Google Webfonts, Google Maps, and external video providers.
Since these providers may collect personal data such as your IP address we allow you to block them here.
Please be aware that this might significantly limit the functionality and appearance of our site. Changes will take effect once you reload the page.
Google Webfont Settings:

Google Maps Settings:

Google reCaptcha Settings:

Vimeo and Youtube video embeds:

Privacy policy

For further information on the cookies used, please refer to our

Datenschutzerklärung der Universität Klagenfurt
Save and accept selectionCancel
Open Message Bar
Scroll to top