„constructive proof“
Suchergebnisse
79 Treffer
-
Characteristic polyhedra of idealistic exponents with history – a purely polyhedral approach to the invariant introduced by Bierstone and Milman to give a constructive proof of Hironaka's resolution of singularities in characteristic zero
-
A constructive proof of the Cauchy–Kovalevskaya theorem for ordinary differential equations
-
Constructive Decision via Redundancy-Free Proof-Search
-
From Constructive Field Theory to Fractional Stochastic Calculus. (II) Constructive Proof of Convergence for the Lévy Area of Fractional Brownian Motion with Hurst Index $${{\alpha}\,{\in}\,(\frac{1}{8},\frac{1}{4})}$$
-
A New Constructive and Elementary Proof of a Bernstein–Walsh Theorem, Improved to Infinite Order Convergence, for Functions C ∞ in an Intricate but Smooth Two-Dimensional Real Domain
-
24th International Conference on Types for Proofs and Programs (TYPES 2018)
-
Newton's method and the computational complexity of the fundamental theorem of algebra
-
Deduction Theorem and Peirce Law in General Algebraic Logic – Constructive Proofs in General Sentential Logic and Universal Algebra
-
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
-
Ω-Bibliography of Mathematical Logic – Proof Theory Constructive Mathematics
-
Truth, Proof and Infinity – A Theory of Constructions and Constructive Reasoning
-
Feedback Controller Design for Simultaneous Stabilization – Methods to Construct Simultaneously Stabilizing Controllers and Rational Polynomials with Interpolation Constraints
-
Meaning in Dialogue – An Interactive Approach to Logic and Reasoning
-
Analysis of methods for extraction of programs from non-constructive proofs
-
Structuring Co-constructive Logic for Proofs and Refutations
-
Model and proof theory of constructive ALC – constructive description logics
-
Constructive proofs or constructive statements?
-
On a constructive proof of Kolmogorov's superposition theorem
-
A Rejoinder to Notes on a ‘Constructive Proof of the Existence of a Collateral Equilibrium’