Search Results

Kaltofen's 1985 proof (Wayback machine) seems completely elementary and effective. E. Kaltofen. Polynomial-time reductions from multivariate to bi- and univariate integral polynomial factorization. S …

In this case they might be these: http://web.archive.org/web/20000901075112/http://www.cgtp.duke.edu/ITP99/segal/ …

Recently, someone asked on MO about lecture notes from Graeme Segal's "Stanford lectures" on TQFT, and the answer was to check here. When scrolling over the notes, I stumpled of Prop. 2.8.2 in lectu …

In this case check: https://web.archive.org/web/*/http://www.treewidth.com/ There are many snapshots over time, though the downloads fail for me. …

Probably the best introduction has already been mentioned by Donu Arapura, and it is available online: Marc Levine, Mixed Motives (2005) Section 1 ("Essentials of Nori Motives") of this paper migh …

(Answer 1) After considering this question for a few days, I found an answer. It uses a different family of elliptic curves from Dujella's and yields quadruples that can be extended to sextuples. …

Link to the snapshots The latest snapshot from 2010: https://web.archive.org/web/20100707204150/http://math.arizona.edu/~tgk/fast_sle1.0.tar.gz …

Following Poonen [1], Davis[2], Chaitin [3], and Ord and Kieu [4]: Is it possible that there is a polynomial $P$ of degree $d\le 4$, along with a prefix-free universal Turing machine $T$, such that t …

I am fine-tuning a short note on basic category theory; any such course must introduce monads, and I want to give a bit of history of the subject. I soon realized that I don't know the precise series …

Does there exist an archive somewhere of posts to the USENET newsgroup sci.math.research? The best approximation I'm aware of is Google Groups. However, despite the Google brand name, the search capa …

Let $C^k$ be the set of $k$th-order smooth real functions $f:\mathbb{R}\to\mathbb{R}$, and $C^\infty$ the set of smooth real functions. One can specify an $f\in C^k$ by specifying all its derivatives …

The articles I found： Picard–Lindelöf theorem in Fréchet spaces(f is $C^m$): http://matwbn.icm.edu.pl/ksiazki/sm/sm137/sm13721.pdf Picard–Lindelöf theorem in Banach spaces(f is $C^r$): https://web.archive.org …

This article presents an algorithm to compute Mertens function in $O(x^{2/3}(\log \log x)^{1/3})$ time and $O(x^{1/3}(\log \log x)^{2/3})$ space, I wonder if it is the same one you are referring to. O …

The problem of choosing subsets at random has been studied in a rather different context in mathematical economics. Suppose we choose a subset of $[0,1]$ by independently throwing a fair coin for each …

The Finnish mathematician Pertti Lounesto produced, with computer aid, a series of counterexamples to published and accepted theorems on Clifford algebras. He recorded his findings in the following tw …