Welcome to Mwmbl! Feel free to submit a site to crawl. Please read the guidelines before editing results.
To contribute to the index you can get our Firefox Extension here. For recent crawling activity see stats.
-
https://proofwiki.org/wiki/Weierstrass-Bolzano_Theorem — found via Mwmbl
Bolzano-Weierstrass Theorem - ProofWiki
Bolzano-Weierstrass Theorem This article has been identified as a candidate for Featured Proof status. If you do not believe that this proof is worthy of…
-
https://eprints.illc.uva.nl/id/eprint/1646 — found via Mwmbl
PP-2018-14: The Bolzano-Weierstrass Theorem in Generalised Anal…
PP-2018-14: The Bolzano-Weierstrass Theorem in Generalised Analysis Abstract Abstract. Let κ be an uncountable regular cardinal with κ<κ = κ. We consider…
-
http://web.mat.bham.ac.uk/R.W.Kaye/seqser/completeness2.html — found via Mwmbl
The Bolzano-Weierstrass Theorem
The Bolzano-Weierstrass Theorem 1. Introduction We have seen the completeness axiom for the reals in the form of the Monotone Convergence Theorem. This w…
-
http://mathworld.wolfram.com/Bolzano-WeierstrassTheorem.html — found via Mwmbl
Bolzano-Weierstrass Theorem -- from Wolfram MathWorld
Bolzano-Weierstrass Theorem For , an infinite subset of a closed bounded set has an accumulation point in . For instance, given a bounded sequence, with …
-
https://terrytao.wordpress.com/tag/bolzano-weierstrass-theorem/ — found via Mwmbl
Bolzano-Weierstrass theorem | What's new
Nonstandard analysis is a mathematical framework in which one extends the standard mathematical universe of standard numbers, standard sets, standard func…
-
https://ui.adsabs.harvard.edu/abs/arXiv:1101.0792 — found via Mwmbl
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemm…
NASA/ADS The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract We classify the computational content of the Bolzano-Weierstrass Theo…
-
https://economics.stackexchange.com/a/32779 — found via Mwmbl
mathematical economics - Bolzano-Weierstrass Theorem and Pareto …
Wikipedia says 'The Bolzano–Weierstrass theorem allows one to prove that if the set of allocations is compact and non-empty, then the system has a Pareto…
-
https://us.metamath.org/mpeuni/bwth.html — found via Mwmbl
bwth - Metamath Proof Explorer
Description: The glorious Bolzano-Weierstrass theorem. The first general topology theorem ever proved. The first mention of this theorem can be found in a…
-
http://dx.doi.org/10.2178/jsl/1185803621 — found via Mwmbl
Ideal convergence of bounded sequences | The Journal of Symbolic…
Abstract We generalize the Bolzano-Weierstrass theorem (that every bounded sequence of reals admits a convergent subsequence) on ideal convergence. We sh…
-
https://arxiv.org/abs/1101.0792v1 — found via Mwmbl
[1101.0792v1] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
http://www.win.tue.nl/~jfg/heerhugo.html — found via Mwmbl
The propositional prover HeerHugo 0.3
The propositional theoremprover HeerHugo This page is slightly adapted on August 23, 2004, but the tool and this page basically stem from Jan 7, 1998. He…
-
https://www.ycombinator.com/companies/theorem — found via Mwmbl
Theorem: The mission of Theorem is to make credit safe and avail…
Abeer Agrawal, Founder/CTO Prior to Levro, Abeer was the Co-founder & CTO of Theorem (YC W14), a machine learning enabled hedge fund which he built to ov…
-
https://stackoverflow.com/tags/theorem/info — found via Mwmbl
'theorem' tag wiki - Stack Overflow
About In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previo…
-
https://math.stackexchange.com/a/2147299 — found via Mwmbl
calculus - Bolzano–Weierstrass theorem conclusion - Mathematics …
$\begingroup$But it can! And this is why Bolzano-Weierstrass cannot (in general) let you conclude two such sequencies. But you can add the assumption tha…
-
http://xkcd.com/1591 — found via Mwmbl
xkcd: Bell's Theorem
t=0 nanoseconds Person 1: This is called Bell's Theorem. It was first- ((distance marker cross-panel indicating 5 meters between Person 1 and Person 2)) …
-
http://dl.acm.org/doi/10.5555/882505.885053 — found via Mwmbl
Theorems for Efficient Identification of Indistinguishable Fault…
Abstract We introduce theorems that enable efficient identification of indistinguishable fault pairs in synchronous sequential circuits using an iterativ…
-
https://everything2.com/title/theorem — found via Mwmbl
theorem - Everything2.com
⇒ A theorem is something to be proved, and is thus distinguished from a problem, which is something to be solved. In analysis, the term is sometimes appl…
-
http://lambda-the-ultimate.org/node/1911 — found via Mwmbl
Theorem proving and patents ... | Lambda the Ultimate
User login Navigation Theorem proving and patents ... Patents are supposed to be formal specifications of inventions that contain enough information for …
-
https://github.com/Theorem — found via Mwmbl
Theorem · GitHub
Saved searches Use saved searches to filter your results more quickly You signed in with another tab or window. Reload to refresh your session.You signed…
-
https://media.ccc.de/v/bob2021-theorems-for-free-hupel — found via Mwmbl
Theorems for free - media.ccc.de
Theorems for free In the typed functional programming communities, there is much talk about “reasoning with types”. But rarely is this elaborated into so…
-
http://cstheory.stackexchange.com/q/34707 — found via Mwmbl
theorems for universal set of quantum gates for SU(d) - Theoreti…
It seems that there is a theorem that for prime dimension d, the set of Clifford gates and one non-Clifford gate together forms a universal set of quantu…
-
https://mathoverflow.net/q/444996?lastactivity — found via Mwmbl
Theorems in set theory that use computability theory tools, and …
I recently learnt that the proof of the classical theorem "$\mathsf{AD}$$\implies$$\aleph_1$ is measurable" uses computability theory tools (or at least …
-
http://lesswrong.com/w/vnm-theorem — found via Mwmbl
VNM Theorem - LessWrong
VNM Theorem The VNM theorem is one of the classic results of Bayesian decision theory. It establishes that, under four assumptions known as the VNM axiom…
-
http://lwn.net/Articles/175345/ — found via Mwmbl
The noisy coding theorem has nothing to do with electromagnetic …
The theorem does *not* talk about interference in the electromagnetic spectrum. The theorem talks about a 'channel' in a very abstract sense (and specifi…