Geodesic
Discussing Graph Theory with a Computer II, Theorems Suggested by the Computer
Publications de l'Institut Mathématique, _N_S_33 (1983) no. 47, p. 29 Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Voir la notice de l'article

The formulation and proof of several theorems in graph theory as well as in other areas of mathematics have been found after testing some special cases on a computer. Some results of this type are described in this paper. Special attention is paid to the interactive programming system ``Graph" (described in [7], the first part of this paper) in which a lot of graph theoretical algorithms have been implemented and whose purpose is, among other things, to enable quick formulation, checking, or disproving of conjectures in graph theory.
Classification : 05C99 68E10 
@article{PIM_1983_N_S_33_47_a3,
     author = {Drago\v{s} Cvetkovi\'c},
     title = {Discussing {Graph} {Theory} with a {Computer} {II,} {Theorems} {Suggested} by the {Computer}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {29 },
     year = {1983},
     volume = {_N_S_33},
     number = {47},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a3/}
}
TY  - JOUR
AU  - Dragoš Cvetković
TI  - Discussing Graph Theory with a Computer II, Theorems Suggested by the Computer
JO  - Publications de l'Institut Mathématique
PY  - 1983
SP  - 29 
VL  - _N_S_33
IS  - 47
UR  - http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a3/
LA  - en
ID  - PIM_1983_N_S_33_47_a3
ER  - 
%0 Journal Article
%A Dragoš Cvetković
%T Discussing Graph Theory with a Computer II, Theorems Suggested by the Computer
%J Publications de l'Institut Mathématique
%D 1983
%P 29 
%V _N_S_33
%N 47
%U http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a3/
%G en
%F PIM_1983_N_S_33_47_a3
Dragoš Cvetković. Discussing Graph Theory with a Computer II, Theorems Suggested by the Computer. Publications de l'Institut Mathématique, _N_S_33 (1983) no. 47, p. 29 . http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a3/