# Etkileşimli geometri yazılımları listesi
Etkileşimli geometri yazılımı () veya dinamik geometri ortamları (), düzlem geometrisi başta olmak üzere geometrik yapıları oluşturmaya ve daha sonra bunları değiştirmeye olanak tanıyan bilgisayar programıdır. Çoğu etkileşimli geometri yazılımında, kişi birkaç nokta koyarak ve bunları çizgeler, daireler veya diğer noktalar gibi yeni nesneler tanımlamak için kullanarak inşaya başlar. Yapı, bir miktar oluştuktan sonra, kişi başladığı noktaları hareket ettirebilir ve yapının nasıl değiştiğini görebilir.


## Tarihçe.
En eski etkileşimli geometri yazılımı, 1980'lerin başında geliştirilen "Geometrik Supposer" adlı yazılımdı. Bunu kısa süre sonra 1986'da Cabri ve The Geometer's Sketchpad adlı yazılımlar izledi.


## Karşılaştırma.
Okul geometrisi çalışmak için üç ana bilgisayar ortamı türü vardır: destekleyiciler, dinamik geometri ortamları ve Logo-tabanlı programlar. Çoğu dinamik geometri ortamları türündeki, kullanıcının geometrik nesneyi farklı şekillere veya konumlara değiştirmesine ("sürüklemesine") izin veren yazılımlardır. Destekleyici türündeki yazılımlar için temel bir örnek, sürüklenebilir nesnelere sahip olmayan, ancak öğrencilerin önceden tanımlanmış şekilleri incelemelerine olanak tanıyan "Geometric Supposer" adlı yazılımdır. Aşağıdaki programların neredeyse tamamı dinamik geometri ortamları türündedir. Bu algoritmaların ilgili, karşılaştırmalı bir fiziksel örneği için Lenart Küresi'ne bakınız.


### Lisans ve desteklenen platformlar.
Aşağıdaki tablo, farklı yazılımların lisans ve platformlarına göre ilk karşılaştırmasını sunmaktadır.


### Genel özellikler.
Aşağıdaki tablo daha ayrıntılı bir karşılaştırma sunmaktadır:


### Makrolar.
Makro yapılarla ilgili özellikler: (TODO)


### Konumlar (Loci).
Etkileşimli geometri yazılımları ile ilgili konum özellikleri: (TODO)


### İspat.
Kanıtlama ilgili özellikleri burada detaylandırıyoruz.(TODO)


### Ölçümler ve hesaplama.
Etkileşimli geometri yazılımları ile ilgili ölçüm ve hesaplama özellikleri: (TODO)


## 2B programlar.
### C.a.R..
C.a.R., Java ile yazılmış, Geometer's Sketchpad'in (GSP) GPL lisanslı ücretsiz bir benzeridir.


### Cabri.
Cabri, Grenoble'daki Fransız matematik eğitimi okulu tarafından geliştirilmiştir (Laborde, 1993)


### CaRMetal.
CaRMetal, Java ile yazılmış ücretsiz bir GPL yazılımıdır. C.a.R.'dan türetilmiştir, farklı bir kullanıcı arayüzü sağlar.


### Cinderella.
Java ile yazılmış Cinderella, The Geometer's Sketchpad'den çok farklıdır. Daha sonraki sürüm Cinderella 2.0 ayrıca bir fizik simülasyon motoru ve bir komut dosyası dili içerir. Ayrıca, 2018 sürümüyle makroları, çizgi parçalarını, hesaplamaları, keyfi fonksiyonları, grafikleri vb. desteklemektedir. Tam dokümantasyon çevrimiçi olarak mevcuttur.


### Dr Genius.
Dr Genius, Dr. Geo ve Genius hesap makinesi'ni birleştirme girişimiydi.


### Dr. Geo.
Dr. Geo, küçük yaştaki (7-15) öğrenciler için tasarlanmış GPL etkileşimli bir yazılımdır. Daha sonraki sürüm olan Dr. Geo II, Dr. Geo'nun Squeak/Smalltalk ortamı için tamamen yeniden yazılması ile ortaya çıkmıştır.


