Term Rewriting, E-graphs, Optimization, Equational Reasoning
Discover
📐 Mathematics & Statistics
Constraint Satisfaction, Register Allocation, Scheduling Problems, Algorithmic Graph Theory
mesh processing, geometry algorithms, surface reconstruction, half-edge
computational geometry, convex hull, Voronoi diagram, sweep line
Order Theory, Adjunctions, Abstract Interpretation, Soundness
automata theory, grammars, parsing, Chomsky hierarchy
Statecharts, Visual Programming, State Transitions, Temporal Logic
EVT, Gumbel distribution, tail estimation, Pickands-Balkema, financial extremes
Eigenvectors, Spectral Analysis, Diagonalization, Characteristic Polynomial
Memoization, Optimization Problems, Recursion, Algorithm Design
arXiv, research paper, ACM, USENIX, OSDI
Frequency Estimation, Stream Analytics, Space Efficiency, Approximate Counting
Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
Turing machines, decidability, complexity theory, halting problem
Lambda Calculus, Data Representation, Functional Encoding, Type Theory
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Finite State Machines, Turing Machines, Regular Languages, Computability
mathematics, numerical methods, combinatorics, computational math
GIPF Project, Combinatorial Games, Pure Strategy, Mathematical Games
Binary Decision Diagrams, Sparse Sets, Combinatorial Structures, Set Operations