LICENSE
MANIFEST.in
README.md
pyproject.toml
src/mathkernel/__init__.py
src/mathkernel/_version.py
src/mathkernel/algebraic_topology.py
src/mathkernel/assumption_constraints.py
src/mathkernel/bigint.py
src/mathkernel/call_worker.py
src/mathkernel/capabilities.py
src/mathkernel/certified.py
src/mathkernel/codegen.py
src/mathkernel/codeverify.py
src/mathkernel/collatz.py
src/mathkernel/collatz_fast.py
src/mathkernel/collatz_gpu.py
src/mathkernel/combinatorics.py
src/mathkernel/combinatorics_fast.py
src/mathkernel/complex_analysis.py
src/mathkernel/composite_relation_inference.py
src/mathkernel/computational_geometry.py
src/mathkernel/conditioned_dynamics.py
src/mathkernel/conic.py
src/mathkernel/conic_search.py
src/mathkernel/context.py
src/mathkernel/continuous_probability.py
src/mathkernel/contracts.py
src/mathkernel/control_analysis.py
src/mathkernel/control_design.py
src/mathkernel/control_sequential.py
src/mathkernel/control_sequential_adapter.py
src/mathkernel/control_systems.py
src/mathkernel/coordinator.py
src/mathkernel/cuboid.py
src/mathkernel/cumulants.py
src/mathkernel/derivation.py
src/mathkernel/differential_geometry.py
src/mathkernel/discovery.py
src/mathkernel/engineering.py
src/mathkernel/engineering_adapter.py
src/mathkernel/engines.py
src/mathkernel/execution.py
src/mathkernel/fem_adapter.py
src/mathkernel/finite_algebra.py
src/mathkernel/finite_algebra_fast.py
src/mathkernel/finite_element_adaptivity.py
src/mathkernel/finite_element_assembly.py
src/mathkernel/finite_elements.py
src/mathkernel/finite_fourier.py
src/mathkernel/finite_groups.py
src/mathkernel/finite_groups_fast.py
src/mathkernel/fuzz.py
src/mathkernel/geometry_adapter.py
src/mathkernel/gf2_conditioned.py
src/mathkernel/gf2m.py
src/mathkernel/gf2m_fast.py
src/mathkernel/graph_fast.py
src/mathkernel/graph_theory.py
src/mathkernel/information_geometry.py
src/mathkernel/integers.py
src/mathkernel/integers_fast.py
src/mathkernel/integral_transforms.py
src/mathkernel/intervals.py
src/mathkernel/isolated_worker.py
src/mathkernel/kernel.py
src/mathkernel/koopman.py
src/mathkernel/lean_bootstrap.py
src/mathkernel/models.py
src/mathkernel/mpc.py
src/mathkernel/mpc_adapter.py
src/mathkernel/nonparametric.py
src/mathkernel/numerics.py
src/mathkernel/ode.py
src/mathkernel/optimization.py
src/mathkernel/optimization_extended_adapter.py
src/mathkernel/optimization_proofs.py
src/mathkernel/optimize.py
src/mathkernel/output_policy.py
src/mathkernel/parallel.py
src/mathkernel/parser.py
src/mathkernel/partial_differential_equations.py
src/mathkernel/pde.py
src/mathkernel/pde_adapter.py
src/mathkernel/phylogenetic_benchmark.py
src/mathkernel/phylogenetic_inference.py
src/mathkernel/phylogenetic_tensor.py
src/mathkernel/polynomial.py
src/mathkernel/probability.py
src/mathkernel/process_runner.py
src/mathkernel/prove.py
src/mathkernel/py.typed
src/mathkernel/python_api.py
src/mathkernel/qe.py
src/mathkernel/quadratic_constraints.py
src/mathkernel/reasoning.py
src/mathkernel/relation_detection.py
src/mathkernel/relation_subspace.py
src/mathkernel/relations.py
src/mathkernel/rendering.py
src/mathkernel/riccati.py
src/mathkernel/robust_relation_inference.py
src/mathkernel/safe_sympy.py
src/mathkernel/settings.py
src/mathkernel/signal_processing.py
src/mathkernel/solution.py
src/mathkernel/statistical_inference.py
src/mathkernel/statistics.py
src/mathkernel/statistics_adapter.py
src/mathkernel/stochastic_differential_equations.py
src/mathkernel/stochastic_koopman.py
src/mathkernel/stochastic_processes.py
src/mathkernel/store.py
src/mathkernel/streaming.py
src/mathkernel/structural_discovery.py
src/mathkernel/structure.py
src/mathkernel/survival_analysis.py
src/mathkernel/tensors.py
src/mathkernel/time_series.py
src/mathkernel/topology_adapter.py
src/mathkernel/transforms.py
src/mathkernel/units.py
src/mathkernel/weak_forms.py
src/mathkernel.egg-info/PKG-INFO
src/mathkernel.egg-info/SOURCES.txt
src/mathkernel.egg-info/dependency_links.txt
src/mathkernel.egg-info/entry_points.txt
src/mathkernel.egg-info/requires.txt
src/mathkernel.egg-info/top_level.txt
src/mathkernel/lean_workspace/MathkernelLean.lean
src/mathkernel/lean_workspace/lakefile.toml
src/mathkernel/lean_workspace/lean-toolchain
src/mathkernel_artifacts/__init__.py
src/mathkernel_artifacts/evidence.py
src/mathkernel_artifacts/models.py
src/mathkernel_mcp/__init__.py
src/mathkernel_mcp/server.py
src/mathkernel_multimodal/__init__.py
src/mathkernel_multimodal/assemble.py
src/mathkernel_multimodal/exporter.py
src/mathkernel_multimodal/assets/multimodal.js
src/mathkernel_projection/__init__.py
src/mathkernel_projection/coerce.py
src/mathkernel_projection/core.py
src/mathkernel_projection/models.py
src/mathkernel_projection/result_adapters.py
src/mathkernel_projection/result_adapters_builtin.py
src/mathkernel_sonify/__init__.py
src/mathkernel_sonify/adapters.py
src/mathkernel_sonify/artifact.py
src/mathkernel_sonify/mapping.py
src/mathkernel_sonify/models.py
src/mathkernel_sonify/renderers/__init__.py
src/mathkernel_sonify/renderers/html.py
src/mathkernel_sonify/renderers/pcm.py
src/mathkernel_sonify/renderers/webaudio.py
src/mathkernel_viz/__init__.py
src/mathkernel_viz/adapters.py
src/mathkernel_viz/artifact.py
src/mathkernel_viz/auto.py
src/mathkernel_viz/blocks.py
src/mathkernel_viz/datasets.py
src/mathkernel_viz/document.py
src/mathkernel_viz/manifest.py
src/mathkernel_viz/transforms.py
src/mathkernel_viz/assets/VENDORED.md
src/mathkernel_viz/assets/three.global.js
src/mathkernel_viz/assets/viewer.js
src/mathkernel_viz/renderers/__init__.py
src/mathkernel_viz/renderers/html.py
src/mathkernel_viz/renderers/matplotlib.py
src/mathkernel_viz/renderers/svg.py
src/mathkernel_viz/renderers/threejs.py
tests/test_algebraic_topology.py
tests/test_artifact_semantics.py
tests/test_audit_remediation.py
tests/test_calculus.py
tests/test_codegen.py
tests/test_collatz.py
tests/test_combinatorics.py
tests/test_compiled_discrete_paths.py
tests/test_complex_analysis.py
tests/test_composite_relation_inference.py
tests/test_computational_geometry.py
tests/test_conditioned_dynamics.py
tests/test_conditioned_symbolic.py
tests/test_conic.py
tests/test_conic_quadratic_integration.py
tests/test_continuous_probability.py
tests/test_cuboid.py
tests/test_decimal_fuzz_persistence.py
tests/test_decimal_precision.py
tests/test_decimal_trust.py
tests/test_decimal_trust_adversarial.py
tests/test_differential_geometry.py
tests/test_engineering_control.py
tests/test_engineering_hardening.py
tests/test_engineering_integration.py
tests/test_engineering_optimization.py
tests/test_engineering_signal.py
tests/test_evidence_composition_hardening.py
tests/test_evidence_foundation.py
tests/test_exact_discrete_integration.py
tests/test_fem_adaptivity.py
tests/test_fem_assembly.py
tests/test_finite_algebra.py
tests/test_finite_dynamics.py
tests/test_finite_elements.py
tests/test_finite_groups.py
tests/test_geometry_topology_closure.py
tests/test_gf2_conditioned.py
tests/test_gf2m.py
tests/test_glm.py
tests/test_graph_theory.py
tests/test_hardening.py
tests/test_information_geometry.py
tests/test_integers_fast.py
tests/test_integral_transforms.py
tests/test_jobs.py
tests/test_kernel.py
tests/test_latex.py
tests/test_lean_bootstrap.py
tests/test_linalg.py
tests/test_mcp_server.py
tests/test_milp_certificates.py
tests/test_mpc.py
tests/test_multimodal.py
tests/test_multimodal_projections.py
tests/test_nonparametric_resampling.py
tests/test_numerics.py
tests/test_obligations_and_intervals.py
tests/test_optimization_control_integration.py
tests/test_parallel.py
tests/test_pde.py
tests/test_pde_representation.py
tests/test_phylogenetic_benchmark.py
tests/test_phylogenetic_inference.py
tests/test_phylogenetic_tensor.py
tests/test_polish.py
tests/test_polynomial.py
tests/test_predictive_closure.py
tests/test_probability.py
tests/test_projection_adapters.py
tests/test_prove.py
tests/test_qe.py
tests/test_quadratic_optimization.py
tests/test_relation_detection.py
tests/test_relation_subspace.py
tests/test_release_hardening.py
tests/test_riccati.py
tests/test_robust_relation_inference.py
tests/test_sde.py
tests/test_sequential_control.py
tests/test_sets_logic.py
tests/test_signal_analysis.py
tests/test_sonify.py
tests/test_statistical_evidence.py
tests/test_statistics.py
tests/test_statistics_persistence.py
tests/test_stochastic_koopman.py
tests/test_stochastic_processes.py
tests/test_streaming_control.py
tests/test_structural_discovery.py
tests/test_structural_synthesis.py
tests/test_survival_analysis.py
tests/test_tensor_forms.py
tests/test_tensors.py
tests/test_time_series.py
tests/test_typed_math_integration.py
tests/test_units.py
tests/test_vector_structural_synthesis.py
tests/test_viz_blocks.py
tests/test_viz_document.py
tests/test_viz_mcp.py
tests/test_viz_renderers.py
tests/test_viz_sonify_regressions.py
tests/test_viz_transforms.py
tests/test_weak_forms.py
tests/test_yolo_settings.py