Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach von Dehaye, Paul-Olivier, Iancu, Mihnea, Kohlhase, Michael, Konovalov, Alexander, Lelièvre, Samuel, Müller, Dennis, Pfeiffer, Markus, Rabe, Florian, Thiéry, Nicolas M., Wiesing, Tom

Volltext

More restrictive Gray codes for necklaces and Lyndon words von Vajnovszki, Vincent

Volltext

Category Theory for Artificial General Intelligence von Abbott, Vincent, Xu, Tom, Maruyama, Yoshihiro

Volltext

Pattern Matching for Separable Permutations von Neou, Both Emerite, Rizzi, Romeo, Vialette, Stéphane

Volltext

A new method for the approximation of certain non-linear systems von Molnár, Sándor, Molnár, Márk

Volltext

Results on E-quasiconvex Functions for a linear map E von Benhadid, Ayache, Brahimi, Mahmoud

Volltext

Comparison of disposal strategies in linear reverse logistics models von Dobos, Imre

Volltext

Closed trail decompositions on grid graphs von Dombi, Erzsébet

Volltext

Finiteness of the criss-cross algorithm for the linear programming problem with s-monotone index selection rules von Csizmadia, Adrienn

Volltext

Foreword von Ferrari, Luca, Massazza, Paolo

Volltext

The expected number of distinct consecutive patterns in a random permutation von Allen, Austin, Fonseca, Dylan Cruz, Dobbs, Veronica, Downs, Egypt, Fokuoh, Evelyn, Godbole, Anant, Costa, Sebastián Papanikolaou, Soto, Christopher, Yoshikawa, Lino

Volltext

The longest increasing subsequence in involutions avoiding 3412 and another pattern von Mansour, Toufik, Rastegar, Reza, Roitershtein, Alexander, Yıldırım, Gökhan

Volltext

The subminimal polynomial and the Cayley-Hamilton theorem von Magyarkuti, Gyula

Volltext

The Limit of the Non-dictatorship Index von Bednay, Dezső, Fleiner, Balázs, Tasnádi, Attila

Volltext

Solution of the real and complex eigenvalue problems in the ABS class von Abaffy, József

Volltext

On the construction of the elementary trigonometric functions von Medvegyev, Péter

Volltext

Foreword on the special issue dedicated to the 70th anniversary of prof. Peter Tallos von Medvegyev, Péter

Volltext

Viability and equilibrium in Banach spaces von Kánnai, Zoltán

Volltext

Production-inventory strategies for a linear reverse logistics system von Dobos, Imre

Volltext

The Logical Sustainability Theory for pension systems: the discrete-time model in a stochastic framework under variable mortality von Angrisani, Massimo, di Palo, Cinzia

Volltext