პროგრამების სისწორის ფორმალური დამტკიცების სიკეთე : (ინფორმატიკოსი სტუმრად გეომეტრთან) / ნ. შილოვი, ს. შილოვა // ბიულეტენი / საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი. - თბილისი, 2009. - ISSN 1987-734X. - N1. - გვ.7-34. - პარალ. ტექსტი ინგლ. ენ.[MFN: 39999]

UDC:  51 + 004

• შილოვა, ს.; 

ბიბლიოგრაფია:  გვ. 33-34; შენიშვნებში

ანოტაცია:  მათემატიკური (გეომეტრიული) ამოცანების დეიქსტრას მეთოდით ამოხსნა

მოხსენიებული პირები:  დეიქსტრა ედსგერ (მეცნიერი, ტიურინგის სახელობის პრემიის ლაურეატი); ფლოიდი რობერტ (ტიურინგის სახელობის პრემიის ლაურეატი).

თემატიკა:  მათემატიკა; კომპიუტერული ტექნოლოგიები.

საკვანძო სიტყვები:  კომპიუტერული მეცნიერებანი; ინფორმატიკა; ალგორითმები; პროგრამირება; პლანიმეტრია; პოტენციალთა მეთოდი; სილვესტრის ამოცანა.