A Mixed Integer Programming Approach to the Locomotive Assignment Problem Francesco Piu† Visiting PhD at the TRANSP-OR laboratory, École Polytechnique Fédérale de Lausanne,

Source URL: www.strc.ch

• Locomotive
• Train
• Rail freight transport
• Canadian National Railway
• Co-Co locomotives
• Diesel locomotive
• 4-8-4

CS 486: Applied Logic 21 Lecture 21, April 10, 2003 Axiomatizing Integer Arithmetic

Source URL: www.cs.cornell.edu

Reducing to Symbolic Integer Reasoning Deciding Symbolic Product Inequalities Experiments

Source URL: www.gilith.com

A Rigorous Extension of the Sch¨onhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic∗ Raazesh Sainudiin Laboratory for Mathematical Statistical Experiments & Department of Mathematics and

Source URL: interval.louisiana.edu

4. BINARY QUADRATIC FORMSWhat integers are represented by a given binary quadratic form?. An integer n is represented by the binary quadratic form ax2 + bxy + cy 2 if there exist integers r and s such that n = ar2

Source URL: www.dms.umontreal.ca

Generalized Algorithms for Crew Planning: Survey and Future Directions for Railways Viswanathan Prem Kumar Michel Bierlaire Olivier Gallay

Source URL: www.strc.ch

• Operations research
• Business
• Economy
• Mathematics
• Crew scheduling
• Column generation
• Scheduling
• Memetic algorithm
• Schedule
• Nurse scheduling problem
• Mathematical optimization
• Integer programming

SUMS OF TWO SQUARES AND ONE BIQUADRATE RAINER DIETMANN AND CHRISTIAN ELSHOLTZ Abstract. There are no nontrivial integer solutions of x2 + y 2 + z 4 = p2 for primes p ≡ 7 (mod 8), even though there are no congruence obs

Source URL: www.math.tugraz.at

Solving Lift-and-Project Relaxations of Binary Integer Programs Samuel Burer∗ Dieter Vandenbussche† June 7, 2004

Source URL: www.optimization-online.org

COMP11120 Lecture notes Corrigenda Page 14. In Fact 2 it should be ‘Given n ∈ N and m ∈ N \ {0} (in other words, it is m that must not be equal to 0.) Page 15.The definition of the remainder (for integer division)

Source URL: studentnet.cs.manchester.ac.uk

Edwards Curves and the ECM Factorisation Method Peter Birkner Eindhoven University of Technology The 12th Workshop on Elliptic Curve Cryptography

Source URL: www.hyperelliptic.org

• Abstract algebra
• Algebra
• Mathematics
• Finite fields
• Integer factorization algorithms
• Group theory
• Elliptic curve cryptography
• Lenstra elliptic curve factorization
• Elliptic curves
• Elliptic curve
• Torsion
• Order