proved directly:
no network found in this class with a direct proof
Deduced from class inclusions: no network found in this class using class inclusions
Proved directly:
no network found outside this class with a direct proof
Deduced from class inclusions: no network found outside this class using class inclusions
This website was programmed and is maintained by Philippe Gambette. It was started during the internship of Maxime Morgado at LIGM, in June-July 2015, and also contains contributions made from Narges Tavassoli from November 2016 to January 2017.
Please contact Philippe Gambette if you have any suggestions about this website, especially about problems, properties, results or subclasses to add.