Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Benjamin Werner
Researcher
PaperOn the strength of proof-irrelevant type theoriesAuthorship / preprint / 2008PaperSelf tolerance in a minimal model of the idiotypic networkAuthorship / preprint / 2013PaperProof-irrelevant model of CC with predicative induction and judgmental equalityAuthorship / preprint / 2011PaperCertification of inequalities involving transcendental functions: combining SDP and max-plus approximationAuthorship / preprint / 2013PaperCertification of Bounds of Non-linear Functions: the Templates MethodAuthorship / preprint / 2013PaperCertification of Real Inequalities -- Templates and Sums of SquaresAuthorship / preprint / 2014PaperFormal Proofs for Nonlinear OptimizationAuthorship / preprint / 2015