Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/C/LibreOffice/external/gpgmepp/ (LibreOffice Version 25.8.3.2^©) Datei vom 5.10.2025 mit Größe 349 B

Quelle Nonstandard_Analysis.thy Sprache: unbekannt

(*  Title:      HOL/Nonstandard_Analysis/Nonstandard_Analysis.thy
    Author:     Jacques D. Fleuriot, University of Cambridge
    Author:     Lawrence C Paulson, University of Cambridge
    Author:     Brian Huffman

Nonstandard analysis.
*)

theory Nonstandard_Analysis
imports Hypercomplex
begin

end