First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213

Source URL: select.cs.cmu.edu

• Logic
• Mathematical logic
• Abstraction
• Automated theorem proving
• Model theory
• Predicate logic
• Semantics
• Boolean algebra
• Resolution
• Cutting-plane method
• First-order logic
• Propositional calculus

Scheduling in Green Vehicular Infrastructure with Multiple Roadside Units Amir Khezrian, Abdulla Hammad and Terence D. Todd George Karakostas

Source URL: www.cas.mcmaster.ca

• Wireless networking
• Network flow
• Operations research
• Vehicular ad hoc network
• Minimum-cost flow problem
• Wireless ad hoc network
• Intelligent transportation system
• Maximum flow problem
• Integer programming

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• C
• Data types
• Undefined behavior
• Integer overflow
• Printf format string
• Objective-C
• C99
• Floating point
• Arithmetic overflow

Appeared in J. Algebra425 INTEGER -VALUED POLYNOMIALS ON ALGEBRAS Sophie Frisch

Source URL: blah.math.tu-graz.ac.at

RELATIVE POLYNOMIAL CLOSURE AND MONADICALLY KRULL MONOIDS OF INTEGER-VALUED POLYNOMIALS SOPHIE FRISCH Abstract. Let D be a Krull domain and Int(D) the ring of integer-valued polynomials on D. For any f ∈ Int(D), we exp

Source URL: blah.math.tu-graz.ac.at

Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011

Source URL: caramba.loria.fr

• Mathematics
• Computer arithmetic
• Software
• Algebra
• Paul Zimmermann
• Division algorithm
• GNU Multiple Precision Arithmetic Library
• GNU MPFR
• Rounding
• Division
• Integer
• Remainder

A MODIFIED BERNOULLI NUMBER D. Zagier The classical Bernoulli numbers Bn , defined by the generating function ∞

Source URL: people.mpim-bonn.mpg.de

• Mathematical analysis
• Mathematics
• Number theory
• Integer sequences
• Meromorphic functions
• Combinatorics
• Polynomials
• Bernoulli polynomials
• Bernoulli number
• Riemann zeta function
• Bessel function
• Transcendental number

AngularJS Expressions Literals Integer Floating point Scientific notation

Source URL: teropa.info

• Computing
• Software
• Null
• Literal
• Expr

ElizabethHloom Divamus a mi. Morbi neque. Aliquam erat volutpat. Integer ultrices lobortis. Pellentesque habitant morbi tristique senectus et netus et malesuada fames. Proin semper, ante vitae sollicitudin posuere, me

Source URL: www.exemplecv.com

J. reine angew. Math. (Crelle–42 NULLSTELLENSATZ AND SKOLEM PROPERTIES FOR INTEGER-VALUED POLYNOMIALS Sophie Frisch

Source URL: blah.math.tu-graz.ac.at