Pi Calculus, Mobile Processes, Concurrent Theory, Process Algebra
Discover
📐 Mathematics & Statistics
String Matching, Pattern Search, Knuth-Morris-Pratt, Text Processing
Random Sampling, Risk Analysis, Probability, Numerical Methods
Simulation, Random Sampling, Risk Analysis, Probability
Dataflow Analysis, Forward Inference, Lattice Theory, Program Analysis
Number Theory, Cryptography, Finite Fields, Group Theory
first-order logic, Tarski, structures, completeness
Necessity, Possibility, Kripke Semantics, Temporal Logic, Epistemic Logic
Partial Sorting, Selection Algorithms, Quickselect, Order Statistics
Self-Referential Systems, Magic Squares, Recursive Illusions, Mathematical Magic
measure theory, Lebesgue integral, sigma-algebra, probability foundations
Bayesian Inference, Metropolis-Hastings, Gibbs Sampling, Posterior Estimation
Determinants, Rank, Inverse, Decomposition, Transformations
matrix pencil method, spectral estimation, pole estimation, ESPRIT
SVD, NMF, Low-Rank Approximation, Dimensionality Reduction
SVD, Eigenvalues, QR Factorization, Numerical Methods
Number Theory, Combinatorics, Probability, Brain Teasers
mathematical physics, topology in physics, differential geometry, spinors
Computer Algebra, Symbolic Computation, Expression Languages, Mathematical Notation
Historical Syntax, Medieval Parsing, Document Structure, Textual Analysis