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ı: 60
Ö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
- Automated topology design of high-rise buildings by genetic algorithm optimization and SAP2000 OAPI codes
Yüksek binalarda genetik algoritma optimizasyonu ve SAP2000 OAPI kodlarıyla şekil tasarım otomasyonu
TALHA ORHAN
Yüksek Lisans
İngilizce
2018
İnşaat MühendisliğiAnadolu Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ KIVANÇ TAŞKIN
- Automated 3D solid fem generator of complex structures using laser scan data
Lazer tarama verileri kullanarak otomatik üç boyutlu katı sonlu elemanlar modeli oluşturma
MAHA O. M. SHAREI
Yüksek Lisans
İngilizce
2019
İnşaat MühendisliğiOrta Doğu Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET TÜRER
- 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
