Text Mathematics, Structural Logic, Format Algebra, Layout Geometry
Discover
📐 Mathematics & Statistics
Text Mathematics, Structural Logic, Format Composition, Layout Geometry
Graph Theory, Combinatorics, Logic, Set Theory
discrete mathematics, graph theory, combinatorics, set theory
Manifold Learning, Riemannian Computing, Curvature Analysis, Geometric Data
hypothesis testing, Neyman-Pearson, CFAR detection, likelihood ratio test
Reynolds Style, Denotational Semantics, Language Specification, Formal Methods
Algorithm X, Exact Cover, Backtracking, Constraint Solving
Proofs as Programs, Type Theory, Isomorphism, Constructive Logic
Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Computation Tree Logic, Branching Time, Model Checking
Polynomial Codes, Error Detection, Cyclic Redundancy, Data Integrity
Dependent Types, Proof Development, Ltac Programming, Mathematical Verification
Knot Theory, Mathematical Symbols, Tangles, Topological Games
Gradient Methods, Duality, Convex Sets, Global Minima
duality, subdifferentials, convex sets
SPC, Process Variation, Statistical Limits, Trend Analysis
Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance