61 citations · 87 across the 8 of their papers we have counts for
8 papers
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems
Antonio Montes, Tomas Recio
The main idea in this paper is merging two techniques that have been recently developed. On the one hand, we consider MCCGS, standing for Minimal Canonical Comprehensive Groebner S…
Minimal Canonical Comprehensive Groebner Systems
Antonio Montes, Montserrat Manubens
This is the continuation of Montes' paper "On the canonical discussion of polynomial systems with parameters". In this paper we define the Minimal Canonical Comprehensive Groebner…
Improving DISPGB Algorithm Using the Discriminant Ideal
Montserrat Manubens, Antonio Montes
In 1992, V. Weispfenning proved the existence of Comprehensive Groebner Bases (CGB) and gave an algorithm to compute one. That algorithm was not very efficient and not canonical. U…
A polynomial generalization of the power-compositions determinant
Josep M. Brunat, Antonio Montes
Let be the set of -compositions of an integer , i.e., the set of -tuples of nonnegative integers such that , and $\mathbf{x}=(…
On polynomial digraphs
Josep M. Brunat, Antonio Montes
Let be a bivariate polynomial with complex coefficients. The zeroes of are given a combinatorial structure by considering them as arcs of a directed graph .…
The characteristic ideal of a finite, connected, regular graph
Josep M. Brunat, Antonio Montes
Let be a symmetric polynomial of partial degree . The graph is defined by taking as set of vertices and the points of $\mathbb{V}(…