### GCLC.
GCLC, geometriyi görselleştirmek ve öğretmek ve matematiksel çizimler üretmek için dinamik bir geometri aracıdır. GCLC'de şekiller çizilmek yerine tanımlanır. Bu yaklaşım, geometrik yapıların şekil değil soyut, biçimsel prosedürler olduğu gerçeğini vurgular. Soyut tanımlama temelinde somut bir şekil oluşturulabilir. Aralarında LaTeX, LaTeX/PStricks, LaTeX/Tikz, SVG ve PostScript'in de bulunduğu çeşitli çıktı formatları vardır. Yerleşik bir geometri teorem kanıtlayıcısı vardır (alan yöntemine dayalı). GCLC Windows ve Linux için kullanılabilir. WinGCLC, GCLC'nin bir dizi ek işlevsellik sağlayan grafik arayüzlü bir Windows sürümüdür. GCLC açık kaynak kodlu bir yazılımdır (CC BY-ND lisansı).


### GeoGebra.
GeoGebra, okullarda ve üniversitelerde matematik eğitimi için geometri, cebir ve kalkülüsü birleştiren bir yazılımdır. Ticari olmayan kullanıcılar için ücretsiz olarak kullanılabilir.:* Lisans: GPL lisansı altında açık kaynak (ücretsiz)
  - Desteklediği dil: 55
  - Geometri: noktalar, çizgiler, tüm konik kesitler, vektörler, parametrik eğriler, lokus çizgileri
  - Cebir: eşitsizliklerin, kapalı polinomların, doğrusal ve ikinci dereceden denklemlerin doğrudan girişi  sayılar, noktalar ve vektörlerle hesaplamalar
  - Kalkülüs: fonksiyonların doğrudan girişi (parçalı tanımlı fonksiyonlar dahil)  fonksiyonların kesişimleri ve kökleri  sembolik türevler ve integraller (yerleşik CAS)  parametre olarak kaydırıcılar
  - Parametrik Grafikler: Evet
  - Kapalı Polinomlar: Evet
  - Web dışa aktarma: tüm yapılar Java applet biçiminde web sayfaları olarak dışa aktarılabilir
  - Makrolar: hem fare ile araç olarak hem de girdi alanında komut olarak kullanılabilir
  - Animasyon: Evet
  - Hesap cetveli: Evet, hücreler herhangi bir GeoGebra nesnesi içerebilir (sayılar, noktalar, fonksiyonlar vb.)
  - Dinamik metin: Evet (LaTeX dahil)
  - İşletim Sistemi/Platformlar: Mac OS, Unix/Linux, Windows (Java 1.5 veya üstünü destekleyen herhangi bir platform)
  - Süreklilik: nesneleri atlamaktan kaçınmak için sezgisel bir 'yaklaşmaya yakın' (near-to-approach) metodu kullanır


### GeoKone.NET.
GeoKone.NET, web tarayıcısında çalışan etkileşimli bir özyinelemeli doğal geometri (veya "kutsal geometri") üreticisidir. GeoKone, kullanıcının Altın oran gibi özyinelemeli kopyalamanın doğal kurallarını kullanarak geometrik şekiller oluşturmasına olanak tanır.


### Geolog.
Geolog, sonlu geometrik mantık için bir mantık programlama dilidir.


### Geometry Expressions.
Geometry Expressions, sembolik geometri yapar. Gerçek sembolik girdiler kullanır ve gerçek ve sembolik çıktılar döndürür. Bir Bilgisayar Cebir Sistemi (CAS-Computer Algebra System) ile kullanımın yanı sıra etkileşimli HTML5, Lua ve Mac OS X gösterge paneli widget uygulamaları aracılığıyla dışa aktarma ve paylaşmayı vurgular.


### The Geometer's Sketchpad.
The Geometer's Sketchpad (GSP)
  - Belirlenimci
  - Desteklediği diller: İngilizce, İspanyolca, Danca, Rusça, Korece, Tayca, Geleneksel ve Basitleştirilmiş Çince, Fransızca, Litvanca (mevcut sürüm)  diğerleri (eski sürümler)
  - Makrolar: Evet ("özel araçlar" ve "betikler")
  - Java-applet: Evet
  - Animasyon: Evet
  - Lokus: Evet, lokus üzerindeki nokta da dahil
  - Görevler/Ödevler: Hayır
  - Ölçüm/Hesaplamalar: Evet
  - İşletim Sistemi/Platform: Windows, Mac OS, TI-92+, Wine altında çalışır
  - İspatlar: Hayır


### The Geometric Supposer.
The Geometric Supposer, 1985 yılında Sunburst Communications tarafından yayımlanan ve kullanıcının birçok farklı geometrik yapı inşasına ve ölçümler yapmasına olanak tanıyan bir dizi eğitim yazılımı programıdır. Geometric Supposer, kullanıcının çizgeç ve pergel kullanarak mümkün olan geometrik yapıları kolaylıkla gerçekleştirmesini sağlayan bir mikrobilgisayar programıdır. Bunlar arasında üçgenlerin inşasının yanı sıra doğru parçalarının, medyanların, yüksekliklerin, paralellerin, diklerin, dik açıortayların, açıortayların ve iç ve dış çemberlerin çizimi yer almaktadır. Ayrıca, kullanıcı uzunlukları, açıları, alanları ve mesafeleri ölçebildiği gibi, iki açının toplamı, iki uzunluğun çarpımı veya iki alanın oranı gibi ölçümlerin aritmetik kombinasyonlarını da ölçebilir.


### Géoplan-Géospace.
Géoplan-Géospace, iki veya üç boyutlu matematiksel şekiller oluşturmak için kullanılan bir yazılımdır. Windows üzerinde çalışır ve kaynak kodu ActiveX sürümü için CeCILL lisansı ve Java sürümü için GNU GPL koşulları altında dağıtılır. Bu geometrik inşa yazılımının iki işlevi vardır:
  - Bir yandan, normal matematik dilindeki tanımlarına çok yakın bir şekilde kodlanmış, birbirine bağlanabilen matematiksel nesnelerin oluşturulması 
  - Diğer yandan, bu nesnelerin dinamik ve etkileşimli bir grafik gösterimi vermek üzere yorumlanması, bu etkileşimlilik web tarayıcı ile Internet üzerinde de kullanılabilir.
Geoplan, çizgi çizmeyi kolaylaştırarak geometriyi deneysel ve doğal hale getirir. İlkel nesneler (nokta, çizgi, düzlem) yazılım tarafından yapılan çizim tarafından dolaylı olarak tanımlanır. Yazılım, şeklin dışındaki noktaları veya nesneleri tanımlamanıza ve kullanmanıza izin verir (yakınlaştırma yapmadan). Makrolar oluşturmak mümkündür: ilk nesnelerden sonuçta bir nesne üreten prototipler. Geoplan aynı zamanda koordinatların hesaplanması ve çizilmesi için tüm olanaklara sahip bir analitik geometri programıdır. Örneğin, bir cetvel ve pergel kullanmak zorunda kalmadan, apsisi 1/3 olan bir nokta yerleştirerek bir doğru parçasını doğrudan üçe bölebilirsiniz. Fonksiyonlar oluşturmak için kullanılabilir ve geometri dışındaki matematiksel alanlara da uygulanabilir: analiz, aritmetik, vb.


### Geonext.
Geonext, Bayreuth Üniversitesi tarafından 2007 yılına kadar geliştirildi ve tamamen Java ile geliştirildi. Son sürümü 1.74 idi.


### GeoProof.
GeoProof, ücretsiz bir GPL lisanslı dinamik geometri yazılımıdır ve OCaml dilinde yazılmıştır.


### GEUP.
GEUP, The Geometer's Sketchpad'in daha kalkülüs odaklı bir benzeridir.
 - Belirlenimci
 - Desteklediği diller: İngilizce, Fransızca, Almanca, İtalyanca, Portekizce, İspanyolca
 - Makrolar: Evet
 - Java-applet: Hayır
  - Animasyon: Evet
  - Lokus: Evet, lokus üzerindeki nokta da dahil
  - Görevler/Ödevler: Hayır
  - Ölçüm/Hesaplamalar: Evet
  - İşletim Sistemi/Platform: Windows
  - İspatlar: Hayır


### GRACE.
GRACE (The Graphical Ruler And Compass Editor), Java ile yazılmış Geometer's Sketchpad'in (GSP) bir benzeridir.


### Jeometry.
Jeometry dinamik bir geometri uygulamacığı (applet)'dır.


### Kig.
Kig, KDE için Geometer's Sketchpad'in (GSP) GPL lisanslı ücretsiz bir benzeridir, ancak daha çok kalkülüs odaklıdır. Bu uygulama, KDE Edutainment Project'in bir parçasıdır.


