random matrix theory, RMT, eigenvalue distribution, Marchenko-Pastur
Discover
๐ Mathematics & Statistics
Wave-Particle Duality, Quantum States, Superposition, Entanglement
Interactive Theorem Proving, Tactic Languages, Proof Development, Automation
Automated Reasoning, Tactic Languages, Resolution, Unification
mathematical optimization, linear programming, solvers
operational semantics, small-step, big-step, reduction rules, evaluation
String Matching, Pattern Search, Knuth-Morris-Pratt, Text Processing
incentive design, auction theory, market design, game theory
linear programming, simplex method, convex optimization, LP solver
Lean 4, Lean theorem prover, Lean metaprogramming, functional proof
Iris framework, separation logic, Coq proof assistant, concurrent program verification
Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Constraint Satisfaction, Register Allocation, Scheduling Problems, Algorithmic Graph Theory
operational semantics, denotational semantics, axiomatic semantics, small-step big-step
Tarski, Knaster, Recursion Schemes, Domain Theory
EVT, Gumbel distribution, tail estimation, Pickands-Balkema, financial extremes
Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
P vs NP, NP-Complete, Time Complexity, Reducibility
Turing machines, halting problem, decidability, recursive functions