Search Results

I've seen plenty of ancient diagrams representing plane figures.* But I'd like to know how ancient geometers, especially around the time of Euclid, might have represented solids. Did they use diagrams …

I have problems to find out how to do discrete simulation of the Lévy walk. I can sum my doubts in a few questions: According to Wikipedia it seems to me that Lévy flight can be produced just by int …

I'm constructing a Coq library for Big-O notation. Naturally, I'd like it to be as general as possible. The Wikipedia page on Big-O notation says The generalization to functions taking values in …

When I was a student, I learned from some of my teachers that Abel submitted an important part of his work to Cauchy, as a member of the "Académie des Sciences de Paris". But Cauchy hid it in a drawer …

Recall $\text{sinc}(x)=\frac{\sin x}x$. It's a familiar exercise that $\int_0^{\infty}\text{sinc}(x)\,dx=\frac{\pi}2$. But, at present, I wish to ask about the following claim on a "sinc-ing" produc …

Suppose $a^2+b^2-c^2=0$ are formed by a (integral) Pythagorean triple. Then, there are $3\times3$ integer matrices to generate infinitely many more triples. For example, take $$\begin{bmatrix}-1&2&2 \ …

Everybody who catches a fleeting glimpse of Woodin's central papers on Ultimate $L$ (i.e. Suitable Extender Models I & II), admits that they aren't so tempting for lazy readers who don't like to deal …

Background: Given an increasing set of points $(x_i)_{i=0}^n \subset \mathbb [a,b]$, a cubic spline $S(x)\in C^2([a,b])$ is a piecewise cubic polynomial on each subinterval $(x_i, x_{i+1})$. Given a s …

Let $G$ be a compact Lie group (not necessarily connected) and $\rho:G\to \mathrm{End}(V)$ an irreducible (hence finite-dimensional) unitary representation of $G$. Let $\mathfrak{g}$ be the Lie algebr …

What computational mathematics problems that could be used as proof-of-work problems for cryptocurrencies? To make this question easier to answer, I want proof-of-work systems that work in cryptocurre …

Let $X_0$ be a locally noetherian scheme and $\mathcal{F}_0$ a coherent $\mathcal{O}_{X_0}$-module. Let $C$ be an artin ring with residue field $k$ and let $X \to Spec C$ be a (flat) deformation of $X …

Recent publication of Hironaka seems to provoke extended discussions, like Atiyah's proof of almost complex structure of $S^6$ earlier... Unlike Atiyah's paper, Hironaka's paper does not have a histor …