Tim Duff

I am a fourth-year PhD student in ACO/Mathematics at Georgia Tech. My advisor is Anton Leykin.

Research Interests

Activities

Social distancing Mar 17 -- ??? in Atlanta, GA.

Publications, preprints, and extended abstracts

  1. PL1P---Point-line minimal problems under partial visibility in three views
    (With Kathlén Kohn, Anton Leykin, Tomas Pajdla.)
    Submitted
  2. Numerical equality tests for rational maps and signatures of curves
    (With Michael Ruddy. )
    Submitted.
  3. Trifocal Relative Pose from Lines at Points and its Efficient Solution
    (With Ricardo Fabbri , Hongyi Fan , Margaret Regan, David da Costa de Pinho, Elias Tsigaridas, Charles Wampler, Jonathan Hauenstein, Benjamin Kimia, Anton Leykin, Tomas Pajdla.)
    Accepted to CVPR 2020
  4. PLMP - Point-Line Minimal Problems in Complete Multi-View Visibility
    (With Kathlén Kohn, Anton Leykin, Tomas Pajdla.)
    Oral and poster presentation at ICCV 2019
    Won best student paper!
  5. Certification for polynomial systems via square subsystems
    (With Nickolas Hein and Frank Sottile.)
    Long version submitted. Extended abstract presented at MEGA 2019, arXiv1812.02851.
  6. Monodromy solver: sequential and parallel
    (With Nathan Bliss, Anton Leykin, Jeff Sommars.)
    ISSAC 2018, arXiv 1805.12212
  7. Solving polynomial systems via homotopy continuation and monodromy
    (With Cvetelina Hill, Anders Jensen, Kisun Lee, Anton Leykin, Jeff Sommars.)
    IMA Journal of Numerical Analysis, 2018, arXiv1609.08722
  8. Polynomial automata: Zeroness and applications
    (With Micheal Benedikt, Aditya Sharad, James Worrell.)
    LICS (ACM/IEEE Symposium on Logic in Computer Science), 2017.
  9. Robust graph ideals
    (With Adam Boocher, Bryan Brown, Laura Lyman, Takumi Murayama, Amy Nesky, Karl Schaefer.)
    Annals of Combinatorics, 2015, arXiv1309.7630.