Inspect the recorded proof.
Contracts, frozen models, results and limitations belong to each recorded case.
Open recorded V&V cases →Run a maintained example →52 reference sheets connect assumptions, equations, code and checks. Search by topic, then open a route for its derivation and evidence.
52 of 52 sheets.
What mechanical model is represented?
Equilibrium, approximation, measures, units and error definitions.
Interpolation, mapped gradients, integration and element matrices.
Membrane, bending, transverse shear and local condensation.
Section kinematics, local frames, springs and concentrated inertia.
Elasticity, plasticity, StVK, laminate resultants and failure indicators.
Gap, complementarity, enforcement, tangential state and search.
Affine admissible coordinates and projected equilibrium.
Research-only and unsupported families, outside the ordinary public routes.
Which response or equilibrium problem is solved?
The linear static route assembles element stiffness and load contributions, applies prescribed constraints, then solves for displacements and reactions. The analysis detail page separates the general route from the named element combinations whose maturity has been recorded.
The undamped modal route solves a constrained generalized eigenproblem for natural frequencies and mode shapes. It checks eigenpair residuals and mass normalization; a mode calculation does not provide forced-response amplitudes.
Newmark average-acceleration advances displacement, velocity and acceleration through time. When the matrices and step size are constant, the effective matrix can be reused; stability, time-step sensitivity and model scope still need separate checks.
At each prescribed frequency, the route solves a complex dynamic-stiffness system and reports response amplitude and phase. A frequency sweep is a set of steady-state solves; it is not a transient simulation or a general damping identification method.
A proportional preload defines an initial-stress tangent pencil from which the first candidate instability factor is estimated. This is a linearized stability calculation about the chosen base state; it does not solve post-buckling or establish a general collapse load.
These routes combine a declared kinematic description, material law, element family and nonlinear solution lifecycle. Trial state, convergence and rollback rules matter alongside the constitutive equations. Evidence is limited to the named combinations; it does not qualify nonlinear mechanics as a whole.
The experimental rotating route forms a complex quadratic eigenvalue problem for a straight BEAM2 shaft with centered rigid axisymmetric disks at prescribed constant signed speeds. Campbell tracking preserves ambiguous mode associations; forced response, unbalance prediction and validated critical speeds remain outside the stated scope.
How does the numerical calculation proceed?
Newton corrections, trial history, continuation and acceptance.
Factorization, Krylov preconditions and sparse or dense extraction.
Bounded MPI execution and the identities retained in exported fields.
How checks are designed. Read executed cases and decisions on the V&V pages.
Understand what an oracle, correlation or workload record measures. Observed results and acceptance decisions remain on the V&V pages.
Contracts, frozen models, results and limitations belong to each recorded case.
Open recorded V&V cases →Run a maintained example →