zx-calculus
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
Bifurcation exchanging stability between equilibria
Cronin's Turing-complete chemputer for programmable chemical synthesis
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
Critical opalescence at phase transitions: diverging correlation length, light scattering, and the visual signature of criticality in fluids, proteins, and complex systems
Modelica acausal equation-based multi-domain modeling via Wolfram Language. Chemputation-native simulation with automatic conservation laws. Lambda-Modelica bridge for string diagram semantics. Fixed point classification for 3-coloring/3-MATCH systems.
Bifurcation creating/destroying equilibrium pair
Stability via Lyapunov's direct method
Verify multiple effect interpretations through propagator networks with temporal coalgebra bisimulation and common fixpoint solutions.
Existence and uniqueness of solutions to ODEs with initial conditions
CP-SAT constraint model for TAMC Family Medicine scheduling optimization. Use when building or debugging the OR-Tools solver for faculty/resident scheduling. Documents hard constraints, soft constraints, decision variables, and objective functions.
Component skill for systematic result interpretation with intellectual honesty in DataPeeker analysis sessions
Process Ericsson RAN features with MO class intelligence, parameter correlation analysis, and cognitive consciousness integration. Use when analyzing Ericsson MO classes, correlating RAN parameters, optimizing feature performance, or implementing intelligent RAN feature management.
Stability classification via Jacobian eigenvalues
Quality criteria, workflows, and multi-agent analysis patterns for curating high-quality golden dataset entries
Power spectrum analysis for frequency domain insights and periodicity detection
Signal correlation analysis for similarity and delay detection
Assignment of vectors to points in phase space defining dynamics