torsion

⚡🧠A finite element Python implementation

A tool for optimizing spiral torsion springs, intended for but not limited to 3D-printing.

A Python library for calculations related to mechanics of materials.

Dynamical System created from mapping of curvature and torsion of image of parametric planar curve when stereographically projected to the unit sphere.

Torsional Holofractal Theory (TTH): a geometric framework for objective quantum collapse, integrated information, and the physical basis of consciousness.

.NET library for elliptic curves over the rationals and finite fields, with native computations and optional LMFDB integration

Derive and integrate the linearized equations of motion of any tensorial symbolic Lagrangian — symbolic derivation via Wolfram/xAct, numerical evolution via spectral solvers and Bayesian inference tooling.

Python tools for piecewise-straight thin-walled section analysis.

Unificação do Eletromagnetismo e da Força Fraca através da Geometria de Riemann-Cartan, propondo o Ângulo de Weinberg como constante geométrica.

Storage Utility

This program saves the hassle of normal computation and computes the velocity, speed, unit tangent vector, curvature, normal vector, bi-normal vector, and torsion of a given position vector.

Bounded Frenet–Serret geometry and deterministic evidence. RSH constructs a three-dimensional path by prescribing curvature and torsion inside explicit Robitaille bounds, integrating the Frenet–Serret frame, and translating the exact discrete midpoint to the coordinate origin.

Mathematica apps on open I sections loaded by non-uniform torsion

Reconstrua curvas planas e espaciais a partir da curvatura κ(s) e da torção τ(s) (Teorema Fundamental das Curvas). Painel interativo em tempo real e galeria de curvas, no navegador, mais uma CLI em Python.

Proof of Degtyarev–Shimada Conjecture 1.2 for the Fermat varieties of every degree in every even dimension, algebraic core verified in Lean 4; integral Hodge conjecture for prime degree, degree 4, degree prime to (n+1)!. Paper (DOI), Lean project, logs, cold readings, 222 standalone theorems — directed by a non-mathematician, built with Claude.