Module specialized_libs 

Specialized Libraries Module

This module contains high-performance specialized mathematical and scientific libraries that leverage Phase 2 architectural enhancements for unprecedented performance and capabilities.

Re-exports

pub use shared::FixedArray;

pub use shared::FixedQueue;

pub use shared::FixedStack;

pub use shared::RingBuffer;

Modules

category_theory

Category Theory Library

chemistry_modeling

Chemistry Modeling Library - Molecular Simulation and Chemical Analysis

computational_economics

Computational economics and finance coordination layer: capability matrices, shared categorical transforms, and native economics kernels. Kept available to WASM because the first layer is metadata + zero-dependency utilities. Native computational economics coordination layer.

computational_geometry

Native computational geometry: robust predicates, topology/graph structures, Q42/10D adapters, and the computational-geometry algorithm families. Unlike the older specialized libraries this module is available to browser/WASM builds. Native computational geometry for QualiaDB.

computer_vision

Computer vision pure kernels (MIG-V2 from qualia-vision). Native/desktop only — portal WASM browses sealed .10d without this tree. Computer vision specialized library (MIG-V2).

constructibility

Constructibility — compass-and-straightedge feasibility decisions.

cryptographic_library

Cryptographic Library - Quantum-Resistant Cryptographic Operations

engineering_analysis

Engineering Analysis Library - Structural, Mechanical, and Systems Engineering Analysis

financial_modeling

Financial Modeling Library - Secure Financial Computing and Risk Analysis

linear_algebra

Linear Algebra Library - High-Performance Mathematical Computing

machine_learning

Machine Learning Library - Edge AI and Neural Network Computing

medical_computing

Medical Computing Library - Healthcare Data Processing and Medical Analytics

multivar_calculus

Multivariable symbolic differentiation — gradient, Jacobian, Hessian (Calculus plan §3, the ★★ standout). Built on the CAS’s existing single-variable differentiate, so every partial is a symbolic, provenance-bearing derivative (citable via the CAS’s to_quins/ expr_citation_hash) — honest math, not a black-box autodiff number.

physics_simulation

Physics Simulation Library - High-Performance Physics Computing

polynomial_algebra

Dense univariate polynomial algebra over f64 coefficients.

qpu_bridge

quantum_biology

Quantum Biology Library - Quantum-Enhanced Biological Analysis

shared

Shared utilities for specialized libraries

statistical_computing

Statistical Computing Library - Privacy-Preserving Statistical Analysis

symbolic_algebra

Symbolic algebra — a small computer-algebra system (CAS).

symbolic_assumptions

Simplification under assumptions (Gap analysis §3.3) — CAS simplifications that are only valid when the simplifier knows a variable’s sign / nonzero-ness.

symbolic_integration

Symbolic integration (Calculus plan §4.1) — antiderivatives over the CAS.

symbolic_limits

Limits (Calculus plan §4.2) — limits of CAS expressions, with l’Hôpital’s rule for 0/0 indeterminate forms and a numeric-probe limit at infinity for rational expressions. Fail-closed (None) when still indeterminate after the bounded passes.

symbolic_ode

Symbolic differential equations (Gap analysis §3.4) — closed-form solutions for the standard solvable classes of ODE, plus first-order-linear PDE (method of characteristics) and second-order-linear PDE type classification.

symbolic_series

Taylor / Maclaurin series (Calculus plan §4.2) — the series of a CAS expression about a point, by repeated symbolic differentiation. cₖ = f⁽ᵏ⁾(a)/k!.

symbolic_solve

Equation solving (Gap analysis §3.2) — polynomial roots (any degree), real-root extraction, linear systems, and roots of a CAS polynomial expression.

symbolic_trig

Trigonometric simplification (Gap analysis §3.3) — identity-driven rewrites over the CAS’s Sin/Cos/Tan nodes that plain simplify cannot do (it knows only constant folding and algebraic identities).