scientific article; zbMATH DE number 5019596
From MaRDI portal
Publication:5290112
zbMath1202.52005MaRDI QIDQ5290112
Publication date: 26 April 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Length, area, volume and convex sets (aspects of convex geometry) (52A38) Random convex sets and integral geometry (aspects of convex geometry) (52A22) General convexity (52A99)
Related Items (7)
Vampire with a brain is a good ITP hammer ⋮ Learning theorem proving components ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Perfect Discrimination Graphs: Indexing Terms with Integer Exponents ⋮ Generalized completeness for SOS resolution and its application to a new notion of relevance ⋮ Neural precedence recommender ⋮ Improving ENIGMA-style clause selection while learning from history
This page was built for publication:
