ALCYON lab

ALgorithms for
Combinatorics,
geometrY,
Optimization and
Number theory
Home Members Projects Publications SCIM Theses topics

In ALCYON (Algorithms for Combinatorics, Geometry, Optimization and Number Theory) we work on Symbolic Computation. Both on the mathematics to improve algorithms and on the efficient (high performance) implementations of algorithms in order to push mathematics further. Symbolic Computation lies in the intersection of mathematics and computer science. This means that it is both 100% mathematics and 100% computer science.
If you want to join us, fill in this form.

News

16 April 2021

The first ALCYON hackathon is coming! Join here

13 September 2021

CASC 2021 - Computer Algebra in Scientific Computing
This year CASC will take place in Sochi, Russia. See you there!

Events

Computer Algebra in Scientific Computing 01 September 2022 Turkey
Machine Learning and Computer Algebra 27 July 2021 Online
Polytopes - Algebra - Computation 27 July 2021 Online

Members

Zafeirakis Zafeirakopoulos Faculty Gebze TU
Elias Tsigaridas Associate Faculty Inria/IMJ-PRG
Mohan Ravichandran Associate Faculty Bogazici University
Tulay Ayyildiz Akoglu Associate Faculty Karadeniz TU
Gizem Süngü PhD Student Gebze TU
Başak Karakaş MSc Student Gebze TU
Hüseyin Sabri Aliefendioğlu MSc Student Gebze TU
Ismet Abacı MSc Student Gebze TU
Yağmur Kaya Arıcan MSc Student Gebze TU

Seminar

All seminars
2021
2021-04-13 17:00:00 +0000 Ali Kemal Uncu
TBA
University of Bath, UK
2021-04-20 17:00:00 +0000 Hüseyin Sabri Aliefendioğlu
TBA
Gebze TU
2021-04-20 17:00:00 +0000 Başak Karakaş
TBA
Gebze TU
2021-04-27 17:00:00 +0000 Gizem Süngü
Symbolic Polyhedral Omega
Gebze TU
2021-05-04 17:00:00 +0000 Aybala Ağırman
TBA
Gebze TU
2021-05-04 17:00:00 +0000 Buket Gençaydın
TBA
Gebze TU
2021-05-04 17:00:00 +0000 Sena Erdoğan
TBA
Gebze TU
2021-05-11 17:00:00 +0000 Yağmur Kaya Arıcan
TBA
Gebze TU

Projects

Ongoing
2019 Jun-
2021 Jun
Gröbner Bases, Resultants and Polyhedral Geometry - GRAPE Bilateral Project with France - TUBITAK 2509 ~50k euro
2017 Oct-
2020 Oct
Heterogeneous Algorithms for Combinatorics, Geometry, Optimization and Number Theory - HALCYON TUBITAK 3501 ~80k euro
Concluded
2017 Mar-
2019 Jul
A system for efficient representation of mathematical data and benchmarking of mathematical software and algorithms TUBITAK 3001 ~17k euro
2018 Oct-
2020 Feb
Algebraic Motion Planning Reasearch Council of Gebze Technical University ~3k euro
2016 Aug-
2017 Feb
Parallel Computation of Discrete and Continuous Volume Reasearch Council of Gebze Technical University ~3k euro

Publications

Books
2020 Daniel Slamanig, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos - "Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019" - Springer LNCS.
Conference Papers
2009 Michael Hemmer, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos, Ioannis Z. Emiris, Menelaos I. Karavelas, Bernard Mourrain - "Experimental evaluation and cross-benchmarking of univariate real solvers" - Symbolic Numeric Computation - SNC 2009.
2019 Umutcan Önal and Zafeirakis Zafeirakopoulos - "A Machine Learning Framework for Volume Prediction" - Analysis of Experimental Algorithms - SEA 2019.
2017 Vissarion Fisikopoulos, Zafeirakis Zafeirakopoulos - "Experimental Study of the Ehrhart Interpolation Polytope" - Mathematical Aspects of Computer and Information Sciences - MACIS 2017.
2020 Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos - "On the geometry and the topology of parametric curves" - ISSAC 2020.
2020 Christina Katsamaki, Fabrice Rouillier, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos - "PTOPO - a maple package for the topology of parametric curves." - ISSAC 2020.
2015 Ioannis Z. Emiris, Christos Konaxis, Zafeirakis Zafeirakopoulos - "Minkowski Decomposition and Geometric Predicates in Sparse Implicitization" - 40th International Symposium on Symbolic and Algebraic Computation - ISSAC.
2017 Ioannis Z. Emiris, Anna Karasoulou, Eleni Tzanaki, Zafeirakis Zafeirakopoulos - "On the space of Minkowski summands of a convex polytope" - EuroCG '16.
2013 Christos Koukouvinos, Dimitris E. Simos, Zafeirakis Zafeirakopoulos - "A Gröbner Bases Method for Complementary Sequences" - Proceedings of Applications of Computer Algebra ACA 2013.
Journal Papers
2014 Matthias Beck, Benjamin Braun, Matthias Köppe, Carla D. Savage, Zafeirakis Zafeirakopoulos - "s-Lecture hall partitions, self-reciprocal polynomials, and Gorenstein cones" - The Ramanujan Journal.
2016 Matthias Beck, Benjamin Braun, Matthias Köppe, Carla D. Savage, Zafeirakis Zafeirakopoulos - "Generating Functions and Triangulations for Lecture Hall Cones" - SIAM Journal on Discrete Mathematics.
2017 Felix Breuer, Zafeirakis Zafeirakopoulos - "Polyhedral Omega: a New Algorithm for Solving Linear Diophantine Systems" - Annals of Combinatorics.
2014 Angelos Mantzaflaris, Hamid Rahkooy, Zafeirakis Zafeirakopoulos - "Efficient computation of dual space and directional multiplicity of an isolated point" - Computer Aided Geometric Design.
2014 Christos Koukouvinos, Veronika Pillwein, Dimitris E. Simos, Zafeirakis Zafeirakopoulos - "On the average complexity for the verification of compatible sequences" - Information Processing Letters.
Talks (Invited & Symposia w/o Proceedings)
Theses
2012 Zafeirakis Zafeirakopoulos - "Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry" - Research Institute for Symbolic Computation / DK-compmath.
2019 Nurdan Ünlü - "Toric h-numbers of dual hypersimplices and Chow-Betti numbers abd Ehrhart polynomials of Minkowski sums with segments" - MSGSU.
2008 Zafeirakis Zafeirakopoulos - "Study and Benchmarks for Real Root Isolation methods" - Departments of Informatics and Telecommunication.
2019 Büşra Sert - "A Study on the Chamber Complex" - MSGSU.

Alumni

Name Position Next position
Büşra Sert MSc Student TU Berlin (PhD)
Meryem Özkan MSc Student
Nurdan Ünlü MSc Student Gebze TU (PhD)
Nurgül Kangal Undergraduate Student Gebze TU (PhD)
Umutcan Önal MSc Student Industry