Term Rewriting, E-graphs, Optimization, Equational Reasoning
Discover
๐ Mathematics & Statistics
mesh processing, geometry algorithms, surface reconstruction, half-edge
computational geometry, convex hull, Voronoi diagram, sweep line
Order Theory, Adjunctions, Abstract Interpretation, Soundness
Statecharts, Visual Programming, State Transitions, Temporal Logic
Eigenvectors, Spectral Analysis, Diagonalization, Characteristic Polynomial
Frequency Estimation, Stream Analytics, Space Efficiency, Approximate Counting
formal correctness, program correctness, invariants, safety properties
concurrency theory, CSP, pi calculus, process calculi, actor model
Turing completeness, undecidability, halting problem, recursion theory
cache-oblivious algorithms, cache efficiency, memory hierarchy, van Emde Boas
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Sound Computation, Signal Processing Theory, Acoustic Abstractions, Digital Audio Math
Perceptual Coding, Transform Coding, Rate-Distortion, Lossless Audio
mathematics, numerical methods, combinatorics, computational math
GIPF Project, Combinatorial Games, Pure Strategy, Mathematical Games