Domains

Declared execution surfaces organised by domain.

ULM-PD Engine is organised into domains. Each domain defines a declared invariant surface governing what calculations may be executed.

Domains expand only through explicit declaration. Undeclared capabilities are neither implied nor partially available.

Available Invariant Packs

Mathematics Core

This pack consists of the core mathematics domains: "arithmetic" "calculus" "algebra" "discrete_math "number_theory" "linear_algebra" "probability" "geometry" "vector_calculus" "special_functions" "elliptic_curves" "symbolic_analysis" "set_theory" "graph_theory" "logic" Also included are the following backend/core domains: "information_theory" "optimization" "symbolic_state": exec_symbolic_state, "systems": exec_systems, "dynamical_systems": exec_dynamical_systems, "control_theory": exec_control_theory, Deterministic execution of symbolic mathematical calculations happens under explicit invariant enforcement.

View declared capabilities

Future domains will be released under specific Invariant Packs for example:

  • Physics
  • Chemistry
  • Biology
  • Engineering Disciplines
    • domains with explicitly declared execution surfaces are available for licensing.