Hilbert II

Hilbert II 0.04.06

Hilbert II projesi doğrulanmış ve okunabilir matematik bilgisine ademi erişim olduğunu. Bu isim zaten anlaşılacağı gibi, bu proje, Hilbert'in programının geleneğinde olduğunu. Hilbert II resmi doğru biçimde matematiksel teorem ve ispatları içeren...

DanCalculator kullanıcıların bölümü, çarpma, çıkarma ve ek olarak, temel matematik işlemleri yapmak için izin verir Java ile yazılmış açık kaynak kodlu bir hesap yazılımıdır.. Java ile yazılmış olan, DanCalculator Linux, Mac OS & nbsp kusursuz çalışması...

BoolStuff

BoolStuff 0.1.14

BoolStuff mantıksal ifade ikili ağaçlar birkaç operasyonlarına destek bir C kütüphanesidir.Ayrıca sağlanan DNF bir ifade dönüştürmek için bu kütüphane çağıran bir komut adındaki booldnf Özellikler:. basit boolean ifade ayrıştırıcı (parantez yanı...

JKuadrat

JKuadrat 1.1

JKuadrat determinan ve karekök formülü sayma için kullanılabilir Java ile yazılmış ücretsiz bir grafik yazılımıdır.JKuadrat kullanmak için, size http://www.slideshare.net/trisaptoadji/my-javanote03 onun öğretici okumalısınız. Java ile yazılmış olan,...

HEALPix

HEALPix 3.11

HEALPix (Hiyerarşik Eşit Alan isoLatitude pikselleme) Bir kürenin küre üzerinde pixelization, hiyerarşik endeksleme, sentez, analiz ve veri görselleştirme için bir yazılımdır.Adı önerildiği gibi, bu pikselleme her pikselin her piksel aynı yüzey alanı...

EqualX

EqualX 0.6.0 Beta

EqualX kolayca LaTeX'de denklemlerini yazabilir ve gerçek zamanlı olarak önizleme yapan bir uygulamadır.Projeler hedefleri şunlardır:- Yardım kullanıcı yazma daha kolay LaTeX'de denklemler ve gerçek zamanlı olarak önizleme:- Sembol tamamlama- GUI...