ResearchDatasetsPolynomial systemsFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsGröbner basis computationPolynomial systems over F7 n=13 (test)61.2Success Rate24