Gauvain Devillez

Available identifiers

zbMath Open devillez.gauvainMaRDI QIDQ2274081

List of research outcomes

Publication	Date of Publication	Type
Incorporating a database of graphs into a proof assistant	2024-12-04	Paper
The average size of maximal matchings in graphs	2024-05-06	Paper
Upper bounds on the average number of colors in the non-equivalent colorings of a graph	2023-05-26	Paper
Lower bounds and properties for the average number of colors in the non-equivalent colorings of a graph	2023-05-15	Paper
Minimum eccentric connectivity index for graphs with fixed order and fixed number of pendant vertices	2021-05-05	Paper
Maximum eccentric connectivity index for graphs with given diameter	2019-09-19	Paper
PHOEG Helps Obtaining Extremal Graphs	2017-12-21	Paper
Extremal Chemical Graphs for the Arithmetic-Geometric Index	N/A	Paper

Research outcomes over time

This page was built for person: Gauvain Devillez