Alternating Runtime and Size Complexity Analysis of Integer Programs? M. Brockschmidt1 , F. Emmes2 , S. Falke3 , C. Fuhs4 , and J. Giesl2 1 3

Source URL: verify.rwth-aachen.de

Singular Learning Theory Problems: Day 1 Shaowei Lin 21 MayToric Models. Let A = (aij ) be a nonnegative integer d×k matrix where all the column sums are equal: d

Source URL: www1.i2r.a-star.edu.sg

Integer Points on Spheres and their orthogonal complement Manfred Einsiedler ETH Zurich 

Source URL: fourier.math.uoc.gr

ALIQUOT SEQUENCES WITH SMALL STARTING VALUES Wieb Bosma Abstract. We describe the results of the computation of aliquot sequences with small starting values. In particular all sequences with starting values less than a

Source URL: www.math.ru.nl

• Mathematics
• Integer sequences
• Number theory
• Divisor function
• Aliquot sequence
• Sequence
• Parity
• Perfect number
• 11
• Amicable numbers
• Prime number
• Pi

Structural parameterizations for boxicity Henning Bruhn, Morgan Chopin, Felix Joos and Oliver Schaudt Abstract The boxicity of a graph G is the least integer d such that G has an intersection model of axis-aligned d-dime

Source URL: www.zaik.uni-koeln.de

• Boxicity
• Geometric graph theory
• Planar graphs
• Pathwidth
• Intersection graph
• Treewidth
• Chordal graph
• Clique
• Interval graph
• Outerplanar graph
• Vertex cover
• Graph coloring

Substitution shifts generated by p-adic integer sequences Eric Rowland∗ University of Liege, Belgium Reem Yassawi Trent University, Peterborough, Canada

Source URL: thales.math.uqam.ca

Proving Termination of Integer Term Rewriting⋆ C. Fuhs1 , J. Giesl1 , M. Pl¨ ucker1, P. Schneider-Kamp2 , and S. Falke3 1 2

Source URL: verify.rwth-aachen.de

RC23862 (W0602-029) February 2, 2006 Mathematics IBM Research Report A Feasibility Pump for Mixed Integer Nonlinear Programs Pierre Bonami, Gérard Cornuéjols, Andrea Lodi*, François Margot

Source URL: egon.cheme.cmu.edu

Craig Interpolation for Integer Arithmetic: Results, Implementation, Experiences Philipp R¨ ummer Uppsala University

Source URL: www.eprover.org