sci-agents-math-stats-or

Plugin sci-agents-math-stats-or from marketplace plugin-place in galeep/plugin-place. Commands read from the repo's manifest — today.

Subagents (20)

• actuarial-scientist

  Actuarial Scientist: Reasons from mortality tables (qx, period/cohort, select/ultimate) and Chain-Ladder/Mack reserving through GLM/GAM frequency–severity and Tweedie pricing, limited-fluctuation and Bühlhmann-Straub credibility, Solvency II SCR standard formula, and IFRS 17 CSM/RA while treating tr

• algebraist

  Algebraist: Reasons from carriers, operations, and morphisms through isomorphism theorems, universal properties, exact-sequence and homological tools (Ext, Tor, snake lemma), and computational systems like GAP, Magma, SageMath, and Lean while treating silently smuggled hypotheses (commutativity, uni

• applied-mathematician

  Applied Mathematician: Reasons from formulation-first modeling, Buckingham scaling, and asymptotics (matched expansions, boundary layers) through FEM/FVM numerics (FEniCS, PETSc, LAPACK), Tikhonov inverse problems, and ASME/Sandia V&V while treating ill-posed inversion, stiffness, and numerical diff

• bayesian-statistician

  Bayesian Statistician: Reasons from Bayes' rule, coherent uncertainty, exchangeability, and partial-pooling hierarchy through Stan/PyMC HMC-NUTS fits, prior and posterior predictive checks, PSIS-LOO, and SBC calibration while treating divergent transitions and funnels, weak identifiability and label

• causal-inference-scientist

  Causal Inference Scientist: Reasons from structural causal models, potential outcomes, and identification logic through DAGs and do-calculus, doubly-robust estimators (AIPW/TMLE, IPTW, g-formula), and design-based methods (IV, RD, Callaway-Sant'Anna DiD, synthetic control) while treating colliders a

• combinatorialist

  Combinatorialist: Reasons from labelled vs unlabelled enumeration, EGF/OGF and species, bijective and probabilistic proofs, Turán/Ramsey/extremal bounds, and BIBD/OA design parameters through SageMath/GAP/nauty, OEIS, House of Graphs, and Colbourn–Dinitz tables while treating isomorphism double-coun

• differential-geometer

  Differential Geometer: Reasons from connections, curvature, and holonomy; fixes Lee vs Besse/MTW Riemann signs; uses SageManifolds/xAct/Cadabra, Chern–Weil and Atiyah–Singer index theory, and model-space checks (S^n, flat tori) while treating chart artifacts, torsion misuse, and CAS convention drift

• dynamical-systems-theorist

  Dynamical Systems Theorist: Reasons from state spaces, invariant sets, bifurcations, and multiple time scales through normal-form classification, center-manifold reduction, Floquet/Poincaré maps, and continuation tools like AUTO, MatCont, and DynamicalSystems.jl while treating spurious chaos from fi

• logician

  Logician: Reasons from syntax-versus-semantics and object-versus-metalanguage discipline, the ⊢/⊨ distinction, and matching each logic to its intended semantics through natural deduction and sequent calculus (cut-elimination, subformula property), compactness and Löwenheim–Skolem, forcing and diagon

• mathematical-analyst

  Mathematical Analyst: Reasons from function-space topology, convergence modes, and constant-dependent inequalities (Hölder, Sobolev, Gronwall) through compactness theorems (Rellich-Kondrachov, Banach-Alaoglu), Calderon-Zygmund and Schauder estimates, and Lax-Milgram while treating limit-integral swa

• mathematical-modeler

  Mathematical Modeler: Reasons from nondimensionalization, conservation/positivity laws, and minimal-viable model structure through mechanistic ODE/PDE, stochastic, and agent-based formulations, profile-likelihood and Fisher-information identifiability, and Sobol/Morris sensitivity analysis, while tr

• mathematical-statistician

  Mathematical Statistician: Reasons from LAN, empirical processes, and influence functions; proves M/Z-estimator limits, minimax rates (Fano/Le Cam/Assouad), and semiparametric efficiency while validating with ADEMP simulations and treating naive bootstrap, non-Donsker classes, and debiasing sparsity

• nonlinear-dynamics-chaos-scientist

  Nonlinear Dynamics & Chaos Scientist: Reasons from flows, maps, bifurcations, and invariant sets; continues with MatCont/AUTO/COCO, validates chaos with IAAFT surrogates and embedding convergence, and treats spurious Lyapunov exponents, stiff integrator artifacts, and colored-noise confounds as firs

• number-theorist

  Number Theorist: Reasons from primes, congruences, L-functions, and the Langlands web; chooses algebraic, analytic, and sieve methods; validates with SageMath/PARI/LMFDB while treating PARI stack overflows, conditional-proof leaks, and CRT moduli errors as first-class failure modes.

• numerical-analyst

  Numerical Analyst: Reasons from well-posedness, discretization, conditioning, and stability; verifies codes with MMS and convergence studies; treats cancellation, stiffness, and solver tolerance floors as first-class failure modes.

• operations-researcher

  Operations Researcher: Reasons from decision structure, integrality and convexity, and explicit uncertainty through LP/MIP solvers (Gurobi, CPLEX, OR-Tools CP-SAT), stochastic and Wasserstein-distributionally-robust formulations, and DES (SimPy, AnyLogic) benchmarked on Solomon/MIPLIB instances, whi

• optimization-scientist

  Optimization Scientist: Reasons from convexity class, KKT/complementarity, and LP/MIP relaxation gaps through interior-point and branch-and-cut (Gurobi, CPLEX, MOSEK, Ipopt) while treating loose big-M, IntegralityTol cheaters, IIS-hidden infeasibility, nonconvex KKT-as-global, and MIPGap-at-TimeLimi

• probabilist

  Probabilist: Reasons from Kolmogorov measure spaces through LLN/CLT, martingales, coupling, concentration/LDP, and Lévy/Feller/Itô calculus; uses Durrett/Kallenberg canon, Sage/NumPy/PyMC simulation, and R̂/ESS/IS diagnostics while treating a.s. vs sure, Borel conditioning, OST misuse, and importanc

• pure-mathematician

  Pure Mathematician: Reasons from definitions, axioms, and proved theorems through lemma-ladder proof strategies, computer algebra (SageMath, GAP, Magma) and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL) checked against MathSciNet/zbMATH and OEIS, while treating hidden hypotheses, circular rea

• statistician

  Statistician: Reasons from estimands, generative-model assumptions, and a budgeted Type I/II error tradeoff through analysis plans (SAP, ICH E9(R1) estimands), mixed models, multiple imputation under MCAR/MAR/MNAR, and Benjamini-Hochberg FDR while treating naive post-selection SEs, unadjusted multip

Similar plugins