Alain Giorgetti

Available identifiers

zbMath Open giorgetti.alainMaRDI QIDQ442386

List of research outcomes

Publication	Date of Publication	Type
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families	2024-11-26	Paper
New and improved bounds on the contextuality degree of multi-qubit configurations	2024-10-16	Paper
Classically-embedded split Cayley hexagons rule three-qubit contextuality with three-element contexts	2023-12-12	Paper
New and improved bounds on the contextuality degree of multi-qubit configurations	2023-05-17	Paper
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and quantum Fourier transform	2023-03-01	Paper
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five	2022-06-07	Paper
Contextuality degree of quadrics in multi-qubit symplectic polar spaces	2021-05-28	Paper
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank	2021-05-08	Paper
Enumeration of hypermaps of a given genus	2019-02-01	Paper
How testing helps to diagnose proof failures	2018-11-16	Paper
Tests and proofs for custom data generators	2018-11-16	Paper
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators	2017-02-01	Paper
Tests and Proofs for Enumerative Combinatorics	2016-10-19	Paper
Rooted planar maps modulo some patterns	2016-01-21	Paper
Quantum contextual finite geometries from dessins d'enfants	2015-12-30	Paper
A correspondence between rooted planar maps and normal planar lambda terms	2015-10-29	Paper
Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices	2015-01-26	Paper
Constructing large tables of numbers of maps by orientable genus	2014-05-03	Paper
A symbolic transformation language and its application to a multiscale method	2014-04-28	Paper
A Rule-Based Framework for Building Superposition-Based Decision Procedures	2012-10-16	Paper
Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices	2012-08-10	Paper
Enumeration of genus-four maps by number of edges	2012-03-22	Paper
Simulations over Two-Dimensional On-Line Tessellation Automata	2011-07-29	Paper
An asymptotic study for path reversal.	2003-05-25	Paper
A geometric bijection between a family of hypermaps and a family of polygons enumerated by the series of Schröder	2001-04-16	Paper
Counting rooted maps on a surface	2000-08-21	Paper
Counting rooted maps on an orientable surface of any genus by a function of the numbers of vertices and faces	2000-06-25	Paper

Research outcomes over time

This page was built for person: Alain Giorgetti