Submission Guidelines

Updating entries

project summary

Index by Topic

Computer Science

Automata and Formal Languages

KBPs Regular-Sets Myhill-Nerode Presburger-Automata Functional-Automata Statecharts Stuttering_Equivalence Tree-Automata Kleene_Algebra Markov_Models

Algorithms

Dijkstra_Shortest_Path DPT-SAT-Solver Depth-First-Search FFT Gauss-Jordan-Elim-Fun GraphMarkingIBP Efficient-Mergesort SATSolverVerification Transitive-Closure Transitive-Closure-II MuchAdoAboutTwo Distributed: DiskPaxos GenClock ClockSynchInst Heard_Of Abortable_Linearizable_Modules

Data Structures

AVL-Trees BDD BinarySearchTree Binomial-Queues Binomial-Heaps Finger-Trees FinFun Collections Containers FileRefinement Datatype_Order_Generator List-Index List-Infinite Matrix Huffman Lazy-Lists-II

Functional Programming

Coinductive Stream-Fusion Tycon

Process Calculi

CCS Pi_Calculus Psi_Calculi Circus

Programming Languages

Language Definitions: LightweightJava CoreC++ FeatherweightJava Jinja JinjaThreads Locally-Nameless-Sigma AutoFocus-Stream Simpl Lambda Calculi: Launchbury PCF POPLmark-deBruijn Lam-ml-Normalization Type Systems: MiniML Possibilistic_Noninterference VolpanoSmith Logics: Circus Refine_Monadic MonoBoolTranAlgebra Simpl Separation_Algebra Separation_Logic_Imperative_HOL Abstract-Hoare-Logics Kleene_Algebra BytecodeLogicJmlTypes DataRefinementIBP SIFPL TLA Ribbon_Proofs Compiling: Compiling-Exceptions-Correctly NormByEval Static Analysis: RIPEMD-160-SPARK Program-Conflict-Analysis Shivers-CFA Slicing HRB-Slicing Transformations: WorkerWrapper Misc: JiveDataStoreModel

Security

Inductive_Confidentiality Possibilistic_Noninterference VolpanoSmith SIFPL HotelKeyCards RSAPSS InformationFlowSlicing

Logic

Presburger-Automata Verified-Prover Completeness Ordinal Ordinals_and_Cardinals FOL-Fitting SequentInvertibility LinearQuantifierElim Nat-Interval-Logic Recursion-Theory-I Free-Boolean-Algebra

Rewriting

Abstract-Rewriting

Mathematics

Algebra

PseudoHoops LatticeProperties Impossible_Geometry Gauss-Jordan-Elim-Fun Kleene_Algebra Free-Groups CofGroups Group-Ring-Module Robbins-Conjecture Valuation Rank_Nullity_Theorem

Analysis

Lower_Semicontinuous Cauchy Integration Ordinary_Differential_Equations Polynomials Sqrt_Babylonian

Probability Theory

Number Theory

Fermat3_4 Perfect-Number-Thm SumSquares

Social Choice Theory

ArrowImpossibilityGS SenSocialChoice

Geometry

Impossible_Geometry Tarskis_Geometry General-Triangle

Topology

Graph Theory

Graph_Theory Max-Card-Matching Girth_Chromatic Flyspeck-Tame

Combinatorics

Well_Quasi_Orders Marriage Bondy Ramsey-Infinite Open_Induction

Category Theory

Category Category2

Misc

FunWithFunctions FunWithTilings