pmii 0.0.53
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst, die wiederum auf andere QEDEQ-Module zurückgreifen können
|
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst, die wiederum auf andere QEDEQ-Module zurückgreifen können
tags
Download pmii 0.0.53
Autoren-Software
pmii 0.0.53
Michael Meyling
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst, die wiederum auf andere QEDEQ-Module zurückgreifen können
Simulum 0.04.44
Michael Meyling
Simuliert die Bewegung von Sternen; dynamische Ansicht eines Sternenfelds durch Bewegung des Beobachters und durch die gravitationsbedingten Sternbewegungen
Poor Woman's Telnet Server 0.00.00
Michael Meyling
Einfacher Telnet-Server für Windows, der auf dem telnetd2-Framework basiert
Ähnliche Software
pmii 0.0.53
Michael Meyling
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst, die wiederum auf andere QEDEQ-Module zurückgreifen können
Moonlight | 3D 0.1.3
Gregor Mückl
3D-Modelling- und Animations-Tool mit verschiedenen, durch Plug-ins erweiterbaren Modulen; sämtliche Änderungen an einer Szene können gespeichert werden und sind damit auch nachträglich abruf- und umkehrbar
Accounting Maths and Computing 10
eptsoft
Software für die mathematische und kaufmännische Ausbildung; erstellt unter anderem Funktionsgraphen und Berechnungen so, dass diese schrittweise nachvollzogen werden können
LabPlot 1.5.1
Stefan Gerlach
KDE-Programm für die Auswertung von wissenschaftlichen Daten, es können mathematische Funktionen grafisch dargestellt und zwei- und dreidimensionale Plots erzeugt werden; eine Datenanalyse ist ebenfalls möglich
Art of Illusion 2.4.1
Peter Eastman
Modelliert, rendert und animiert 3D-Objekte; unter anderem können diverse mathematische Körper sowohl mit Strukturen versehen und verändert als auch miteinander verbunden werden
Convert 1.03
C. Killet Software Ing.-GbR
Konvertiert dBase-, CSV-, SDF- und MySQL-Datenbanktabellen in andere Datenformate, Daten können horizontal und vertikal gefiltert und neu sortiert werden
eSpeak 1.21
Jonathan Duddington
TTS-Sprachsynthesizer für Englisch und andere Sprachen; mit verschiedenen Stimmen, deren Charakteristika eingestellt werden können; unterstützt SSML und HTML
StarOffice 8
SUN microsystems
StarOffice by SUN microsystems (Kommerziell)
EJS TreeGrid 5.9
CoqSoft
In JavaScript geschriebene DHTML-Komponente, mit der sich Daten auf HTML-Seiten in einer Tabellen-, Gitter- oder Baumansicht editieren und betrachten lassen; exportiert in Excel oder andere Kalkulationsprogramme, die XML-Dateien oder HTML-Tabellen verarbeiten können
Contrexx Open Source 1.0.9
Astalavista IT Engineering GmbH Thun
Content-Management-System mit Modulen wie Sitemap, Bildergalerie, Newsletter, RSS-Feed und Online-Shop, benötigt MySQL; für den kommerziellen Einsatz bietet der Hersteller verschiedene Software-Pakete ab 600 EUR an, Erweiterungsmodule kosten extra
Andere Software dieser Kategorie
MuPAD Pro 4.0.2
SciFace Software GmbH & Co. KG
Algebrasystem für exakte symbolische und numerische Berechnungen sowie zum Visualisieren mathematischer Zusammenhänge; Add-in für Word verfügbar
Scilab 4.0 final version
INRIA
Scilab 4.0 final by INRIA (Open Source)
Easy Funktion 6.01
Markus Greither
Funktionsplotter, der auch Näherungsfunktionen ermittelt; mit Taschenrechner und Gleichungslöser
pmii 0.0.53
Michael Meyling
Mathematische Axiome, Definitionen und Sätze in QEDEQ-Modulen zusammengefasst, die wiederum auf andere QEDEQ-Module zurückgreifen können
Octave 2.1.73
Octave
Octave by Octave (kostenlos)