Tools for exploring ancient scrolls, testing ink predictions and inspecting text hypotheses.
INDEPENDENT RESEARCH & SOFTWARE
Computational research
and software.
Hendrick Research develops computer-assisted proofs in fluid dynamics, dynamical systems and mathematical biology, alongside open research software, simulations and interactive tools. Every result is archived with the programs that verify it.
LORENZ SYSTEMRK4, LIVE IN YOUR BROWSER+
6 projects and 10 preprints.
↓PROJECTS
Research software and tools.
Simulation environments, analysis tools
and interactive work. Most are open source.
FEATURED
GENChase
The simulation environment behind the publications.
A private research workspace. A public guide to its methods and experiments.
Explore the techniques Private workspace
An independent atlas of textile materials, their histories, and their science.
A runtime for editing and updating scripts in the pages you already use.
Organize and rediscover your X likes and bookmarks in a searchable library.
Native macOS fan control, live telemetry, and experimental power tuning.
Showing a selection.
PUBLICATIONS
Publications.
Preprints archived on Zenodo, each with
its DOI and the programs that verify it.
Fluid dynamics · Neuroscience · Dynamical systems · Cardiac electrophysiology · Cryptography
Preprints. Not yet peer reviewed.3 selected papers / 10 in the collection
Minimal Winding in the Self-Similar Collapse of Point Vortices
Sharp winding bounds and computer-assisted results for collapsing vortex configurations.
A Finite Rank Window Cannot Show That a Neural Population Code Satisfies the Eigenspectrum Smoothness Bound
The limits of inferring asymptotic smoothness from finite neural eigenspectra.
Chaos and Analytic Non-Integrability of the Classical Double Pendulum: A Computer-Assisted Proof
Interval arithmetic proofs for chaotic dynamics at specified energies.
Point-Vortex Collapse Without Rotation: A Cluster Mechanism, a Phase Diagram and a Continuum Limit
Cluster mechanisms and numerical phase diagrams for vortex collapse without rotation.
Stable Self-Similar Expansion of Four and Five Point Vortices and Confinement of Vortex Patches
Computer-assisted configurations, nonlinear stability, and confinement estimates.
Hopf Bifurcations and Bistability in the Hodgkin-Huxley Equations at the 1952 Parameters: Computer-Assisted Proofs
Computer-assisted analysis of equilibrium stability and bistability in the classical model.
Traveling Pulses in a Neural Field with a Smooth Firing Rate: Computer-Assisted Existence and Spectral Stability
Computer-assisted pulse existence and spectral stability in neural field models.
The Propagated Action Potential of Hodgkin and Huxley at Their 1952 Constants: A Computer-Assisted Existence Proof
A computer-assisted existence proof for the propagated action potential at two temperatures.
Stable Rotating Waves in Rings of a Modified Ventricular Cell Model: Computer-Assisted Proofs
Computer-assisted proofs of stable rotating waves in rings of a ventricular cell model.
Excluding Classical Cipher Families for the 1939 D'Agapeyeff Challenge: Key-Free Counts and Searches with Demonstrated Power
Which classical cipher families the 1939 D’Agapeyeff challenge excludes, by key-free counts and by searches with demonstrated power. No reading is claimed.
ABOUT
About Hendrick Research.
Hendrick Research is an independent research practice working where mathematics, computation and the life sciences meet. Its work centers on rigorous computer-assisted results: proofs in which every inequality is decided in interval or ball arithmetic.
Software is developed with AI-assisted programming under human direction; the questions, methods and verification are set and checked by a person. Results are released as preprints with their programs and data, and each paper states what was and was not verified. None has yet been peer reviewed.
Corrections and questions are welcome on GitHub.