15 citations · 111 across the 23 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.CC2009★ 15 cited
The Multivariate Resultant is NP-hard in any Characteristic
Bruno Grenet, Pascal Koiran, Natacha Portier
The multivariate resultant is a fundamental tool of computational algebraic geometry. It can in particular be used to decide whether a system of n homogeneous equations in n variab…
cs.LO2009
Acceptable Complexity Measures of Theorems
Bruno Grenet
In 1931, Gödel presented in Königsberg his famous Incompleteness Theorem, stating that some true mathematical statements are unprovable. Yet, this result gives us no idea about tho…