Academic Proof Translator
Matematiksel metinleri çift yönlü akademik dilde hassas bir şekilde çevirin.
Formal Academic English
Rigor Level: High
Çeviri için yukarıdaki alana bir metin yazın veya sağdaki kalıpları kullanın...
Akademik Dil ve LaTeX Formatı Onaylandı.
Grammar & Logic Verified
Proof Phrasebook (İspat Kalıpları)
Akademik İfade Bankası
Varsayım ve Başlangıç
"Let $\epsilon > 0$ be given."
Herhangi bir $\epsilon > 0$ verilsin. (Analiz ispatları)
"Assume for the sake of contradiction that..."
Çelişki elde etmek amacıyla farz edelim ki...
"Without loss of generality (WLOG), assume..."
Genelliği bozmaksızın varsayalım ki...
Mantıksal Adımlar & Geçişler
"By the induction hypothesis, we have..."
Tümevarım hipotezi gereği elimizde... vardır.
"Combining equations (1) and (2), it follows that..."
(1) ve (2) denklemlerini birleştirirsek...
"This holds if and only if (iff)..."
Bu durum ancak ve ancak ... ise geçerlidir.
Sonuç ve İspatı Bitirme
"Which contradicts our initial assumption that..."
Bu da ... şeklindeki başlangıç varsayımımızla çelişir.
"This completes the proof. $\blacksquare$"
Bu da ispatı tamamlar.
Kalıplara tıklayarak metne ekleyebilirsin.