نتائج البحث

Graph Theory: Enhancing Understanding of Mathematical Proofs Using Visual Tools.

• Authors : Sevcikova, Andrea¹ (AUTHOR) ; Milkova, Eva² (AUTHOR) ; Moldoveanu, Mirela² (AUTHOR)

Subjects: *GRAPH theory; *MATHEMATICAL logic; *COVID-19 pandemic

• Source: Sustainability (2071-1050). Jul2023, Vol. 15 Issue 13, p10536. 17p.

تفاصيل العنوان

Italian Domination Number of Strong Product of Cycles.

• Authors : Liyang Wei¹ ; Feng Li²

• Source: IAENG International Journal of Applied Mathematics. Apr2024, Vol. 54 Issue 4, p791-796. 6p.

تفاصيل العنوان

Lower Bounds on the Entire Sombor Index.

• Authors : Dehgardi, Nasrin¹

Subjects: *MATHEMATICAL bounds; *GRAPH theory; *GEOMETRIC vertices

• Source: Iranian Journal of Mathematical Chemistry. Dec2023, Vol. 14 Issue 4, p195-205. 11p.

تفاصيل العنوان

Expansion of random graphs: new proofs, new results.

• Authors : Puder, Doron¹

• Source: Inventiones Mathematicae. Sep2015, Vol. 201 Issue 3, p845-908. 64p.

تفاصيل العنوان

Short Proofs of Some Theorems on Bounds of the Average Distances of Trees.

• Authors : Kyaw, A.¹

• Source: Southeast Asian Bulletin of Mathematics. 2009, Vol. 33 Issue 5, p875-878. 4p.

تفاصيل العنوان

Mechanised-proofs in Agda for Investigations into graph-theoretical constructions in Homotopy type theory

• Authors : Jonathan Prieto-Cubides

Subjects: Graph theory; machine-checked proofs; proof-assistant

تفاصيل العنوان

Graph Theory: Enhancing Understanding of Mathematical Proofs Using Visual Tools

• Authors : Andrea Sevcikova; Eva Milkova; Mirela Moldoveanu

Subjects: mathematical culture; mathematical proof; educationagris

• Source: Sustainability; Volume 15; Issue 13; Pages: 10536

تفاصيل العنوان

Maximal Matching in Fractal Graphs and Its Application.

• Authors : THARANIYA, P.¹ ; JAYALALITHA, G.²

• Source: International Journal of Pharmaceutical Research (09752366). Jan-Mar2021, Vol. 13 Issue 1, p2153-2157. 5p.

تفاصيل العنوان

Proofs by Transformation in Extremal Graph Theory

• Authors : Devillez, Gauvain;

Subjects: Graph Theory; Extremal Graph Theory; Computer-assisted discovery

تفاصيل العنوان

Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies.

• Authors : Itsykson, D.¹; Kojevnikov, A.¹

• Source: Journal of Mathematical Sciences. Oct2007, Vol. 145 Issue 3, p4942-4952. 11p.

تفاصيل العنوان