Hilbert II - QEDEQ 0.04.02
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/pmii/files/QEDEQ%20main%20unstable/0.04.02/qedeq_0.04.02_win.zip/download
O Hilbert II - QEDEQ
W tradycji programu Hilberta tworzymy formalną poprawność (sprawdzaną przez weryfikatora dowodu), ale czytelną (jak zwykły podręcznik LaTeX) matematyczną bazę wiedzy, która jest swobodnie dostępna w Internecie. Logika i teoria zestawów rozpoczęty.
Programy pokrewne
-
GET_IT - Game Engine Tutorial in TCL Wolna
Projekt ten został zamknięty jakiś czas temu. Jeśli chcesz wziąć nazwę projektu, po prostu napisz do mnie e-mail.
-
SPINA Wolna
SPINA to oprogramowanie do określania stałych parametrów struktury-parametrów endokrynologicznych systemów kontroli sprzężenia zwrotnego z poziomu hormonów uzyskanych in vivo. Pierwsza wersja tego cybernetycznego podejścia po
-
Meshgen Wolna
Meshgen jest przeznaczony do interaktywnego generowania siatek 2D FEM składających się z elementów trójkątnych i czworobokowych.
-
Vocabulary Builder for GRE SAT Bezpłatna wersja próbna
Manhattan Review wprowadza pierwszą aplikację mobilną w Indiach. Możesz nauczyć się nowych słów, które pomogą Ci w przygotowaniu do GRE, SAT, TOEFL i IELTS. Możesz również ocenić swoją wiedzę na temat słów i sprawdzić swoje
-
Carrying the Word Bezpłatna wersja próbna
Niosąc słowo, opublikowane przez University Press of ColoradoKup ten ebook bez DRM już dziś! Zasilany przez Aldiko.Pierwsze pełne badanie tancerzy Concheros, których wykorzystanie tańca łączy wiejskie praktyki religijn
-
Moritz Wolna
Moritz jest "addon" do znanego narzędzia doxygen. Generuje nassi shneiderman diagramy funkcji i metod w c / c ++ źródła jako html-files, które mogą być zawarte w oprogramowaniu dokumentaion lub proste whached za pom
-
Birdlogger Wolna
Program rejestrowania ptaków, aby pomóc ornitologom i obserwatorom ptaków w rejestrowaniu ptaków obserwacji. W języku Visual Basic, dla windows i linux. angielski i francuski.
-
Bowtie Wolna
Bowtie, ultraszybki, wydajny w pamięci moduł do odczytu krótkiego odczytu dla krótkich sekwencji (odczytów) DNA z sekwencerów nowej generacji. Proszę przytoczyć: Langmead B, et al. Ultraszybkie i efektywne pod względem pamięc
-
LaserFoam Wolna
LaserFoam wykonuje symulacje impulsów laserowych za pomocą adaptacyjnej metody Fouriera w celu rozwiązania uogólnionego nieliniowego równania Schrdingera. Zapewnia środowisko graficzne do uruchamiania i wizualizacji wyników.
-
Daylight Chart Wolna
Wykres dzienny pokazuje czas wschodu i zachodu słońca na atrakcyjnym wykresie, dla dowolnego miejsca na świecie. Wyświetlany jest również efekt czasu letniego. Wykresy można eksportować do plików obrazów.