Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

Sage Reference Manual: Combinatorial and Discrete Geometry Release 8.3 The Sage Development Team

Source URL: doc.sagemath.org

• Geometry
• Mathematics
• Convex geometry
• Polytopes
• Polyhedra
• Platonic solids
• Linear algebra
• Euclidean geometry
• Dual polyhedron
• Arrangement of hyperplanes
• Polyhedron
• Hyperplane

Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis III: Algorithms for Discrete Convex Functions Kazuo Murota

Source URL: www.comp.tmu.ac.jp

Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis I: Concepts of Discrete Convex Functions Kazuo Murota

Source URL: www.comp.tmu.ac.jp

Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis II: Properties of Discrete Convex Functions Kazuo Murota

Source URL: www.comp.tmu.ac.jp

Open Problems in Discrete Differential Geometry ¨ nter Rote Collected by Gu ¨ bius strip and paper cylinPROBLEM 1 (Sergei Tabachnikov). Paper Mo der eversion One can make a smooth M¨

Source URL: page.mi.fu-berlin.de

Discrete Comput Geom 19:367–Discrete & Computational Geometry

Source URL: www.lix.polytechnique.fr

Geometry II - Discrete Differential Geometry Prof. Dr. Alexander Bobenko Stand: May 31, 2007 CONTENTS

Source URL: page.math.tu-berlin.de

Discrete Connection and Covariant Derivative for Vector Field Analysis and Design Beibei Liu and Yiying Tong Michigan State University and Fernando de Goes and Mathieu Desbrun

Source URL: geometry.caltech.edu

Discrete Comput Geom OF1–OF23DOI: s00454Discrete & Computational Geometry

Source URL: math.uchicago.edu