| lib-skill:computer-science--smt-solver-interface | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--smt-solver-interface | specialization:computer-science | Specialization |
| lib-skill:computer-science--soundness-proof-assistant | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--soundness-proof-assistant | specialization:computer-science | Specialization |
| lib-skill:computer-science--ssa-transformation-library | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--ssa-transformation-library | specialization:computer-science | Specialization |
| lib-skill:computer-science--synthesis-specification-language | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--synthesis-specification-language | specialization:computer-science | Specialization |
| lib-skill:computer-science--temporal-logic-translator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--temporal-logic-translator | specialization:computer-science | Specialization |
| lib-skill:computer-science--termination-analyzer | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--termination-analyzer | specialization:computer-science | Specialization |
| lib-skill:computer-science--theorem-prover-interface | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--theorem-prover-interface | specialization:computer-science | Specialization |
| lib-skill:computer-science--tla-plus-generator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--tla-plus-generator | specialization:computer-science | Specialization |
| lib-skill:computer-science--turing-machine-simulator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--turing-machine-simulator | specialization:computer-science | Specialization |
| lib-skill:computer-science--type-inference-engine | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--type-inference-engine | specialization:computer-science | Specialization |
| lib-skill:computer-science--typing-rule-generator | specialization:theoretical-computer-science | Specialization |
| lib-skill:computer-science--typing-rule-generator | specialization:computer-science | Specialization |
| lib-skill:electrical-engineering--reliability-analysis | specialization:electrical-engineering | Specialization |
| lib-skill:electrical-engineering--test-automation | specialization:electrical-engineering | Specialization |
| lib-skill:electrical-engineering--thermal-analysis | specialization:electrical-engineering | Specialization |
| lib-skill:environmental-engineering--air-pollution-control | specialization:environmental-engineering | Specialization |
| lib-skill:environmental-engineering--membrane-system-design | specialization:environmental-engineering | Specialization |
| lib-skill:environmental-engineering--stormwater-management | specialization:environmental-engineering | Specialization |
| lib-skill:environmental-engineering--wastewater-optimization | specialization:environmental-engineering | Specialization |
| lib-skill:industrial-engineering--a3-problem-solver | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--anthropometric-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--benchmarking-analyst | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--capacity-planner | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--control-chart-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--decision-tree-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--demand-forecaster | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--discrete-event-simulator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--distribution-fitter | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--doe-designer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--facility-layout-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--five-s-auditor | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--fmea-facilitator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--gage-rr-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--integer-program-solver | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--inventory-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--kaizen-event-facilitator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--line-balancer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--linear-program-modeler | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--mcda-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--network-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--niosh-lifting-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--oee-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--operational-dashboard-generator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--pareto-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--pdca-tracker | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--process-capability-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--process-mining-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--production-scheduler | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--queuing-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--root-cause-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--rula-reba-assessor | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--simulation-experiment-designer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--smed-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--standard-work-documenter | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--takt-time-calculator | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--time-study-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--value-stream-mapper | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--vehicle-routing-solver | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--warehouse-slotting-optimizer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--work-sampling-analyzer | specialization:industrial-engineering | Specialization |
| lib-skill:industrial-engineering--workstation-layout-designer | specialization:industrial-engineering | Specialization |
| lib-skill:materials-science--crystallography-analysis | specialization:materials-science | Specialization |
| lib-skill:materials-science--metallurgical-analysis | specialization:materials-science | Specialization |
| lib-skill:materials-science--polymer-characterization | specialization:materials-science | Specialization |
| lib-skill:materials-science--surface-analysis | specialization:materials-science | Specialization |
| lib-skill:materials-science--thermal-analysis | specialization:materials-science | Specialization |
| lib-skill:mathematics--arxiv-search-interface | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--arxiv-search-interface | specialization:mathematics | Specialization |
| lib-skill:mathematics--benchmark-suite-manager | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--benchmark-suite-manager | specialization:mathematics | Specialization |
| lib-skill:mathematics--combinatorial-enumeration | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--combinatorial-enumeration | specialization:mathematics | Specialization |
| lib-skill:mathematics--computational-environment-manager | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--computational-environment-manager | specialization:mathematics | Specialization |
| lib-skill:mathematics--convex-optimization-solver | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--convex-optimization-solver | specialization:mathematics | Specialization |
| lib-skill:mathematics--coq-proof-assistant | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--coq-proof-assistant | specialization:mathematics | Specialization |
| lib-skill:mathematics--counterexample-generator | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--counterexample-generator | specialization:mathematics | Specialization |
| lib-skill:mathematics--derivative-free-optimization | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--derivative-free-optimization | specialization:mathematics | Specialization |
| lib-skill:mathematics--diagram-generator | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--diagram-generator | specialization:mathematics | Specialization |
| lib-skill:mathematics--floating-point-analysis | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--floating-point-analysis | specialization:mathematics | Specialization |
| lib-skill:mathematics--graph-algorithm-library | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--graph-algorithm-library | specialization:mathematics | Specialization |
| lib-skill:mathematics--interpolation-approximation | specialization:computational-mathematics | Specialization |
| lib-skill:mathematics--interpolation-approximation | specialization:mathematics | Specialization |