bibliographer - Mathematics

Flag Algebras: A First Glance Marcel K. de Carli Silva Fernando Mário de Oliveira Filho Cristiane Maria Sato Fri 04 July 2025
A forest formula for pre-Lie exponentials, Magnus' operator and cumulant-cumulant relations Adrian Celestino Frédéric Patras Fri 30 May 2025
Random planar trees and the Jacobian conjecture Elia Bisi Piotr Dyszewski Nina Gantert Samuel G.~G. Johnston Joscha Prochno Dominik Schmid Fri 30 May 2025
An Algorithm for Finding Symmetric Grøbner Bases in Infinite Dimensional Rings Matthias Aschenbrenner Christopher J. Hillar Fri 11 April 2025
A Study of Weisfeiler-Leman Colorings on Planar Graphs Sandra Kiefer Daniel Neuen Thu 13 March 2025
On entropic and almost multilinear representability of matroids Lukas Kuhne Geva Yashfe Wed 12 March 2025
Merge-width and First-Order Model Checking Jan Dreier Szymon Toruńczyk Sun 09 March 2025
Vanishing of Schubert Coefficients Igor Pak Colleen Robichaux Tue 18 February 2025
An efficient uniqueness theorem for overcomplete tensor decomposition Pascal Koiran Fri 14 February 2025
Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO Nikolas Mahlmann Wed 29 January 2025
C2k+1-coloring of bounded-diameter graphs Marta Piecyk Sat 26 October 2024
Algebraically universal categories of relational structures Ioannis Eleftheriadis Wed 02 October 2024
First-Order Model Checking on Monadically Stable Graph Classes Jan Dreier Ioannis Eleftheriadis Nikolas Mahlmann Rose McCarty Michał Pilipczuk Szymon Toruńczyk Wed 02 October 2024
The Subspace Flatness Conjecture and Faster Integer Programming Victor Reis Thomas Rothvoss Thu 01 August 2024
Positivity of the symmetric group characters is as hard as the polynomial time hierarchy Christian Ikenmeyer Igor Pak Greta Panova Mon 15 July 2024
An algorithmic version of the Hajnal--Szemerédi theorem Luyining Gan Jie Han Jie Hu Thu 11 July 2024
Addition in Dumont-Thomas Numeration Systems in Theory and Practice Olivier Carton Jean-Michel Couvreur Martin Delacourt Nicolas Ollinger Sun 23 June 2024
Treewidth Inapproximability and Tight ETH Lower Bound Édouard Bonnet Sun 23 June 2024
On shortest products for nonnegative matrix mortality Andrew Ryzhikov Fri 31 May 2024
From the Lyndon factorization to the Canonical Inverse Lyndon factorization: back and forth Paola Bonizzoni Clelia De Felice Rocco Zaccagnino Rosalba Zizza Tue 07 May 2024
The Fine-Grained Complexity of Graph Homomorphism Problems: Towards the Okrasa and Rzążewski Conjecture Ambroise Baril Miguel Couceiro Victor Lagerkvist Thu 18 April 2024
Lifted Inference beyond First-Order Logic Sagar Malhotra Davide Bizzaro Luciano Serafini Tue 02 April 2024
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes Jan Dreier Nikolas Mahlmann Szymon Toruńczyk Tue 26 March 2024
Complexity problems in enumerative combinatorics Igor Pak Fri 22 March 2024
Introducing q-deformed binomial coefficients of words Antoine Renard Michel Rigo Markus A. Whiteland Thu 29 February 2024
Decidability and k-Regular Sequences Daniel Krenn Jeffrey Shallit Wed 21 February 2024
Extensions and Limits of the Specker-Blatter Theorem Eldar Fischer Johann A. Makowsky Sun 11 February 2024
Bounding the Weisfeiler-Leman Dimension via a Depth Analysis of I/R-Trees Sandra Kiefer Daniel Neuen Tue 06 February 2024
The probability that a random triple of dice is transitive D. H. J. Polymath Thu 01 February 2024
Elementary first-order model checking for sparse graphs Jakub Gajarský Michał Pilipczuk Marek Sokołowski Giannos Stamoulis Szymon Toruńczyk Thu 01 February 2024
Strongly k-recursive sequences Daniel Krenn Jeffrey Shallit Tue 30 January 2024
Combinatorics on words and generating Dirichlet series of automatic sequences Jean-Paul Allouche Jeffrey Shallit Manon Stipulanti Tue 30 January 2024
Automatic Theorem Proving in Walnut Hamoon Mousavi Sat 16 December 2023
Monadic stability and growth rates of ømega-categorical structures Samuel Braunfeld Wed 29 November 2023
Factoring Pattern-Free Permutations into Separable ones Édouard Bonnet Romain Bourneuf Colin Geniet Stéphan Thomassé Sat 25 November 2023
Revitalized automatic proofs: demonstrations Tewodros Amdeberhan David Callan Hideyuki Ohtsuka Roberto Tauraso Sat 25 November 2023
Combinatorics of nondeterministic walks Élie de Panafieu Michael Wallner Tue 07 November 2023
Proof of Irvine's Conjecture via Mechanized Guessing Jeffrey Shallit Thu 26 October 2023
Profile and hereditary classes of ordered relational structures Djamila Oudrar Maurice Pouzet Fri 20 October 2023
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem Zhengyu Li Curtis Bright Vijay Ganesh Thu 21 September 2023
Overview of some general results in combinatorial enumeration Martin Klazar Sat 26 August 2023
Proving properties of some greedily-defined integer recurrences via automata theory Jeffrey Shallit Sat 26 August 2023
Counting Walks in the Quarter Plane Mireille Bousquet-Melou Sat 26 August 2023
The Goulden-Jackson Cluster Method: Extensions, Applications and Implementations John Noonan Doron Zeilberger Sat 26 August 2023
The random graph Peter J. Cameron Fri 18 August 2023
Coordination Sequences of Periodic Structures are Rational via Automata Theory Eryk Kopczynski Thu 03 August 2023
The Newton-Puiseux algorithm and effective algebraic series Manfred Buchacher Wed 19 July 2023
Logarithmic Weisfeiler--Leman Identifies All Graphs of Bounded Rank Width Michael Levet Nicholas Sieger Tue 11 July 2023
Computational Complexity in Algebraic Combinatorics Greta Panova Tue 11 July 2023
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini Thu 06 July 2023
On Discovering Interesting Combinatorial Integer Sequences Martin Svatoš Peter Jung Jan Tóth Yuyi Wang Ondřej Kużelka Wed 28 June 2023
On asymptotically automatic sequences Jakub Konieczny Thu 22 June 2023
Counting planar maps, coloured or uncoloured Mireille Bousquet-Mélou Thu 08 June 2023
The generating function of planar Eulerian orientations Mireille Bousquet-Mélou Andrew Elvey Price Thu 08 June 2023
Fast Algorithms for Discrete Differential Equations Alin Bostan Hadrien Notarantonio Mohab Safey El Din Fri 26 May 2023
Testing Isomorphism of Graphs in Polynomial Time Rui Xue Wed 24 May 2023
Simulating Logspace-Recursion with Logarithmic Quantifier Depth Steffen van Bergerem Martin Grohe Sandra Kiefer Luca Oeljeklaus Fri 28 April 2023
Computing the linear hull: Deciding Sequential and Unambiguous for weighted automata over fields Jason P. Bell Daniel Smertnig Fri 28 April 2023
Transduction of Automatic Sequences and Applications Jeffrey Shallit Anatoly Zavyalov Mon 17 April 2023
Undecidable translational tilings with only two tiles, or one nonabelian tile Rachel Greenfeld Terence Tao Sun 26 March 2023
A counterexample to the periodic tiling conjecture Rachel Greenfeld Terence Tao Sun 26 March 2023
An aperiodic monotile David Smith Joseph Samuel Myers Craig S. Kaplan Chaim Goodman-Strauss Sun 26 March 2023
Automatic enumeration of regular objects Marni Mishna Sun 12 March 2023
The Mathematics of Ltextbackslash'aszltextbackslash'o Lovtextbackslash'asz Martin Grøtschel Jaroslav Nešetřil Wed 08 March 2023
Combinatorial species and graph enumeration Andy Hardt Pete McNeely Tung Phan Justin M. Troyka Mon 20 February 2023
A species approach to Rota's twelvefold way Anders Claesson Mon 20 February 2023
First-Order Model Checking on Structurally Sparse Graph Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Mon 20 February 2023
Rudin-Shapiro Sums Via Automata Theory and Logic Narad Rampersad Jeffrey Shallit Tue 07 February 2023
Flip-width: Cops and Robber on dense graphs Szymon Toruńczyk Tue 07 February 2023
Flipper games for monadically stable graph classes Jakub Gajarský Nikolas Mahlmann Rose McCarty Pierre Ohlmann Michał Pilipczuk Wojciech Przybyszewski Sebastian Siebertz Marek Sokołowski Szymon Toruńczyk Tue 07 February 2023
The Hypercube of Resistors, Asymptotic Expansions, and Preferential Arrangements Nicholas Pippenger Tue 17 January 2023
Counterexamples to a Conjecture of Dombi in Additive Number Theory Jason P. Bell Jeffrey Shallit Sat 07 January 2023
Infinite Hex is a draw Joel David Hamkins Davide Leonessi Sat 24 December 2022
D-finite multivariate series with arithmetic restrictions on their coefficients Jason Bell Daniel Smertnig Wed 07 December 2022
Energy Games over Totally Ordered Groups Alexander Kozachinskiy Tue 29 November 2022
Theorems of Carathéodory, Minkowski-Weyl, and Gordan up to symmetry Dinh Van Le Tim Rømer Thu 17 November 2022
Descriptive complexity of the generalized spectra of graphs Aida Abiad Anuj Dawar Octavio Zapata Mon 17 October 2022
Some Tribonacci Conjectures Jeffrey Shallit Mon 17 October 2022
Twin-width V: linear minors, modular counting, and matrix multiplication Édouard Bonnet Ugo Giocanti Patrice Ossona de Mendez Stéphan Thomassé Mon 03 October 2022
What is a combinatorial interpretation Igor Pak Fri 16 September 2022
Sequences: Polynomial, C-finite, Holonomic, ... Thotsaporn Aek Thanatipanonda Yi Zhang Mon 29 August 2022
From Kruskal's theorem to Friedman's gap condition Anton Freund Fri 22 July 2022
First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs Colin Geniet Stéphan Thomassé Thu 21 July 2022
Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes Jan Dreier Nikolas Mahlmann Sebastian Siebertz Szymon Toruńczyk Fri 01 July 2022
Differential transcendence of Bell numbers and relatives: a Galois theoretic approach Alin Bostan Lucia Di Vizio Kilian Raschel Tue 24 May 2022
On a Class of Hypergeometric Diagonals Alin Bostan Sergey Yurkevich Thu 14 April 2022
Algebraic G-functions associated to matrices over a group-ring Jean Bellissard Stavros Garoufalidis Tue 29 March 2022
On maximal chains of systems of word equations Juhani Karhumaki Aleksi Saarela Mon 21 March 2022
A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations Clemens Heuberger Daniel Krenn Gabriel F. Lipnik Fri 04 February 2022
Treelike decompositions for transductions of sparse graphs Jan Dreier Jakub Gajarský Sandra Kiefer Michał Pilipczuk Szymon Toruńczyk Tue 01 February 2022
Directed Width Measures and Monotonicity of Directed Graph Searching Łukasz Kaiser Stephan Kreutzer Roman Rabinovich Sebastian Siebertz Mon 26 July 2021
Towards an arboretum of monadically stable classes of graphs Jaroslav Nesetril Patrice Ossona de Mendez Sebastian Siebertz Wed 19 May 2021
On the number of types in sparse graphs Michał Pilipczuk Sebastian Siebertz Szymon Toruńczyk Wed 19 May 2021
Erdős-Hajnal properties for powers of sparse graphs Marcin Briański Piotr Micek Michał Pilipczuk Michał T. Seweryn Wed 19 May 2021
On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders Mirna Dżamonja Sylvain Schmitz Philippe Schnoebelen Wed 12 May 2021
Synchronizing Strongly Connected Partial DFAs Mikhail V. Berlinkov Robert Ferens Andrew Ryzhikov Marek Szykuła Sun 14 February 2021
Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture Jeffrey Shallit Sun 25 October 2020
A method for obtaining the algebraic generating function from a series Simon Plouffe Sun 18 October 2020
A Refined Laser Method and Faster Matrix Multiplication Josh Alman Virginia Vassilevska Williams Thu 15 October 2020
Twin-width II: small classes Édouard Bonnet Colin Geniet Eun Jung Kim Stéphan Thomassé Rémi Watrigant Wed 14 October 2020
A (Slightly) Improved Approximation Algorithm for Metric TSP Anna R. Karlin Nathan Klein Shayan Oveis Gharan Sun 11 October 2020
On the nature of the generating series of walks in the quarter plane Thomas Dreyfus Charlotte Hardouin Julien Roques Michael F. Singer Sun 04 October 2020
Counting walks with large steps in an orthant Alin Bostan Mireille Bousquet-Mélou Stephen Melczer Sun 04 October 2020
The Amazing Power of Randomness: NP=RP András Faragó Tue 04 August 2020
A New Upper Bound for Separating Words Zachary Chase Sat 25 July 2020
Differential games, locality and model checking for FO logic of graphs Jakub Gajarský Maximilian Gorsky Stephan Kreutzer Thu 23 July 2020
Rankwidth meets stability Jaroslav Nesetril Patrice Ossona de Mendez Michal Pilipczuk Roman Rabinovich Sebastian Siebertz Sat 18 July 2020
Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower Mrudula Balachander Shibashis Guha Jean-François Raskin Sat 18 July 2020
The Iteration Number of Colour Refinement Sandra Kiefer Brendan D. McKay Thu 21 May 2020
How to generate random lambda terms Maciej Bendkowski Tue 19 May 2020
Cumulative Games: Who is the current player Urban Larsson Reshef Meir Yair Zick Thu 14 May 2020
Ramsey Classes: Examples and Constructions Manuel Bodirsky Thu 07 May 2020
Some relational structures with polynomial growth and their associated algebras II: Finite generation Maurice Pouzet Nicolas M. Thiéry Thu 07 May 2020
NIP omega-categorical structures: the rank 1 case Pierre Simon Sun 26 April 2020
Towards Better: A motivated introduction to better-quasi-orders Yann Pequignot Mon 13 April 2020
The Resolution of Keller's Conjecture Joshua Brakensiek Marijn Heule John Mackey David Narváez Wed 08 April 2020
Square lattice walks avoiding a quadrant Mireille Bousquet-Mélou Mon 02 March 2020
On the non-holonomic character of logarithms, powers, and the n-th prime function Philippe Flajolet Stefan Gerhold Bruno Salvy Sun 01 March 2020
Non-Holonomicity of Sequences Defined via Elementary Functions Jason P. Bell Stefan Gerhold Martin Klazar Florian Luca Sun 01 March 2020
Generating functions for generating trees Cyril Banderier Philippe Flajolet Daniele Gardy Mireille Bousquet-Melou Alain Denise Dominique Gouyou-Beauchamps Sun 01 March 2020
On the Resolution of the Sensitivity Conjecture Rohan Karthikeyan Siddharth Sinha Vallabh Patil Fri 27 December 2019
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs Sandra Kiefer Daniel Neuen Thu 15 August 2019
Parikh Matrices for Powers of Words Adrian Atanasiu Ghajendran Poovanandran Wen Chean Teh Fri 09 August 2019
Non-Homogenizable Classes of Finite Structures Albert Atserias Szymon Toruńczyk Fri 07 June 2019
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic Sandra Kiefer Pascal Schweitzer Tue 28 May 2019
An optimal bound on the solution sets of one-variable word equations and its consequences D. Nowotka A. Saarela Mon 05 November 2018
Presburger arithmetic, rational generating functions, and quasi-polynomials K. Woods Mon 10 September 2018
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 S. Kiefer I. Ponomarenko P. Schweitzer Thu 06 September 2018
Analytic aspects of the shuffle product M. Mishna M. Zabrocki Tue 15 May 2018
From indexed grammars to generating functions J. Adam E. Freden M. Mishna Thu 10 May 2018
Explicit formulas for enumeration of lattice paths: basketball and the kernel method C. Banderier C. Krattenthaler A. Krinik D. Kruchinin V. Kruchinin D. T. Nguyen M. Wallner Mon 30 April 2018
New steps in walks with small steps in the quarter plane I. Kurkova K. Raschel Mon 30 April 2018
Walks with small steps in the quarter plane M. Bousquet-Mélou M. Mishna Mon 30 April 2018
Polynomial equations with one catalytic variable, algebraic series, and map enumeration M. Bousquet-Mélou A. Jehanne Mon 30 April 2018
Counting quadrant walks via Tutte's invariant method O. Bernardi M. Bousquet-Mélou K. Raschel Mon 30 April 2018

Library Size: 13G (136 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]