crystallography-analysis
Advanced skill for crystallographic structure analysis and determination including space group identification, atomic position refinement, and PDF analysis
metallurgical-analysis
Specialized skill for metallic materials analysis and metallography including grain size measurement, phase quantification, and inclusion rating
polymer-characterization
Specialized skill for polymer materials analysis including molecular weight distribution, thermal transitions, crystallinity, and rheological properties
surface-analysis
Skill for surface composition, chemical state, and topography analysis including XPS depth profiling, AFM imaging, and contact angle measurements
arxiv-search-interface
Search and analyze mathematical literature on arXiv
combinatorial-enumeration
Combinatorial object generation and counting
computational-environment-manager
Manage reproducible computational environments
convex-optimization-solver
Solve convex optimization problems efficiently
coq-proof-assistant
Interface with Coq proof assistant for formal verification
counterexample-generator
Automated search for counterexamples to mathematical conjectures
derivative-free-optimization
Optimization without gradient information
diagram-generator
Mathematical diagram and visualization generation
floating-point-analysis
Rigorous floating-point error analysis
graph-algorithm-library
Comprehensive graph algorithms implementation
interpolation-approximation
Function interpolation and approximation methods
isabelle-hol-interface
Interface with Isabelle/HOL for classical mathematics formalization
latex-math-formatter
High-quality LaTeX mathematical typesetting
lean-proof-assistant
Interface with Lean 4 proof assistant for formal theorem verification
math-notation-validator
Validate and standardize mathematical notation
mathematica-wolfram-interface
Interface with Mathematica/Wolfram Language for advanced symbolic computation
mathscinet-interface
Interface with MathSciNet for mathematical reviews
maxima-cas-interface
Open-source computer algebra system for symbolic computation
mcmc-diagnostics
MCMC convergence diagnostics and analysis
mixed-integer-optimization
Mixed-integer linear and nonlinear programming
monte-carlo-simulation
Monte Carlo methods for uncertainty quantification
multiple-testing-correction
Multiple comparison correction methods
nonlinear-optimization-solver
Solve general nonlinear optimization problems
numerical-linear-algebra-toolkit
High-performance numerical linear algebra operations
ode-solver-library
Numerical methods for ordinary differential equations
pde-solver-library
Numerical methods for partial differential equations
polynomial-chaos-expansion
Polynomial chaos for uncertainty propagation
power-sample-size-calculator
Statistical power analysis and sample size determination
proof-structure-analyzer
Analyze and restructure mathematical proofs for clarity and completeness
pymc-probabilistic-programming
PyMC for flexible Bayesian modeling
robust-statistics-toolkit
Robust statistical methods resistant to outliers
sage-math-interface
SageMath for comprehensive mathematical computation
sensitivity-analysis-toolkit
Comprehensive sensitivity analysis for optimization
sensitivity-analysis-uq
Global sensitivity analysis methods
special-functions-library
Comprehensive special functions evaluation and manipulation
stan-bayesian-modeling
Stan probabilistic programming for Bayesian inference
sympy-computer-algebra
Symbolic computation using SymPy for Python-based mathematical analysis
zbmath-interface
Interface with zbMATH Open database
additive-manufacturing
Skill for additive manufacturing process selection, design optimization, and build preparation
cad-modeling
Expert skill for parametric 3D CAD model development with design intent and configuration management
cfd-fluids
Deep integration with computational fluid dynamics tools for internal and external flow analysis
change-management
Skill for engineering change request and order processing through PLM systems
cnc-programming
Expert skill for CNC programming and toolpath optimization using CAM software
design-review
Skill for formal design review preparation and execution (PDR/CDR)
dfm-review
Skill for design for manufacturing review and optimization
fai-inspection
Skill for first article inspection planning and execution per AS9102
Page 19 of 29 · 1427 results