Displaying similar documents to “Solutions with big graph of iterative functional equations of the first order”

Functions with preclosed graphs.

Bandyopadhyay, Nandini, Bhattacharyya, P. (2005)

Bulletin of the Malaysian Mathematical Sciences Society. Second Series

Similarity:

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

Piotr Rudnicki, Lorna Stewart (2012)

Formalized Mathematics

Similarity:

Harary [10, p. 7] claims that Veblen [20, p. 2] first suggested to formalize simple graphs using simplicial complexes. We have developed basic terminology for simple graphs as at most 1-dimensional complexes. We formalize this new setting and then reprove Mycielski’s [12] construction resulting in a triangle-free graph with arbitrarily large chromatic number. A different formalization of similar material is in [15].