### KmPlot.
KmPlot, GPL lisansı altında yayımlanan ücretsiz bir matematiksel fonksiyon çizicisidir. Güçlü bir çözümleyici ve doğru ölçekte hassas çıktılar içerir. Aynı anda birden fazla işlev çizmek ve yeni işlevler oluşturmak için işlev terimlerini birleştirmek mümkündür. Parametre içeren fonksiyonları ve kutupsal koordinatlardaki fonksiyonları destekler. Çeşitli ızgara modları mevcuttur. Özellikler arasında şunlar mevcuttur:
  - güçlü matematiksel çözümleyici
  - hassas metrik çıktılar
  - farklı çizim türleri (fonksiyonlar, parametrik, kutupsal)
  - son derece yapılandırılabilir görsel ayarlar (çizim çizgisi, eksenler, ızgara)
  - bitmap formatında (BMP ile PNG) ve Scalable Vector Graphics (SVG) formatında dışa aktarma
  - tüm oturumu okunabilir XML formatında kaydetme/yükleme
  - izleme modu: çizimi takip eden artı işareti, durum çubuğunda gösterilen koordinatlar
  - yakınlaştırma desteği
  - bir çizim fonksiyonunun 1. ve 2. türevini ve integralini çizebilme
  - kullanıcı tanımlı sabitleri ve parametre değerlerini destekler
  - fonksiyonları çizmek için çeşitli araçlar: minimum/maksimum noktayı bulma, y-değerini alma ve fonksiyon ile y-ekseni arasındaki alanı çizme


### KSEG.
KSEG, Geometer's Sketchpad'in (GSP) bazı benzersiz özelliklere sahip ücretsiz (GPL lisanslı) bir benzeridir. Bu yazılım, Öklid geometrisindeki ağır ve karmaşık yapıların üstesinden gelebilir.
 - Belirlenimci
 - Desteklediği diller: Hollandaca, İngilizce, Fransızca, Çince, Almanca, Macarca, İtalyanca, Japonca, Norveççe Bokmål, Portekizce, Rusça, İspanyolca, Türkçe, Galce
 - Makrolar: Evet. Düzenlenebilir ve özyineleme desteği mevcuttur
 - Java-applet: Hayır
  - Animasyon: Hayır
  - Lokus: Evet, ancak bir noktayı bir lokusa yerleştirmenin doğrudan bir yolu yoktur.
  - Görevler/Ödevler: Hayır
  - Ölçüm/Hesaplamalar: Evet (hesap makinesi biraz garip)
  - İşletim Sistemi/Platform: Unix/Linux, Windows, Mac OS (Qt destekleyen herhangi bir platform)
  - İspatlar: Hayır
  - Ekstra: Düzenlenebilir


### Live Geometry.
 Live Geometry, etkileşimli cetvel ve pergel yapıları oluşturmanıza ve bunlarla denemeler yapmanıza olanak tanıyan ücretsiz bir CodePlex projesidir. Bu araç, Silverlight 4 ve C# 4.0 (Visual Studio 2010) ile yazılmıştır. Çekirdek motor, yeni şekil türlerinin ve özelliklerin kolayca eklenmesine olanak tanıyan esnek ve genişletilebilir bir çerçevedir. Projenin iki ön yüzü vardır: Her ikisi de ortak "DynamicGeometry" kütüphanesini paylaşan WPF ve Silverlight.


### TracenPoche.
TracenPoche, tam bir Adobe Flash programıdır. İngilizce, İspanyolca ve Fransızca dillerinde mevcuttur.


## 3B programlar.
3B destekli etkileşimli geometri yazılımları, uzay geometirde üç boyutlu katı cisimlerle çalışmaya imkan verir. 2B düzlemde yapılan benzer geometrik inşalar bu yazılımlarda da mümkündür.


### Cabri 3D.
Cabri 3D, 3B uzay geometrisi için kullanılabilen dinamik bir matematik yazılımıdır. Fransız yazılım geliştirme şirketi CABRILOG tarafından geliştirilmiştir. Cabri 3D, kullanıcının 3B geometri öğretiminin zorluklarını hafifletmesine yardımcı olur ve aynı zamanda öğrencilere etkileşimli geometrinin faydalarını sunar.
Bir Cabri 3D belgesi bir dizi sayfadan oluşur ve her sayfada şekli farklı bir projeksiyonla görüntüleyen bir veya daha fazla görünüm konumlandırılır. Her görünümde, bir projeksiyon serbest olabilir ve inşa ederken bile tutarlı bir şekilde değiştirilmesi kolaydır.
İnşa sırasında, halihazırda inşa edilmiş nesneler sürekli olarak manipüle edilebilir ve mevcut görünümün projeksiyonu güncellenebilir. Nesne seçimi herhangi bir görünümde yapılabilir. Örtük nesne oluşturma mekanizması, şekillerin yapımını önemli ölçüde basitleştirir. Böylece, bir yapıdaki bir çizgi ile bir plan arasındaki kesişme noktası, önceden oluşturmak zorunda kalmadan kullanılabilir.
Daha da çekici ve anlaşılır şekiller oluşturmak için nesnelere birçok grafik özniteliği (renk, boyut, doku) uygulanabilir.
Cabri 3D dosya formatı XML standardına (CabriML) dayanmaktadır, böylece herhangi bir kullanıcı Cabri 3D dosyalarını anlayabilir ve değiştirebilir. Karakterlerin gösterimi için Unicode standardının dahili kullanımı ile birlikte Cabri 3D tüm dillerde şekiller oluşturmak ve okumak için kullanılabilir.
Cabri 3D eklentisi dinamik geometri şekillerinin internette ve ayrıca diğer kelime işlem belgelerinde yayınlanmasına olanak tanır.


