Automated geometry theorem proving
Otomatik geometrik teorem ispatlama
- Tez No: 285305
- Danışmanlar: YRD. DOÇ. DR. EROL YILMAZ
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2011
- Dil: İngilizce
- Üniversite: Abant İzzet Baysal Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezin amaçı polinom halkalarının ve onlar için dizan edilen hesaplamametodlarının düzlem geometrisi teoremlerinin ispatlanmasında nasıl yararlıolacağını göstermektir. Bu yapılırken Gröbner taban teknikleri kullanılmıştır.Geometri teoremlerinin otomatik keşfi de ayrıca tartışılmıştır. Her iki konudaörneklerle açıklanmaya çalışılmıştır.
Özet (Çeviri)
The aim of this thesis is to show how the polynomial rings and computationalmethods designed for them can be help in proving plane geometry theorems.The Gröbner basis techniqes are used to do this. The automatic geometrytheorem discovering are also covered. The both subject are illustrated withseveral examples.
Benzer Tezler
- Autometed geometry theorem proving
Otomatik geometri teorem ispatlama
DENİZ EDE
Yüksek Lisans
İngilizce
1993
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. GÖKTÜRK ÜÇOLUK
- CMMcihazındaki verilerden makine öğrenmesi ile parça kontrolü
Part control with machine learning from data on CMM device
ZEYNEP BİRGİN
Yüksek Lisans
Türkçe
2024
Metalurji MühendisliğiSakarya ÜniversitesiMetalurji ve Malzeme Mühendisliği Ana Bilim Dalı
DOÇ. DR. NURAY CANİKOĞLU
- Automated liver tumor segmentation and classification using AI and fully convolutional neural network (CNN)
Başlık çevirisi yok
IDREES AHMED DHAHIR DHAHIR
Yüksek Lisans
İngilizce
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAltınbaş ÜniversitesiBilişim Teknolojileri Ana Bilim Dalı
DOÇ. DR. YASA EKŞİOĞLU ÖZOK
DOÇ. DR. ADİL DENİZ DURU
- A learning-centric end-to-end hybrid system for in-situ thermographic inspection in automated fiber placement
Otomatik fiber yerleştirmede yerinde termal denetim için öğrenme tabanlı uçtan uca hibrit bir sistem
MUHAMMED ZEMZEMOĞLU
Doktora
İngilizce
2025
Mekatronik MühendisliğiSabancı ÜniversitesiMekatronik Mühendisliği Ana Bilim Dalı
PROF. DR. MUSTAFA ÜNEL