This paper improves the complexity analysis given in ‘Refined F5 algorithms for ideals of minors of square matrices’ . A theorem about the structure of grevlex staircases of reverse lexicographic ideals is established, then applied to give an upper bound on the arithmetic complexity of computing Gröbner bases of comaximal minors of square matrices in the zero-dimensional case and under genericity assumptions. A lower bound on the size of a reduced grevlex Gröbner basis of such determinantal systems is also given. Both results depend on the conjectural nonemptiness of an explicit Zariski open subset.

This paper gives a new algorithm to compute Gröbner bases of maximal minors of matrices of polynomials, and applies this algorithm to compute the critical points of a polynomial restricted to an algebraic variety. A complexity analysis of this new algorithm is also given.

This paper gives new criteria for the detection and avoidance of reductions to zero when computing Gröbner bases of determinantal ideals of square matrices of polynomials. In the comaximal case and under certain genericity assumptions, all reductions to zero are avoided and a complexity analysis of the resulting algorithm is provided.

This paper surveys various possible mathematical foundations for delay tolerant networking on temporal networks with the goal of applicability to pathfinding and related problems in a solar system internet.