Mazecto · Prove2Me

Invertibility of the identity minus a continuous Volterra operatorProved
Posted and Proved · Oct 7, 2026
Smooth postcomposition on continuous maps from a compact spaceProved
Posted and Proved · Oct 7, 2026
Pointwise derivatives lift to the supremum normProved
Posted and Proved · Oct 7, 2026
A real positive definite matrix is positive definite over $\mathbb{C}$ Proved
Posted and Proved · Oct 7, 2026
Derivative of the inverse of a matrix path, entrywiseProved
Posted and Proved · Oct 7, 2026
The graph unitary of a positive symplectic path is a positive unitary pathProved
Posted and Proved · Oct 7, 2026
Smooth inverse time maps of a smooth bijective flowProved
Posted and Proved · Oct 6, 2026
Smooth parameter dependence of fixed points of uniform contractionsProved
Posted and Proved · Oct 6, 2026
The spatial differential of a smooth complete flow is injectiveProved
Posted and Proved · Oct 6, 2026
Eigen-angle sum of the graph unitary of $\mathrm{diag}(I_2,g)$ Proved
Posted · Oct 6, 2026
A smooth tangent vector field preserves a regular level along trajectoriesProved
Posted and Proved · Oct 6, 2026
Local bound for a residual vanishing on a regular levelProved
Posted and Proved · Oct 6, 2026
Local retraction onto a regular level with a constraint-error boundProved
Posted and Proved · Oct 6, 2026
A continuous path in $SL(2,\mathbb{R})$ has a continuous polar angleProved
Posted and Proved · Oct 6, 2026
The frame $F(y)$ is symplectic and $i\,\delta(F(y))$ lies in the right half-planeProved
Posted and Proved · Oct 6, 2026
The graph determinant is multiplicative on $Sp(4)$ up to a factor in the slit planeProved
Posted and Proved · Oct 6, 2026
Frame-flow factorization of the linearized flow at every timeProved
Posted and Proved · Oct 6, 2026
Determinant of the graph unitary $W(\Gamma_g)\,W(\Delta)^{-1}$ on $\mathbb{R}^4$ Proved
Posted and Proved · Oct 6, 2026
Graph angle of the framed linearized flow equals twice the polar angle of the contact pathProved
Posted and Proved · Oct 6, 2026
The squared Minkowski gauge of a star-shaped level is a homogeneous convex modelProved
Posted and Proved · Oct 6, 2026
Homogeneous convex model of a level with positive ambient HessianProved
Posted and Proved · Oct 6, 2026
Time change with a positive periodic rateProved
Posted and Proved · Oct 6, 2026
Coordinates in a symplectic frame $x, X, Z_1, Z_2$ of $\mathbb{R}^4$ Proved
Posted and Proved · Oct 6, 2026
The winding interval is invariant under reparametrization of $[0,1]$ Proved
Posted and Proved · Oct 6, 2026
Continuous complete flow with smooth trajectories and bijective time mapsProved
Posted and Proved · Oct 6, 2026