Automated Proofs in Geometry: Computing Upper Bounds for the Heilbronn Problem for Triangles
De Comite, Francesco · Delahaye, Jean-Paul
الأصل · EN
We propose a method for computing upper bounds for the Heilbronn problem for triangles.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.