We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a simple abstract framework that allows us to classify and compare these algorithms and to establish in a uniform way their basic properties. Note. This is a ...

The widely used textbook by Brassard and Bratley [2] includes a chapter devoted to asymptotic notation (Chapter 3, pp. 79–97). We have attempted to test how suitable the current version of Mizar is for recording this type of material in its entirety. This article is a follow-up to [11] in which we introduced the basic notions and general theory. This article presents a Mizar formalization of ex...

despite the great potential of graphene as a nanofiller, achieving homogeneous dispersion remains the key challenge for effectively reinforcing polyolefin (such as polyethylene (pe) and polypropylene (pp)) nanocomposites. therefore, in this research, we report a facile combined in situ polymerization and masterbatch method for fabricating pp/reduced graphene oxide (rgo) nanocomposites. in the p...