• Gummel mapping/method
• the part about machine-executed proofs sounds like https://media.ccc.de/v/34c3-9105-coming_soon_machine-checked_mathematical_proofs_in_everyday_software_and_hardware_development
• "semantic TeX" => CTAN package?
  • OMDoc
  • sTeX
  • MMT
  • TGView
  • MPD Viewer
• OpenDreamKit = domain-specific language?
• MaMoReD

• R/(gg)plots visualise => linguists detect interesting phenomena to analyse further
• Wang2Vec: train backprogagation network

Like so.

Annotate math with math!

$$\varepsilon = \frac{2}{h^3} \int_0^{p_F} \sqrt{p^2 c^2 + m^2 c^4} \cdot 4 \pi p^2 dp=$$

$$\frac{8 \pi}{h^3} \frac{m c^2}{\lambda^3} \int_0^x \sqrt{1+y^2} \cdot y^2 dy $$

$$\varepsilon = \frac{2}{h^3} \int_0^{p_F} \sqrt{p^2 c^2 + m^2 c^4} \cdot 4 \pi p^2 dp=$$

$$\frac{8 \pi}{h^3} \frac{m c^2}{\lambda^3} \int_0^x \sqrt{1+y^2} \cdot y^2 dy$$

https://www.youtube.com/watch?v=Mh4f9AYRCZY

You had me already at the Coffee Cup picture over the equations! :)

This only applies to Little-endian architecture. Big-endian is reversed.

More at: https://en.wikipedia.org/wiki/Endianness#Examples

maybe it should be \(x^3\)

Sunil Singh asks us to stop promoting mathematics based on its current applications in business and science. Math is an art that should be enjoyed for its own sake.

This reminded me of A Mathematician's Lament by Paul Lockhart. This is a 25-page essay which was later worked into a 140-page book. (And Sunil Singh has read at least one of them. He credits Lockhart in one of the replies.)

It also reminds me of this article on the history of Gaussian elimination and the birth of matrix algebra. Newton's algebra text included instructions for solving systems of equations -- but it didn't have much practical use until later. (Silly word problems are as old as mathematics.)

A forest is just a collection of trees. The main difference is that a forest does not necessarily need to be connected.

hyperuniform distribution - Appears random at smaller scales, but more predictable at larger scales.

This has real potential because of the research base that supports the instructional approach.

New property of prime numbers discovered. Primes greater than 5 can end with 1, 3, 7, or 9. The next prime is less likely to end with the same digit, and biased toward one of the remaining three. For instance, a prime ending in 3 is most likely to be followed by a prime ending in 9. The bias evens out as the primes get larger, but only very slowly.

http://arxiv.org/abs/1603.03720

Number Theory: In Context and Interactive, Karl-Dieter Crisman (online textbook)

A First Course in Linear Algebra, Robert A. Beezer<br> Free as PDF or online.

Free courses and tutorials from the Santa Fe Institute on subjects related to complex systems science.

I would like to see an accurate array of photographs of these tasty lunch options. What does a a "Princess Sandwich" even look like? Is a "Celery Sandwich" satisfying? I'd be pleased to see precise measurements of the ideal "Tea Biscuit" Sandwich.

Category Theory for the Sciences by David I. Spivak<br> Creative Commons Attribution-NonCommercial-ShareAlike 4.0<br> MIT Press.

Open source textbooks approved by the American Institute of Mathematics.

Qual a relação dessa desigualdade com a dita desigualdade de Penrose Riemanniana provada por Huisken-Ilmanen e Bray?

Qual a relação dessa desigualdade com a dita desigualdade de Penrose Riemanniana provada por Huisken-Ilmanen e Bray?

Isso significa que a taxa expansão nula futura (para fora) \( \theta \) é no mínimo $$ \sqrt{16 \pi |\Sigma|} $$

f:R^2 \rightarrow R demek f(x,y)=z | Skalar-Değerli f f:R \rightarrow R^2 demek f(x)=(y,z) | VektörelDeğ f

This definition of computable Dedekind cut is wrong. The correct definition is that the lower and the upper cut be computably enumerable.