„constructive proof“
Suchergebnisse
1.000+ Treffer
-
Operatives Beweisen in der Grundschule – Theoretische Grundlagen und eine Fallstudie
-
Asymptotic trajectories of the KAM torus: A constructive proof
-
Mathematical Pluralism: Constructive Mathematics and Economic Theory
-
Model and Proof Theory of Constructive ALC, Constructive Description Logics
-
Analysis of methods for extraction of programs from non-constructive proofs
-
Beweisen lernen Schritt für Schritt – für einen gelungenen Einstieg ins Mathestudium
-
On the constructive content of proofs
-
Constructive proof of the localization for finite-difference infinite-order operator with random potential
-
Hypergraph Products
-
Constructive uniqueness proofs of stationary vacuum Black Hole spacetimes including the case of degenerate horizons
-
A simple axiomatization and constructive representation proof for Choquet Expexted Utility
-
Figurierte Zahlen – Veranschaulichung als heuristische Strategie
-
Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
-
A short and constructive proof of Tarski’s fixed-point theorem
-
Constructive analysis and computer-certified formal proofs for selected control-theoretical aspects
-
Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis
-
The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions
-
A General Constructive Form of Higman’s Lemma
-
Black-Box Constructive Proofs Are Unavoidable
-
A Machine-Checked Proof of Birkhoff’s Variety Theorem in Martin-Löf Type Theory