Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Hilbert II - QEDEQ

Hilbert II - QEDEQ 0.04.02

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen
Downloaden

In de traditie van Hilbert's programma creëren we een formele correcte (controleerbaar door een bewijsverificateur), maar leesbaar (zoals een gewone LaTeX leerboek) wiskundige kennis basis die vrij toegankelijk is binnen het internet. Logica en settheorie begonnen.

versiegeschiedenis

  • Versie 0.04.02 geplaatst op 2011-05-01
  • Versie 0.04.11 geplaatst op 2011-03-05
    Verschillende oplossingen en updates

Programmadetails

Gerelateerde programma's

  • GET_IT - Game Engine Tutorial in TCL Gratis

    Dit project is enige tijd geleden stilgelegd. Als je de projectnaam wilt nemen, stuur me dan een e-mail.

  • SPINA Gratis

    SPINA is software voor het bepalen van constante structuur-parameters van endocriene feedback controlesystemen van hormoonspiegels verkregen in vivo. De eerste versie van deze cybernetische aanpak maakt het mogelijk om de fun

  • Meshgen Gratis

    Meshgen is ontworpen om interactief 2D FEM mazen te genereren die bestaan uit driehoekige en vierhoekige elementen.

  • Vocabulary Builder for GRE SAT Gratis proefperiode

    Manhattan Review introduceert de eerste mobiele applicatie in India. U nieuwe woorden leren die u zullen helpen bij de voorbereiding op GRE, SAT, TOEFL en IELTS. U ook uw kennis over de woorden evalueren en uw woordenschatv

  • Carrying the Word Gratis proefperiode

    Het dragen van het Woord, gepubliceerd door University Press of ColoradoKoop dit DRM-vrij ebook vandaag nog! Aangedreven door Aldiko.De eerste volledige studie van de Concheros dansers, wiens gebruik van dans verbindt

  • Moritz Gratis

    Moritz is een "addon" voor de bekende tool doxygen. Het genereert nassi shneiderman diagrammen van functies en methoden in een c / c + + bron als html-bestanden, die kunnen worden opgenomen in een software-dokumenta

  • Birdlogger Gratis

    Een vogel logging programma om ornithologen en vogelaars te helpen bij het kappen waarneming vogels. In Visual Basic, voor Windows en Linux. Engels en Frans.

  • Bowtie Gratis

    Bowtie, een ultrasnelle, geheugen-efficiënte korte lees aligner voor korte DNA sequenties (leest) van next-gen sequencers. Gelieve te citeren: Langmead B, et al. Ultrasnelle en geheugen-efficiënte uitlijning van korte DNA-seq

  • LaserFoam Gratis

    LaserFoam voert simulaties van laserpulsen uit met behulp van een adaptieve split step Fourier-methode om de gegeneraliseerde niet-lineaire Schrdinger-vergelijking op te lossen. Het biedt een grafische omgeving om de resultat

  • Daylight Chart Gratis

    Daylight Chart toont zonsopgang en zonsondergang tijden in een aantrekkelijke grafiek, voor elke locatie in de wereld. Het effect van de zomertijd wordt ook weergegeven. Grafieken kunnen worden geëxporteerd naar afbeeldingsbe