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

Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Source URL: alloytools.org

• Wombat
• Mongoose

Applicable Analysis and Discrete Mathematics available online at http://pefmath.etf.bg.ac.yu Appl. Anal. Discrete Math), 322–337. doi:AADM100425018H

Source URL: www.doiserbia.nb.rs

Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number

Source URL: crab.rutgers.edu

Hausdorff Center for Mathematics, Summer School (May 9–13, 2016) Problems for “Discrete Convex Analysis” (by Kazuo Murota) Problem 1. Prove that a function f : Z2 → R defined by f (x1 , x2 ) = φ(x1 − x2 ) is

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

SIAM J. DISCRETE MATH. Vol. 31, No. 3, pp. 1765–1800 c 2017 Society for Industrial and Applied Mathematics

Source URL: homepages.cwi.nl

Specht modules and chromatic polynomials Norman Biggs Centre for Discrete and Applicable Mathematics London School of Economics

Source URL: www.cdam.lse.ac.uk

SIAM J. DISCRETE MATH. Vol. 25, No. 1, pp. 211–233 c 2011 Society for Industrial and Applied Mathematics 

Source URL: web.eecs.umich.edu

Links Between Learning and Optimization: a Brief Tutorial Martin Anthony Department of Mathematics and Centre for Discrete and Applicable Mathematics The London School of Economics and Political Science

Source URL: www.cdam.lse.ac.uk

Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004

Source URL: www.mathematik.uni-leipzig.de