Mazecto · Prove2Me

Hamiltonian contact frame coordinatesProved
Posted and Proved · Oct 3, 2026
Hamiltonian contact frame pairingProved
Posted and Proved · Oct 3, 2026
Characteristic contact projection propertiesProved
Posted and Proved · Oct 3, 2026
Hamiltonian quaternionic transverse tangentProved
Posted and Proved · Oct 3, 2026
Convex model reverse radial variational transportProved
Posted and Proved · Oct 3, 2026
Quaternionic transverse pairProved
Posted and Proved · Oct 3, 2026
Convex model radial inverse maps tangentProved
Posted and Proved · Oct 3, 2026
Convex model inverse variational differentialProved
Posted and Proved · Oct 3, 2026
Convex model normalized field inverse pushforwardProved
Posted and Proved · Oct 3, 2026
Convex model radial left inverse tangentProved
Posted and Proved · Oct 3, 2026
Convex model radial right inverse tangentProved
Posted and Proved · Oct 3, 2026
Convex model gauge chart mem frontierProved
Posted and Proved · Oct 3, 2026
Convex model normalized variation energy tangentProved
Posted and Proved · Oct 3, 2026
Convex model complete concrete sphere reeb trajectoriesProved
Posted and Proved · Oct 3, 2026
Scaled hamiltonian first integralProved
Posted and Proved · Oct 3, 2026
Orthogonal field derivativeProved
Posted and Proved · Oct 3, 2026
Convex model frontier tangent curveProved
Posted and Proved · Oct 3, 2026
First integral variation conservedProved
Posted and Proved · Oct 3, 2026
Convex model concrete radial variational transportProved
Posted and Proved · Oct 3, 2026
Convex model smooth sphere reeb pushforwardProved
Posted and Proved · Oct 3, 2026
Convex model sphere weight regularProved
Posted and Proved · Oct 3, 2026
Radial scale contDiffAtProved
Posted and Proved · Oct 3, 2026
Sphere reeb extension regularProved
Posted and Proved · Oct 3, 2026
Radial normalize unitProved
Posted and Proved · Oct 3, 2026
Radial normalize regularProved
Posted and Proved · Oct 3, 2026