### Archimedes Geo3D.
Archimedes Geo3D, üç boyutlu dinamik geometri için bir yazılım paketidir. Mart 2006'da Almanya'da piyasaya sürüldü ve 2007'de olağanüstü eğitim yazılımı için bir Alman hükümeti ödülü kazandı.
Archimedes Geo3D noktaların, çizgilerin, doğru parçalarının ve dairelerin hareketini izleyebilir ve lokus çizgileri ve yüzeyleri oluşturabilir. Keyfi nesneler çizgiler, lokus çizgileri ve düzlemlerle kesiştirilebilir.


### Euler 3D.
Euler 3D, kendi çokyüzlülerinizi oluşturmanıza ve değiştirmenize olanak tanıyan bir programdır. Bir dizi seçeneği vardır: dönüşümler, animasyonlar, dualler oluşturma, VRML içe/dışa aktarma, vb. Ücretsiz kayıt gereklidir.


### GeoGebra.
GeoGebra, 5.0 sürümünden beri 3B modu içerir.


### Geomview.
Geomview, hiperbolik uzayın görselleştirilmesine izin veren seçeneklerle matematiksel görselleştirmeye odaklanmıştır. İlk olarak Silicon Graphics iş istasyonları için yazılmıştır ve Linux sistemlerinde çalışmak üzere taşınmıştır; paket yönetim sistemi aracılığıyla çoğu Linux dağıtımında kurulum için mevcuttur. Geomview Cygwin kullanarak Windows altında ve Mac OS X altında çalışabilir. Geomview'in #YÖNLENDİRME adresinde bir web sitesi bulunmaktadır.
Geomview, Nesne Yönelimli Grafik Kütüphanesi (OOGL-Object Oriented Graphics Library) üzerine inşa edilmiştir. Görüntülenen sahne ve içindeki nesnelerin nitelikleri Geomview'in grafik komut dili (GCL-graphical command language) ile değiştirilebilir. Geomview, Mathematica için varsayılan 3 boyutlu görüntüleyici olarak ayarlanabilir.


## Belirlenimciliğe karşı süreklilik.
Tüm bu programlar iki kategoriye ayrılabilir: belirlenimci (deterministik) ve sürekli.
GeoGebra deterministik veya sürekli olabilir (tercihlere göre değiştirilebilir).
Deterministik programlardaki tüm yapılar (GSP, Cabri, Kseg ve diğerlerinin çoğu) tamamen verilen noktalar tarafından belirlenir, ancak bazı yapıların sonucu, verilen bir nokta hareket ettirildiğinde atlayabilir veya beklenmedik şekilde davranabilir.
Aksine, sürekli programlardaki bazı yapılar (şimdiye kadar sadece Cinderella ve GeoGebra), gizli parametrelerin sayısına bağlıdır ve öyle ki verilen bir noktanın hareket ettirilmesi, yapının sürekli bir hareketine neden olur, sonuç olarak, nokta orijinal konumuna geri taşınırsa, yapının sonucu farklı olabilir.
Belirli bir programın sürekli olup olmadığını kontrol etmek için şöyle bir test yapılabilir:
- Üçgenin ortocenterini ve köşeler ile ortocenter arasındaki üç orta noktayı (örneğin A', B' C') oluşturun.<br>
- A'B'C' üçgeninin bir çevrel çemberini oluşturun.<br>
- Bu dokuz nokta çemberi, orijinal üçgenin her bir kenarını iki noktada keser: yükseklik tabanı ve orta nokta. Bir kenarın çemberle orta noktada kesişimini oluşturun, şimdi orijinal üçgenin karşı tepe noktasını hareket ettirin, eğer oluşturulan nokta yükseklik tabanı hareket ettiğinde hareket etmiyorsa, bu muhtemelen programınızın sürekli olduğu anlamına gelir.
Bu ve benzeri basit örneklerde sürekli davranan deterministik bir program yapmak mümkün olsa da, genel olarak hiçbir programın aynı anda hem sürekli hem de deterministik olamayacağı kanıtlanabilir.