| lib-skill:computer-science--probabilistic-analysis-toolkit | domain:computer-science | Domain |
| lib-skill:computer-science--recurrence-solver | domain:computer-science | Domain |
| lib-skill:computer-science--reduction-builder | domain:computer-science | Domain |
| lib-skill:computer-science--related-work-analyzer | domain:computer-science | Domain |
| lib-skill:computer-science--smt-solver-interface | domain:computer-science | Domain |
| lib-skill:computer-science--soundness-proof-assistant | domain:computer-science | Domain |
| lib-skill:computer-science--ssa-transformation-library | domain:computer-science | Domain |
| lib-skill:computer-science--synthesis-specification-language | domain:computer-science | Domain |
| lib-skill:computer-science--temporal-logic-translator | domain:computer-science | Domain |
| lib-skill:computer-science--termination-analyzer | domain:computer-science | Domain |
| lib-skill:computer-science--theorem-prover-interface | domain:computer-science | Domain |
| lib-skill:computer-science--tla-plus-generator | domain:computer-science | Domain |
| lib-skill:computer-science--turing-machine-simulator | domain:computer-science | Domain |
| lib-skill:computer-science--type-inference-engine | domain:computer-science | Domain |
| lib-skill:computer-science--typing-rule-generator | domain:computer-science | Domain |
| lib-skill:electrical-engineering--reliability-analysis | domain:electrical-engineering | Domain |
| lib-skill:electrical-engineering--test-automation | domain:electrical-engineering | Domain |
| lib-skill:electrical-engineering--thermal-analysis | domain:electrical-engineering | Domain |
| lib-skill:environmental-engineering--air-pollution-control | domain:environmental-engineering | Domain |
| lib-skill:environmental-engineering--membrane-system-design | domain:environmental-engineering | Domain |
| lib-skill:environmental-engineering--stormwater-management | domain:environmental-engineering | Domain |
| lib-skill:environmental-engineering--wastewater-optimization | domain:environmental-engineering | Domain |
| lib-skill:industrial-engineering--a3-problem-solver | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--anthropometric-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--benchmarking-analyst | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--capacity-planner | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--control-chart-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--decision-tree-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--demand-forecaster | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--discrete-event-simulator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--distribution-fitter | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--doe-designer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--facility-layout-optimizer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--five-s-auditor | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--fmea-facilitator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--gage-rr-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--integer-program-solver | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--inventory-optimizer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--kaizen-event-facilitator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--line-balancer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--linear-program-modeler | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--mcda-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--network-optimizer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--niosh-lifting-calculator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--oee-calculator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--operational-dashboard-generator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--pareto-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--pdca-tracker | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--process-capability-calculator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--process-mining-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--production-scheduler | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--queuing-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--root-cause-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--rula-reba-assessor | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--simulation-experiment-designer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--smed-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--standard-work-documenter | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--takt-time-calculator | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--time-study-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--value-stream-mapper | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--vehicle-routing-solver | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--warehouse-slotting-optimizer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--work-sampling-analyzer | domain:industrial-engineering | Domain |
| lib-skill:industrial-engineering--workstation-layout-designer | domain:industrial-engineering | Domain |
| lib-skill:materials-science--crystallography-analysis | domain:materials-science | Domain |
| lib-skill:materials-science--metallurgical-analysis | domain:materials-science | Domain |
| lib-skill:materials-science--polymer-characterization | domain:materials-science | Domain |
| lib-skill:materials-science--surface-analysis | domain:materials-science | Domain |
| lib-skill:materials-science--thermal-analysis | domain:materials-science | Domain |
| lib-skill:mathematics--arxiv-search-interface | domain:mathematics | Domain |
| lib-skill:mathematics--benchmark-suite-manager | domain:mathematics | Domain |
| lib-skill:mathematics--combinatorial-enumeration | domain:mathematics | Domain |
| lib-skill:mathematics--computational-environment-manager | domain:mathematics | Domain |
| lib-skill:mathematics--convex-optimization-solver | domain:mathematics | Domain |
| lib-skill:mathematics--coq-proof-assistant | domain:mathematics | Domain |
| lib-skill:mathematics--counterexample-generator | domain:mathematics | Domain |
| lib-skill:mathematics--derivative-free-optimization | domain:mathematics | Domain |
| lib-skill:mathematics--diagram-generator | domain:mathematics | Domain |
| lib-skill:mathematics--floating-point-analysis | domain:mathematics | Domain |
| lib-skill:mathematics--graph-algorithm-library | domain:mathematics | Domain |
| lib-skill:mathematics--interpolation-approximation | domain:mathematics | Domain |
| lib-skill:mathematics--isabelle-hol-interface | domain:mathematics | Domain |
| lib-skill:mathematics--latex-math-formatter | domain:mathematics | Domain |
| lib-skill:mathematics--lean-proof-assistant | domain:mathematics | Domain |
| lib-skill:mathematics--math-notation-validator | domain:mathematics | Domain |
| lib-skill:mathematics--mathematica-wolfram-interface | domain:mathematics | Domain |
| lib-skill:mathematics--mathscinet-interface | domain:mathematics | Domain |
| lib-skill:mathematics--maxima-cas-interface | domain:mathematics | Domain |
| lib-skill:mathematics--mcmc-diagnostics | domain:mathematics | Domain |
| lib-skill:mathematics--mixed-integer-optimization | domain:mathematics | Domain |
| lib-skill:mathematics--monte-carlo-simulation | domain:mathematics | Domain |
| lib-skill:mathematics--multiple-testing-correction | domain:mathematics | Domain |
| lib-skill:mathematics--nonlinear-optimization-solver | domain:mathematics | Domain |
| lib-skill:mathematics--numerical-linear-algebra-toolkit | domain:mathematics | Domain |
| lib-skill:mathematics--ode-solver-library | domain:mathematics | Domain |
| lib-skill:mathematics--pde-solver-library | domain:mathematics | Domain |
| lib-skill:mathematics--polynomial-chaos-expansion | domain:mathematics | Domain |
| lib-skill:mathematics--power-sample-size-calculator | domain:mathematics | Domain |
| lib-skill:mathematics--proof-structure-analyzer | domain:mathematics | Domain |
| lib-skill:mathematics--pymc-probabilistic-programming | domain:mathematics | Domain |