Results 71 to 80 of about 589,406 (95)
Eberlein–Šmulian theorem and some of its applications [PDF]
, 2014 Masteroppgave i matematikkdidaktikk – Universitetet i Agder 2014The thesis is about Eberlein-Šmulian and some its applications. The goal is to investigate and explain different proofs of the Eberlein-Šmulian theorem. First we introduce the general theory
Kristina Qarri
openalex +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Towards solid abelian groups: A formal proof of Nöbeling's theorem
International Conference on Interactive Theorem Proving, 2023Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a topological space by a more sophisticated but better-behaved idea, namely ...
D. Ásgeirsson
semanticscholar +1 more source
International Workshops on First Order Theorem Proving, 2023
Resolution modulo is a first-order theorem proving method that can be applied both to first-order presentations of simple type theory (also called higher-order logic) and to set theory. When it is applied to some first-order presentations of type theory,
Gilles Dowek
semanticscholar +1 more source
Resolution modulo is a first-order theorem proving method that can be applied both to first-order presentations of simple type theory (also called higher-order logic) and to set theory. When it is applied to some first-order presentations of type theory,
Gilles Dowek
semanticscholar +1 more source
Automated Theorem Proving for Metamath
International Conference on Interactive Theorem Proving, 2023Metamath is a proof assistant that keeps surprising outsiders by its combination of a very minimalist design with a large library of advanced results, ranking high on the Freek Wiedijk’s 100 list.
Mario M. Carneiro, C. Brown, J. Urban
semanticscholar +1 more source
Pointwise Compactness in Spaces of Continuous Functions
, 1987In this paper we describe a class of topological spaces X such that Cp(X), the space of continuous functions on A'endowed with the topology of pointwise convergence, is an angelic space.
J. Orihuela
semanticscholar +1 more source
Minimaxtheoreme für die diskrete gemischte erweiterung von spielen und ein approximationssatz 1
, 1980Using a theorem of Konig [10] and a theorem proved earlier [7] minimax theorems for the discrete mixed extension of two-person zero-sum games are derived.
J. Kindler
semanticscholar +1 more source
Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory
International Conference on Interactive Theorem ProvingWe present Duper, a proof-producing theorem prover for Lean based on the superposition calculus. Duper can be called directly as a terminal tactic in interactive Lean proofs, but is also designed with proof reconstruction for a future Lean hammer in mind.
Joshua Clune +3 more
semanticscholar +1 more source
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
International Conference on Interactive Theorem ProvingFormalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation Theorem formalized
Reynald Affeldt, Zachary Stone
semanticscholar +1 more source
On the Weak Topology of Quaternionic Hilbert Spaces
Advances in Applied Clifford Algebras, 2018M. Fashandi
semanticscholar +2 more sources