Domination Chain with Weighted Parameters (Coq files)
This code contains a formal description of basic facts about Graph Theory and Domination Theory in the language Coq/Ssreflect. It is called DomTheory and consists of: *) The proof that the sum of degrees equals the cardinal of the edge set. *) Definitions and results about open and closed neighborho...
Guardado en:
| Autor principal: | Severín, Daniel Esteban |
|---|---|
| Formato: | other conjunto de datos publishedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/2133/18977 http://hdl.handle.net/2133/18977 |
| Aporte de: |
Ejemplares similares
-
Formalization of the Domination Chain with Weighted Parameters
por: Severín, Daniel Esteban
Publicado: (2020) -
7.000 años de historia en el fin del mundo
por: Motti, Josefina María Brenda, et al.
Publicado: (2020) -
Automatic detection of mud-wall signatures in ground-penetrating radar data
por: Bordón, Pablo, et al.
Publicado: (2020) -
The colors of San José pottery from Yocavil valley, Argentine Northwest. Strategy for the characterization of archaeological pigments using non-destructive techniques
por: Tomasini, Eugenia Paula, et al.
Publicado: (2020) -
Escutiformes en la región de Fiambalá. El caso del istio Piedra Escrita
por: Basile, Mara Valeria, et al.
Publicado: (2020)