Mathematics

13M, new 7th grader. I study math in my free time constantly, this was my latest STAR test score. I just needed somewhere to share this.

last yr i was at a 9th grade level in math, and a college level in ELA; I managed to get up to the rough...

at what level of math/physics do you have to be at to understand the Navier Strokes equation?

i just started hearing a lot about this problem coz of the ai and stuff and when i say it i literally understood nothing.(im currently...

A computer-assisted upper bound for the de BruijnNewmanconstant < 0.158

An explicit piecewise-affine barrier for the squared imaginary parts of the zeros of the heat deformation of Riemanns xi function. The resulting upper bound for...

Question about the Lean formalization of the recent NavierStokes blow-up result: is compact support of the force postulated rather than proved?

Hi all, Im trying to understand the recent Lean formalization of the claimed finite-time blow-up for 3D NavierStokes with forcing. Im not a Lean expert, so...

Mathematics

Posts:

13M, new 7th grader. I study math in my free time constantly, this was my latest STAR test score. I just needed somewhere to share this.

at what level of math/physics do you have to be at to understand the Navier Strokes equation?

A computer-assisted upper bound for the de BruijnNewmanconstant < 0.158

Question about the Lean formalization of the recent NavierStokes blow-up result: is compact support of the force postulated rather than proved?