Browse Popular Interests

String Matching, Text Processing, Linear Construction, Pattern Recognition

String Algorithms, Pattern Matching, Text Indexing, Burrows-Wheeler

Space-Efficient Algorithms, Rank-Select, Wavelet Trees, Compressed Indices

random processes, Markov chains, Wiener process, stochastic calculus

Ito calculus, Brownian motion, stochastic differential equations, SDE

Bayesian Methods, Hypothesis Testing, Causal Inference, Probabilistic Models

Regression, Classification, Model Selection, Cross-Validation

Information Bounds, Optimal Coding, Channel Capacity, Compression Limits

boolean satisfiability, CDCL, DPLL, SMT solvers, constraint solving

Wave-Particle Duality, Quantum States, Superposition, Entanglement

Coq, Isabelle, Agda, HOL, interactive theorem proving

Distributions, Random Variables, Expected Value, Conditional Probability

Bayesian Inference, Monte Carlo, Probabilistic Models, Stan

operational semantics, small-step, big-step, reduction rules, evaluation

incentive design, auction theory, market design, game theory

Formal Systems, Deduction, Boolean Logic, Mathematical Reasoning

Lean 4, Lean theorem prover, Lean metaprogramming, functional proof

operational semantics, denotational semantics, axiomatic semantics, small-step big-step

Causal Inference, Regression, Panel Data

data structures, algorithms, complexity, problem solving