Zestaw narzędzi open source do matematyki czystej
Matematyka czysta od zawsze zależna była od komputerów, które służą do wykonywania tabel, dowodzenia twierdzeń i badania nowych teorii. Obecnie doświadczenia wspomagane komputerowo i zastosowanie baz danych opartych na obliczeniach komputerowych są częścią standardowego zestawu narzędzi matematyki czystej. Narzędzia te stały się tak istotne, że niektóre obszary matematyki całkowicie się od nich uzależniły. Od niedawna komputery są w coraz większym zakresie wykorzystywane do wspierania współpracy wraz z pojawieniem się szerokiej gamy narzędzi open source do wspomagania badań w matematyce czystej. Pośród tych programów należy wymienić takie narzędzia obliczeniowe jak GAP, PARI/GP, LinBox, MPIR, Sage czy Singular obok baz danych online takich jak LMFDB – wszystkie one są dalej doskonalone na platformie Jupyter do interaktywnych i eksploracyjnych obliczeń na potrzeby nauki. Ekosystem współpracy Pomimo wielu korzyści, jakie zapewniają tego typu programy open source, prace nad nimi ogranicza niedostateczne finansowanie i brak możliwości łączenia poszczególnych programów. Z tego właśnie względu partnerzy finansowanego ze środków UE projektu OPENDREAMKIT pracują nad wsparciem ekosystemu matematycznego oprogramowania open source. Partnerzy projektu zamierzają w szczególności sprzyjać technologicznemu opracowywaniu programów open source dla matematyków poprzez na przykład doskonalenie interfejsów użytkownika (IU) i niwelowanie barier między rozmaitymi społecznościami badawczymi. Podejmują również starania, aby usprawniać dostęp, dystrybucję i przenośność szerokiej gamy platform – między innymi wysokowydajnych komputerów i usług w chmurze. Zasadniczym komponentem projektu jest stworzenie wirtualnych środowisk badawczych (VRE), czy też usług online, umożliwiających grupom naukowców, którzy znajdują się w dowolnym miejscu na świecie, współpracę nad poszczególnymi projektami. W tym celu OPENDREAMKIT wykorzystuje cieszące się ogromną popularnością aplikacje matematyczne MathHub i SageMath, dostosowując je do interaktywnego i społecznościowego środowiska open source. Wynikiem końcowym będzie elastyczny zestaw narzędzi dający naukowcom możliwość tworzenia personalizowanych VRE, które są w stanie obsłużyć cały cykl badawczy. Ujednolicanie podstawowych komponentów Ponad 50 osób rozlokowanych w 15 miejscach w Europie intensywnie pracuje nad zestawem narzędzi OPENDREAMKIT, na który złożą się otwarte oprogramowanie, bazy danych i usługi opracowane przez społeczność. Zespół rozpoczął prace od zdefiniowania innowacyjnej i opartej na komponentach architektury VRE poprzez dostosowanie istniejącego oprogramowania, baz danych i elementów IU do potrzeb sektora matematyki. W projekt zaangażowani są także czołowi matematycy, naukowcy specjalizujący się w badaniach obliczeniowych i programiści, dzięki czemu odpowiada on na faktyczne potrzeby badawcze. Zestaw narzędzi ma ostatecznie udoskonalić i ujednolicić takie istniejące komponenty jak LinBox, MPIR, SageMath, GAP, PariGP, LMFDG oraz Singular, a także poszerzyć Jupyter Notebook o elastyczny IU. Nadrzędnym celem jest maksymalne ułatwienie zespołom badawczym dowolnej wielkości szybkiego tworzenia spersonalizowanych i społecznościowych VRE skrojonych do specyficznych potrzeb, badań i ciągu pracy. Partnerzy projektu są przekonani, że dzięki kompletowi narzędzi OPENDREAMKIT środowiska VRE znacząco przyczynią się do podniesienia wydajności pracy naukowców zajmujących się matematyką czystą i jej zastosowaniami, poprzez sprzyjanie współpracy w zakresie danych, wiedzy i oprogramowania. Wspólna praca nad ogólnodostępnym atlasem matematycznym Dążąc do osiągnięcia swojego głównego celu, jakim jest stworzenie zestawu narzędzi open source, partnerzy projektu OPENDREAMKIT nawiązali współpracę z innymi, podobnymi przedsięwzięciami. Pracowali ostatnio na przykład z międzynarodowym zespołem matematyków z MIT i innych instytucji nad stworzeniem pomocy naukowej online, oferującej szczegółowe mapy niezbadanych wcześniej obszarów matematycznych. Owocem tych prac jest LMFDB (baza danych L-funkcji i form modularnych) – szczegółowy atlas obiektów matematycznych, który uwidocznia głębokie relacje i służy za przewodnik po bieżących badaniach prowadzonych w fizyce, informatyce i matematyce. Przedsięwzięcie było częścią zakrojonej na szeroką skalę współpracy naukowców z całego świata. Więcej informacji: witryna projektu OPENDREAMKIT
Kraje
Francja