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.
ALCYON participates in the Symbolic Computation Istanbul Meetings
If you are interested to work on a project (graduation project, master thesis, PhD, research project), you can check possible thesis topics.

News

08 August 2022	SCALE 2021 - Symbolic Computation: Algorithms, Learning and Engineering In August 2022 we organize SCALE in Gebze/Istanbul. A three-week event celebrating Symbolic Computation. See you there!
15 August 2022	ACA 2021 - Applications of Computer Algebra In August 2022 we organize ACA in Gebze.

Events

Applications of Computer Algebra	15 August 2022	Turkey
Computer Algebra in Scientific Computing	26 August 2022	Turkey

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

Burak Kağak Korkmaz

MSc Student

Gebze TU

Gizem Bolayır

MSc Student

Gebze TU

Hüseyin Sabri Aliefendioğlu

MSc Student

Gebze TU

Şahin Mert Büyükkalkan

MSc Student

Gebze TU

Deniz Naz Demirel

Undergraduate Student

Middle East Technical University

Projects

Ongoing
Concluded
2019 Jun- 2022 Jun	Gröbner Bases, Resultants and Polyhedral Geometry - GRAPE	Bilateral Project with France - TUBITAK 2509	~50k euro
2017 Mar- 2019 Jul	A system for efficient representation of mathematical data and benchmarking of mathematical software and algorithms	TUBITAK 3001	~17k euro
2017 Oct- 2020 Oct	Heterogeneous Algorithms for Combinatorics, Geometry, Optimization and Number Theory - HALCYON	TUBITAK 3501	~80k 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.