Mathdata - "Matematiksel Veriler İle Matematiksel Yazılım Ve Algoritmaların Etkin Gösterimi İçin Bir Sistem"

Abstract

Bilimsel topluluk, sürekli olarak çeşitli amaçlar icin kullanılan veri üretir. Bu verilerin çoğu, belirli bir amaç için kullanıldıktan sonra atılır ve bir sonraki ihtiyaç duyulduğunda sıfırdan üretilir. Bu durum matematik topluluğunda daha yaygındır. Matematiksel yazılımlar verileri bir yan ürün olarak ve nadiren de birinci sınıf bir nesne olarak ele alır. Bununla birlikte, modern matematik araştırması, deneysel veya iyi tanımlanmış matematiksel yapıların kullanımı için büyük miktarda veri içerir. Son yıllarda, özellikle Büyük Veri topluluğunun çalışmaları sayesinde, araştırmada verilerin önemi vurgulanmıştır. Yine de, Büyük Veri topluluğu skaler/sayısal veriler için mükemmel bir araç kutusu geliştirmesine rağmen genel olarak çizgeler, polinomlar ve yapılandırılmış matematiksel veriler için benzer bir araç kutusu yoktur. Bu uygun araç eksikliği, matematik araştırmalarını engellemektedir, ancak aynı zamanda en gelişmiş matematiğin endüstri tarafından kullanılmasını da engellemektedir. Kısacası, her seferinde bazı verileri kullanmamız gerektiğinde, tekerleği yeniden icat ediyoruz. Matematiksel verileri etkin bir şekilde saklamak, yeniden kullanmak ve paylaşmak, ayrıca modern yollarla analiz etmek büyük önem taşımaktadır.. Tekrarlanabilir araştırmaya olan ihtiyaç gün geçtikçe artmaktadır. Dergilerden derslere kadar, yeniden üretilebilir araştırmaya olan ilgideki artış gözlemlenebilir seviyededir. Veri setlerini saklamak için sunulan bir dizi web servisi mevcuttur, ancak bunlar çoğunlukla skaler verilere odaklanır. Doğru araçların olmamasına rağmen, matematiksel nesnelerin veritabanlarını üretmeyi amaçlayan çeşitli projeler vardır. Bu projelerin çabaları bölünmüş ve her proje kendisine ait farklı politikalar ve temsil ilkeleri benimsemiştir. Verileri sağlam bir şekilde temsil etmenin, değiştirmenin ve saklamanın tek biçimli bir yolunun bulunmaması bu veritabanlarının kullanılabilirliğini engeller. Bu projede, MathDataLanguage açıklama dili biçiminde MathData?nın depolanması ve paylaşılması için standart bir sunum geliştirdik. Birleşik ve halka açık bir MathDataLibrary sağlayarak, hem matematikçilerin hem de bilgisayar bilimcilerinin topluluklarının yeni standardı benimsemelerini ve bundan faydalanmasını bekliyoruz. Platformun uygulanması için verileri, fazlalıktan kaçınmak ve verilerin matematiksel bağlamına ve özelliklerine saygı duymak bilinciyle sürümlü bir şekilde kontrol etmek için git gibi mevcut standart araçları kullandık. Bu projenin amacı 21. yüzyıla matematiksel araştırma getirmekti. önemi ise, MathData?larını paylaşabilecek ve üzerilerinde karşılaştırma yapabilecek araştırmacılar topluluğunu genişletmektir. Bu proje, akademik ve endüstriyel araştırmacıların MathData?larını bu toplulukların geri kalanıyla paylaşması için kolay bir yol sunar. Bu çalışma, yakın zamanda ortaya çıkan yeniden üretilebilir araştırma talebini bir yandan ele alıyor ve topluluğun diğer taraftan kaynakları kurtarmasına yardımcı oluyor. İşbirliği eksikliği ile merkezi olarak, kolayca aranabilir ve erişilebilir bir depo olmaması nedeniyle, aynı verilerin çoğaltılmasında şimdiye kadar kaynaklar harcandı. Genel olarak bu projenin Sembolik Hesaplama, Kombinatorik ve Algoritmik Matematik toplulukları üzerinde beklenen etki büyüktür. Potansiyel olarak önerilen işbirliği araçları olmadan elde edilemeyen sonuçlara ulaşacak yeni bir işbirliği yolu MathDataLibrary ile başlamıştır. Son uzun vadeli amaç, MathDataLanguage kullanıcılarının bir topluluğunu oluşturmaktır. Elbette bu hedefe bu kısa proje süresince tam olarak ulaşmak mümkün değildir, ancak bulgular belirlenmiştir. Büyük Veri ve Derin öğrenme araçlarını kullanmak oldukça ümit vericidir, ancak matematiğin çoğu alanında bu araçları kullanmak imkânsızdır. MathData?yı temsil etmenin, saklamanın, paylaşmanın ve yeniden kullanmanın bir yolunu benimsemek, matematiksel araştırmaya yardımcı olacaktır.