4 citations · 6 across the 4 of their papers we have counts for
4 papers
Algebraic Geometry Over Four Rings and the Frontier to Tractability
J. Maurice Rojas
We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the com…
Computing Complex Dimension Faster and Deterministically
J. Maurice Rojas
We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized comple…
Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy
J. Maurice Rojas
We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], de…
Uncomputably Large Integral Points on Algebraic Plane Curves?
J. Maurice Rojas
We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic cur…