In the article the formal characterization of triangular numbers (famous from [15] and words “EYPHKA! num = ∆ + ∆ + ∆”) [17] is given. Our primary aim was to formalize one of the items (#42) from Wiedijk’s Top 100 Mathematical Theorems list [33], namely that the sequence of sums of reciprocals of triangular numbers converges to 2. This Mizar representation was written in 2007. As the Mizar lang...

BACKGROUND: In the present study, the submandibularsalivary gland microscopic morphology of the adult Africangiant pouched rat was investigated. This study was carried out toprovide the basic histology of this organ in the giant pouched rat,to accompany the dearth of information of its microscopicarchitecture in the available literature. This becomes of evenhigher importance when considering th...

Among the new substances that were synthesised by the chemical industlY during the last decades, with the aim to improve human prosperity, some cause negative effects on non target organisms like fish. Among the pesticides, the organophosphates (OP) are widely used in cattle management, agriculture and aquaculture activi ties. Brachydania reria Hamilton-Buchman, 1822 is used world-wide in fisht...