Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

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.

historia wersji

  • Wersja 0.04.02 opublikowany na 2011-05-01
  • Wersja 0.04.11 opublikowany na 2011-03-05
    Kilka poprawek i aktualizacji

Szczegóły programu

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.