4 citations · 8 across the 5 of their papers we have counts for
Showing 2012 · math.ACShow all
2 papers · 2 filters
math.AC2012
Algebraization of a Cartier divisor
Dmitry Trushin
We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety w…
math.AC2012★ 4 cited
Computing Constraint Sets for Differential Fields
Russell Miller, Alexey Ovchinnikov, Dmitry Trushin
Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems…