Miller, Russell

1. A Computable Functor From Graphs to Fields
   2015/10/25 by Russell Miller, Miller, Russell, Bjorn Poonen +5 · 2 citations
   Mathematics · #03C57 (Primary) 03D45 #08A35 (Secondary) #12L12 #18A15 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Number Theory (math.NT) #math.CT #math.LO #math.NT #msc:03C57 #msc:03D45 #msc:08A35 #msc:12L12 #msc:18A15
2. On existential definitions of C.E. subsets of rings of functions of characteristic 0
   2017/06/11 by Russell Miller, Alexandra Shlapentokh, Miller, Russell +1 · 1 citation
   Mathematics · Computer Science · #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #Polynomial and algebraic computation