Homepage of Dan Steffy

Dan Steffy
Graduate student in
Algorithms, Combinatorics and Optimization
Georgia Institute of Technology

Email
desteffy@gatech.edu

Office
417 ISyE Main Building
Georgia Institute of Technology
765 Ferst Dr. NW
Atlanta, GA, 30332 		dan.jpg

Research Interests

  • Operations Research
  • Optimization (Theory and Computation)
  • Integer Programming
  • Computer Algebra
  • Graph Theory

Education

  • Ph.D. Candidate, ACO, (expected graduation 2010). Georgia Tech, Atlanta, GA.
  • M.A. Mathematics, 2005. Oakland University, Rochester, MI.
  • B.S. Mathematics, 2004. Oakland University, Rochester, MI.

Papers

Exact solutions to linear systems of equations using output sensitive lifting, Submitted.

Solving very sparse rational systems of equations, with W. Cook, Submitted.

Clinching and elimination of playoff berth in the NHL, with E. Cheng, International Journal of Operations Research 5 (2008) 187--192.

Maximal vertex-connectivity of the directed (n,k)-star graph, with E. Cheng and W. Lindsey, Networks 46 (2005) 154--162.

Extended fault-diameter of star graphs, with E. Cheng, R. Kleinberg, W. Lindsey and M. Lipman, Congressus Numerantium 170 (2004) 75--83.

A strictly combinatorial approach to a university exam scheduling problem, with E. Cheng, R. Kleinberg, S. Kruk and W. Lindsey, Congressus Numerantium 167 (2004) 121--132.

Software Projects

Tools for Symbolic Linear Algebra
Codes to find exact solutions to sparse and dense rational systems of equations.
Developed by David Applegate, William Cook, Sanjeeb Dash, Daniel Espinoza, and Dan Steffy.

Rational Reconstruction
A simple code for rational number reconstruction and diophantine approximation.

Links