home/categories/astronomy-physics/pjt222-agent-almanac-i18n-de-skills-prove-geometric-theorem-skill-md
astronomy-physicsresearch
prove-geometric-theorem
Geometrische Sätze formal beweisen mit euklidisch-axiomatischen Methoden, Koordinatenbeweisen und Vektorbeweisen. Verwenden zum Beweis von Kongruenz- und Ähnlichkeitssätzen, Kreiseigenschaften, Kollinearität und Konzyklität sowie zur Validierung geometrischer Konstruktionen.
maintainer
pjt222
اپ ڈیٹ ہوا 3/17/2026
اسٹارز
9
فورکس
0
quick start
Installation and usage
Geometrische Sätze formal beweisen mit euklidisch-axiomatischen Methoden, Koordinatenbeweisen und Vektorbeweisen. Verwenden zum Beweis von Kongruenz- und Ähnlichkeitssätzen, Kreiseigenschaften, Kollinearität und Konzyklität sowie zur Validierung geometrischer Konstruktionen.
انسٹالیشن
$ install --globalskills.sh
استعمال
انسٹال کرنے کے بعد، آپ یہ اسکل ٹرمینل میں درج ذیل کمانڈ چلا کر استعمال کر سکتے ہیں:
skills use prove-geometric-theorem