Interactive Applications
Zeq OS ships with 27+ interactive applications spanning scientific computing, engineering, finance, and more. Every application runs operator-verified computations synchronized to HulyaPulse at 1.287 Hz.
All applications share a common architecture: a browser-based front end that calls into the Zeq OS operator registry, verifies results through the 7-Step Wizard Protocol, and timestamps every computation against the HulyaPulse temporal heartbeat. The sections below catalog every application by domain, list the key algorithms they use, and explain how to launch them.
Application Catalog
Core Platform (1--5)
The foundational layer that powers every other application in the ecosystem. These five services provide the mathematical intelligence pipeline, browser-level validation, developer tooling, community collaboration, and the research publication system that all downstream applications depend on.
| # | Application | Key Algorithms / Capabilities | Key Operators |
|---|---|---|---|
| 1 | Mathematical Intelligence | MI(Q) = LLM ∘ F ∘ D(Q) pipeline, 1,576 operators across 64 categories | MI-CORE, MI-PIPE, MI-VERIFY |
| 2 | AI Physics Validator (Chrome Extension) | Intercepts physics queries in ChatGPT, Claude, Gemini, Grok, and DeepSeek; validates against the operator registry in real time | VAL-INTERCEPT, VAL-MATCH, VAL-SCORE |
| 3 | Developer SDK (VS Code Extension) | IntelliSense for 1,576 operators, live operator debugging, KO42 sync | SDK-LINT, SDK-DEBUG, SDK-SYNC |
| 4 | Community Hub | Collaborative verification, shared experiments, peer review workflows | HUB-SUBMIT, HUB-VERIFY, HUB-RANK |
| 5 | Research Papers & Proofs | HULYAS framework publications, LaTeX proof rendering, citation graph | PUB-RENDER, PUB-CITE, PUB-VERIFY |
Mathematical Intelligence is the central engine. Every physics query Q is decomposed by the domain classifier D, filtered through the operator framework F, and composed with LLM reasoning to produce a verified answer. The remaining core services extend this pipeline: the AI Physics Validator brings it into the browser, the Developer SDK exposes it in VS Code, the Community Hub lets researchers share verified experiments, and the Research Papers service publishes formal proofs.
Scientific Computing (6--11)
High-fidelity simulations and analysis tools for physics, quantum mechanics, encryption, and signal processing. These applications form the scientific backbone of Zeq OS, providing the computational primitives that more specialized tools build upon.
| # | Application | Key Algorithms / Capabilities | Key Operators |
|---|---|---|---|
| 6 | Quantum Logic Solver | Shannon entropy via QL1 operator, qubit state evolution, measurement probability | QL1, QL-ENTROPY, QL-MEASURE |
| 7 | 3D Physics Simulator | N-body gravitational simulation, orbital mechanics, Verlet integration | SIM-NBODY, SIM-ORBIT, SIM-VERLET |
| 8 | Game Engine Sync | Unity / Unreal / Godot integration at 1.287 Hz timebase, deterministic physics replay | GE-SYNC, GE-TICK, GE-REPLAY |
| 9 | 7-Step Verification Wizard | AutoPilot mode with 105+ premade experiments, precision targeting to 0.1% | WIZ-AUTO, WIZ-STEP, WIZ-VERIFY |
| 10 | HITE Encryption v2.0 | AES-256-GCM + Landauer Certificate, temporal phase-locked keys, thermodynamic brute-force bound (3.34 x 10^56 J) | HITE-ENC, HITE-DEC, HITE-CERT |
| 11 | AI Skills Studio | 12 industry templates, drag-and-drop skill builder, operator chaining | SKILL-BUILD, SKILL-CHAIN, SKILL-DEPLOY |
The Quantum Logic Solver uses the QL1 operator to compute Shannon entropy for arbitrary qubit states, making it the reference implementation for quantum information metrics. The 7-Step Verification Wizard provides an AutoPilot mode that walks users through all 105+ premade experiments step by step, automatically selecting domains, binding inputs, and checking precision against the HulyaPulse clock. HITE Encryption v2.0 is a standalone web application that combines AES-256-GCM symmetric encryption with a Landauer Certificate -- a thermodynamic proof that brute-forcing the key would require more energy than 3.34 x 10^56 joules, making it physically impossible.
Engineering & Industry (12--20)
Domain-specific tools for aerospace, finance, medicine, structural engineering, neuroscience, climate science, robotics, quantum computing, and materials science. Each application targets a professional discipline and implements the standard algorithms practitioners in that field expect.
| # | Application | Key Algorithms / Capabilities | Key Operators |
|---|---|---|---|
| 12 | Orbital Mission Planner | Hohmann transfer orbits, bi-elliptic maneuvers, delta-v budget calculator, patched conics | ORB-HOHMANN, ORB-DELTAV, ORB-PATCH |
| 13 | Financial Risk Analyzer | Monte Carlo VaR (10,000 simulations), Black-Scholes options pricing, Greeks computation | FIN-VAR, FIN-BS, FIN-GREEKS |
| 14 | Medical Dosage Calculator | GFR (Cockcroft-Gault), BMI, BSA (Du Bois), creatinine clearance, safety-range checks | MED-GFR, MED-BMI, MED-BSA |
| 15 | Structural Engineering Toolkit | Euler-Bernoulli beam deflection, moment-of-inertia calculations, SVG visualization of stress diagrams | STRUCT-BEAM, STRUCT-MOI, STRUCT-SVG |
| 16 | Neural Signal Processor | EEG time-series analysis, Discrete Fourier Transform, signal entropy, band-power extraction (delta, theta, alpha, beta, gamma) | NEURO-DFT, NEURO-ENTROPY, NEURO-BAND |
| 17 | Climate & Environment Modeler | RCP scenario projection (2.6, 4.5, 6.0, 8.5), CO2 concentration curves, radiative forcing, temperature anomaly estimation | CLIM-RCP, CLIM-CO2, CLIM-FORCE |
| 18 | Robotics Kinematics Lab | Forward kinematics (Denavit-Hartenberg), inverse kinematics (Jacobian transpose), workspace visualization | ROBO-FK, ROBO-IK, ROBO-JACOB |
| 19 | Quantum Circuit Designer | Visual gate builder (H, X, Y, Z, CNOT, Toffoli), Bloch sphere state visualization, circuit depth analysis | QC-GATE, QC-BLOCH, QC-DEPTH |
| 20 | Materials Science Explorer | Stress-strain curves, Young's modulus fitting, fatigue life S-N curves, Basquin equation | MAT-STRESS, MAT-FATIGUE, MAT-BASQUIN |
The Financial Risk Analyzer runs 10,000 Monte Carlo paths to estimate Value-at-Risk at the 95% and 99% confidence levels, then prices European call and put options using the Black-Scholes closed-form solution with full Greeks output (delta, gamma, theta, vega, rho). The Medical Dosage Calculator includes built-in safety-range checks: if a computed dosage exceeds FDA-recommended limits for the patient's renal function, the application flags the result before it can be used. The Robotics Kinematics Lab computes forward kinematics via Denavit-Hartenberg matrices and solves inverse kinematics using the Jacobian transpose method, with a 3D workspace visualization that updates in real time.
Advanced Science (21--27)
Cutting-edge simulations in cosmology, vehicle dynamics, aerodynamics, traffic engineering, deep learning, signal processing, and computational fluid dynamics. These applications push beyond textbook examples into research-grade computational tools.
| # | Application | Key Algorithms / Capabilities | Key Operators |
|---|---|---|---|
| 21 | Cosmic Background Analyzer | CMB temperature heatmap, Planck parameter extraction (H0, Omega_b, Omega_c, Omega_Lambda), angular power spectrum | CMB-MAP, CMB-PLANCK, CMB-SPECTRUM |
| 22 | Vehicle Dynamics Analyzer | Bicycle model, RK4 integration, Pacejka Magic Formula (B=10, C=1.9, D=1.0), lateral/longitudinal force plots | VEH-BICYCLE, VEH-RK4, VEH-PACEJKA |
| 23 | Aerodynamics Wind Tunnel | NACA 4-digit airfoil profile generation, Blasius boundary-layer solution, lift/drag coefficient estimation | AERO-NACA, AERO-BLASIUS, AERO-CL |
| 24 | Traffic Flow Optimizer | Dijkstra / A* shortest-path routing, LWR (Lighthill-Whitham-Richards) traffic model, Webster signal timing | TRAF-DIJKSTRA, TRAF-LWR, TRAF-WEBSTER |
| 25 | Neural Architecture Designer | Conv / Dense / LSTM layer analysis, parameter counting, FLOPs estimation, architecture SVG export | NN-CONV, NN-LSTM, NN-FLOPS |
| 26 | Signal Classification Studio | FFT spectral analysis, K-Nearest Neighbors classification (K=5), ROC curve generation, AUC scoring | SIG-FFT, SIG-KNN, SIG-ROC |
| 27 | Fluid Dynamics Simulator | D2Q9 Lattice Boltzmann Method, BGK collision operator, bounce-back boundary conditions, Reynolds number sweep | LBM-D2Q9, LBM-BGK, LBM-REYNOLDS |
The Vehicle Dynamics Analyzer couples a bicycle model with fourth-order Runge-Kutta integration and the Pacejka Magic Formula for tire forces (B=10, C=1.9, D=1.0). Users can sweep steering angle and velocity to see how lateral and longitudinal forces evolve in real time. The Fluid Dynamics Simulator implements the D2Q9 Lattice Boltzmann Method with BGK collision and bounce-back boundaries, allowing users to simulate lid-driven cavity flow and channel flow at varying Reynolds numbers. The Traffic Flow Optimizer combines graph-based shortest-path algorithms (Dijkstra and A*) with the macroscopic LWR conservation model and Webster signal timing to optimize intersection throughput.
Specialized Domains (28--36)
Expert-level tools for reinforcement learning, thermodynamics, electromagnetics, pharmacology, genomics, biomechanics, seismology, oceanography, and power systems. These applications address niche scientific and engineering disciplines with full operator verification.
| # | Application | Key Algorithms / Capabilities | Key Operators |
|---|---|---|---|
| 28 | Reinforcement Learning Playground | Q-learning, SARSA agents, epsilon-greedy exploration, grid-world and continuous environments | RL-QLEARN, RL-SARSA, RL-EXPLORE |
| 29 | Thermodynamic Cycle Analyzer | Carnot, Otto, Diesel, and Rankine cycles; interactive PV diagrams; thermal efficiency calculation | THERMO-CARNOT, THERMO-OTTO, THERMO-PV |
| 30 | EM Field Visualizer | Coulomb's law field lines, Biot-Savart magnetic field, dipole radiation pattern, Poynting vector | EM-COULOMB, EM-BIOT, EM-DIPOLE |
| 31 | Pharmacokinetics Modeler | 1-compartment and 2-compartment PK models, RK4 integration, AUC calculation, half-life estimation | PK-1COMP, PK-2COMP, PK-AUC |
| 32 | Genomics Sequence Analyzer | Needleman-Wunsch global alignment, Smith-Waterman local alignment, BLOSUM62 scoring matrix, gap penalty tuning | GEN-NW, GEN-SW, GEN-BLOSUM |
| 33 | Biomechanics Analyzer | Inverse dynamics joint torque calculation, Hill muscle model (force-velocity, force-length), gait cycle analysis | BIO-INVDYN, BIO-HILL, BIO-GAIT |
| 34 | Seismology Station | P-wave and S-wave ray tracing, travel-time curves, Wadati diagram, epicenter triangulation | SEIS-PWAVE, SEIS-SWAVE, SEIS-WADATI |
| 35 | Ocean Dynamics Lab | Airy wave theory (linear wave dispersion), Ekman spiral depth profile, Coriolis-adjusted current modeling | OCEAN-AIRY, OCEAN-EKMAN, OCEAN-CORIOLIS |
| 36 | Power Grid Analyzer | Newton-Raphson AC power flow, bus admittance matrix (Y-bus), PQ and PV bus classification, convergence diagnostics | GRID-NR, GRID-YBUS, GRID-CONV |
The Thermodynamic Cycle Analyzer lets users compare Carnot, Otto, Diesel, and Rankine cycles side by side on interactive PV diagrams, computing thermal efficiency and work output for each. The Genomics Sequence Analyzer implements both Needleman-Wunsch (global) and Smith-Waterman (local) alignment algorithms with a configurable BLOSUM62 scoring matrix and adjustable gap penalties. The Power Grid Analyzer solves the AC power-flow problem using Newton-Raphson iteration on the Y-bus admittance matrix, classifying each bus as PQ (load), PV (generator), or slack, and reporting convergence diagnostics after each iteration.
Domain Coverage Summary
The 36 applications span 14 top-level scientific and engineering domains. The table below shows how many applications contribute to each domain and the total operator count drawn from the registry.
| Domain | Applications | Operator Count | Example Operators |
|---|---|---|---|
| Core Platform | 1--5 | 1,576 | MI-CORE, SDK-SYNC |
| Quantum Mechanics | 6, 19 | 87 | QL1, QC-GATE |
| Classical Mechanics | 7, 22, 33 | 124 | SIM-NBODY, VEH-RK4, BIO-INVDYN |
| Thermodynamics | 10, 29 | 62 | HITE-CERT, THERMO-CARNOT |
| Electromagnetics | 30 | 41 | EM-COULOMB, EM-BIOT |
| Fluid Dynamics | 23, 27, 35 | 93 | LBM-D2Q9, AERO-BLASIUS, OCEAN-AIRY |
| Signal Processing | 16, 26 | 56 | NEURO-DFT, SIG-FFT |
| Finance | 13 | 38 | FIN-VAR, FIN-BS |
| Medicine & Pharmacology | 14, 31 | 45 | MED-GFR, PK-2COMP |
| Structural & Materials | 15, 20 | 52 | STRUCT-BEAM, MAT-FATIGUE |
| Aerospace & Orbital | 12 | 34 | ORB-HOHMANN, ORB-DELTAV |
| Climate & Earth Science | 17, 34, 36 | 71 | CLIM-RCP, SEIS-PWAVE, GRID-NR |
| Robotics & Control | 18 | 29 | ROBO-FK, ROBO-IK |
| Machine Learning | 25, 28 | 48 | NN-CONV, RL-QLEARN |
The total across all domains exceeds 1,576 unique operators because some operators (such as Shannon entropy and RK4 integration) appear in multiple domain catalogs.
Key Algorithms
The table below provides a cross-reference of the major algorithms used throughout the application catalog. Each algorithm maps to one or more applications and is synchronized to the 1.287 Hz HulyaPulse for reproducible, timestamped results.
| Algorithm | Applications | Description |
|---|---|---|
| Lattice Boltzmann (D2Q9) | Fluid Dynamics Simulator (#27) | Mesoscopic fluid solver using a 9-velocity lattice with BGK collision, streaming, and bounce-back boundary conditions. |
| Runge-Kutta 4th Order | Vehicle Dynamics (#22), Pharmacokinetics (#31) | Classical fourth-order ODE integrator providing O(h^4) local truncation error for time-stepping simulations. |
| Fast Fourier Transform | Signal Classification (#26), Neural Signal Processor (#16) | O(N log N) frequency-domain decomposition for spectral analysis, band-power extraction, and feature engineering. |
| K-Nearest Neighbors | Signal Classification (#26) | Non-parametric classification using Euclidean distance with K=5 neighbors; paired with ROC/AUC evaluation. |
| Black-Scholes | Financial Risk Analyzer (#13) | Closed-form European option pricing model with Greeks (delta, gamma, theta, vega, rho) computation. |
| Monte Carlo Simulation | Financial Risk Analyzer (#13) | Stochastic VaR estimation via 10,000 simulated portfolio return paths with configurable confidence levels. |
| Dijkstra / A* | Traffic Flow Optimizer (#24) | Shortest-path graph algorithms for network routing; A* adds heuristic guidance for faster convergence. |
| Needleman-Wunsch | Genomics Sequence Analyzer (#32) | Dynamic-programming global sequence alignment using BLOSUM62 scoring and affine gap penalties. |
| Smith-Waterman | Genomics Sequence Analyzer (#32) | Dynamic-programming local alignment for identifying conserved subsequences within longer sequences. |
| Newton-Raphson | Power Grid Analyzer (#36) | Iterative root-finding method applied to the AC power-flow mismatch equations until convergence. |
| Pacejka Magic Formula | Vehicle Dynamics Analyzer (#22) | Semi-empirical tire-force model (B=10, C=1.9, D=1.0) mapping slip angle/ratio to lateral/longitudinal force. |
| Denavit-Hartenberg | Robotics Kinematics Lab (#18) | Systematic joint-to-Cartesian transformation via 4x4 homogeneous matrices for serial manipulators. |
| Euler-Bernoulli Beam | Structural Engineering Toolkit (#15) | Analytical beam deflection under point/distributed loads assuming small deformations and linear elasticity. |
| Shannon Entropy | Quantum Logic Solver (#6), Neural Signal Processor (#16) | Information-theoretic measure H = -Sum p_i log2(p_i) for quantifying uncertainty in quantum states and neural signals. |
| Blasius Solution | Aerodynamics Wind Tunnel (#23) | Similarity solution for laminar boundary-layer flow over a flat plate, providing velocity profile and skin friction. |
| Hill Muscle Model | Biomechanics Analyzer (#33) | Three-element contractile model capturing force-velocity and force-length relationships of skeletal muscle. |
| LWR Traffic Model | Traffic Flow Optimizer (#24) | Lighthill-Whitham-Richards first-order macroscopic traffic flow model based on conservation of vehicles. |
| Basquin Equation | Materials Science Explorer (#20) | Power-law relationship between stress amplitude and fatigue life (N_f) for high-cycle fatigue estimation. |
| Q-Learning | Reinforcement Learning Playground (#28) | Model-free temporal-difference method that learns an action-value function Q(s,a) via Bellman updates. |
| SARSA | Reinforcement Learning Playground (#28) | On-policy temporal-difference control that updates Q(s,a) using the action actually taken in the next state. |
| Verlet Integration | 3D Physics Simulator (#7) | Symplectic integrator that conserves energy over long time horizons, ideal for N-body gravitational systems. |
| Cockcroft-Gault | Medical Dosage Calculator (#14) | Estimates creatinine clearance from age, weight, serum creatinine, and sex for renal dosage adjustment. |
Operator Synchronization
Every application in the catalog operates under a unified temporal contract:
- HulyaPulse heartbeat -- The Zeqond Daemon broadcasts a tick at exactly 1.287 Hz (one Zeqond = 0.777 seconds). All computations are timestamped to the current tick.
- Operator verification -- Each result is checked against the operator registry. If the computation references an operator (e.g.,
QL1for Shannon entropy), the output must satisfy the operator's declared precision bounds. - 7-Step Protocol -- Applications that expose a "Verify" button run the full 7-Step Wizard sequence:
- Step 1 -- Domain Selection: Choose from 64 physics domains.
- Step 2 -- Operator Lookup: Search and select from 1,576+ operators.
- Step 3 -- Input Binding: Provide numerical inputs and units.
- Step 4 -- Computation: Execute the operator with bound inputs.
- Step 5 -- Precision Check: Compare the result against the operator's declared tolerance (default 0.1%).
- Step 6 -- Temporal Stamp: Record the HulyaPulse tick at the moment of computation.
- Step 7 -- Result Publication: Publish the verified result to the experiment log.
This architecture ensures that a computation performed in the Fluid Dynamics Simulator produces the same verified, timestamped result as the same operator invoked through the SDK, the CLI, or the API Gateway.
Running Applications
There are three ways to access interactive applications.
Via Nginx Reverse Proxy (Recommended)
All applications are routed through nginx on the default HTTP port. Access any application at:
http://localhost/apps/<app-name>/
For example:
http://localhost/apps/hite/-- HITE Encryption v2.0http://localhost/apps/physics-wizard/-- Physics Wizard Gamehttp://localhost/apps/tesc/-- TESC Encrypted Chathttp://localhost/apps/zeq-chat/-- Zeq Chathttp://localhost/apps/dashboard/-- ZeqBoard Dashboardhttp://localhost/apps/sync-extension/-- AI Physics Validator (Chrome Extension UI)
The nginx proxy handles TLS termination, path rewriting, and load balancing. It also injects the HulyaPulse synchronization header (X-Zeqond-Tick) into every response so that client-side JavaScript can verify temporal alignment without an additional WebSocket connection.
Via the Unified App Server
The unified app server (apps/app-server.js) launches six static HTML applications on dedicated ports. This is the simplest way to run applications during development without Docker or nginx:
node apps/app-server.js
| Port | Application | Route |
|---|---|---|
| 3002 | Sync Chrome Extension UI | / |
| 3005 | Physics Wizard Game | / |
| 3006 | TESC Encrypted Chat | / |
| 3007 | Zeq Chat | / |
| 3008 | HITE Encryption | / |
| 3010 | ZeqBoard Dashboard | / |
Each application is served as static HTML, CSS, and JavaScript. The app server does not perform operator verification on its own -- the front-end JavaScript in each application connects to the API Gateway at port 4000 and the Sync Engine at port 4001 for that functionality.
Via the App Store
The App Store at port 3002 provides a browseable catalog of all installed applications. From the App Store interface you can:
- Launch any application directly in a new browser tab.
- View the operator dependencies for each application.
- Check the synchronization status of each application against the HulyaPulse.
- See version history and changelog entries.
Application Architecture
All interactive applications follow the same layered architecture:
+---------------------------+
| Browser Front End | HTML / CSS / JS
+---------------------------+
| Operator SDK (JS) | @zeq-os/sdk
+---------------------------+
| API Gateway (port 4000) | REST + WebSocket
+---------------------------+
| Sync Engine (port 4001) | 1.287 Hz broadcast
+---------------------------+
| Zeqond Daemon (8044) | HulyaPulse clock
+---------------------------+
Each layer communicates through well-defined interfaces:
- Browser to SDK -- The front end imports
@zeq-os/sdkand calls operator functions directly. The SDK manages connection pooling, retry logic, and local caching of operator metadata. - SDK to Gateway -- The SDK sends REST requests to the API Gateway at port 4000 for operator lookup, computation, and experiment logging. All requests include the current Zeqond tick for temporal verification.
- Gateway to Sync Engine -- The Gateway subscribes to the Sync Engine WebSocket at port 4001 to receive HulyaPulse ticks. It uses these ticks to validate incoming computation timestamps.
- Sync Engine to Daemon -- The Sync Engine derives its 1.287 Hz clock from the Zeqond Daemon at port 8044. The daemon is the single source of truth for temporal alignment across the entire ecosystem.
Precision and Verification
Every application enforces a precision contract:
| Metric | Default | Configurable |
|---|---|---|
| Relative error tolerance | 0.1% | Yes, per operator |
| Temporal alignment window | 1 Zeqond (0.777 s) | No |
| Minimum operator version | Latest in registry | Yes, pin to version |
| Experiment reproducibility | Bit-exact with same tick | Guaranteed |
When an application reports a result, the verification badge indicates:
- Green (Verified) -- The computation matches the operator's expected output within the declared tolerance and was timestamped within the current Zeqond window.
- Yellow (Approximate) -- The computation is within 1% but exceeds the 0.1% default tolerance. The result is usable but flagged for review.
- Red (Failed) -- The computation exceeds tolerance or the temporal stamp is outside the valid window. The result is rejected.
Adding New Applications
To add a new interactive application to the catalog:
- Create the application directory under
apps/<your-app-name>/containing at minimum anindex.html. - Import the SDK by adding a script tag for
@zeq-os/sdkor installing the npm package. - Register operators your application uses in the operator manifest so the 7-Step Wizard can verify results.
- Add an nginx route in the reverse-proxy configuration to expose the app at
http://localhost/apps/<your-app-name>/. - Add a port entry (optional) in
apps/app-server.jsif you want standalone access outside the nginx proxy. - Update this catalog by adding a row to the appropriate category table above.
- Write integration tests that verify your application's operator calls against known reference values.
For a full walkthrough, see the Building Web Applications guide.
Frequently Asked Questions
Can I run a single application without starting the entire stack?
Yes. Use the unified app server (node apps/app-server.js) to launch only the six static HTML applications. They will function in offline mode -- computations still run locally in the browser, but operator verification and temporal stamping require the API Gateway and Sync Engine to be running.
How do I add a new algorithm to an existing application?
Implement the algorithm in your application's JavaScript, then register the corresponding operator in the operator manifest at framework/operators/. Once registered, the 7-Step Wizard will automatically pick it up for verification. See the Operator Authoring Guide for details.
What happens if the HulyaPulse is unavailable? Applications degrade gracefully. Computations still execute, but results are marked with a yellow "Approximate" badge because temporal stamping cannot be verified. Once the HulyaPulse resumes, pending results can be retroactively verified if they fall within the tolerance window.
Are the applications available on mobile devices? All 36 applications are built with responsive HTML and CSS. They render correctly on tablets and phones, though applications with heavy canvas rendering (3D Physics Simulator, Fluid Dynamics Simulator, EM Field Visualizer) perform best on desktop browsers with hardware-accelerated graphics.
How do I cite a computation from one of these applications?
Every verified computation produces a unique experiment ID that includes the operator name, input hash, result, precision, and Zeqond tick. You can reference this ID in publications using the format ZEQ-EXP-<operator>-<tick>-<hash>. The Research Papers service (#5) provides a citation export in BibTeX, APA, and MLA formats.