Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase comprehensive gröbner systems (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006 (1) 2007 (4) 2009 (1) 2010 (1) 2011 (1)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
ISSAC(5) Automated Deduction in Geometr...(1) J. Symb. Comput.(1) PASCO(1)
Authors
Antonio Montes(2) Deepak Kapur(2) Dingkang Wang(2) Yao Sun(2) David A. Cox(1) Katsusuke Nabeshima(1) Masayuki Noro(1) Montserrat Manubens(1) Shutaro Inoue(1) Tomás Recio(1) Yosuke Kurata(1) Yosuke Sato(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Katsusuke Nabeshima A speed-up of the algorithm for computing comprehensive Gröbner systems. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Gröbner bases, comprehensive Gröbner bases
2Shutaro Inoue, Yosuke Sato On the parallel computation of comprehensive Gröbner systems. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF comprehensive Gröbner system
2Antonio Montes, Tomás Recio Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2006 DBLP  DOI  BibTeX  RDF automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving
1Deepak Kapur, Yao Sun, Dingkang Wang Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously. Search on Bibsonomy ISSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Deepak Kapur, Yao Sun, Dingkang Wang A new algorithm for computing comprehensive Gröbner systems. Search on Bibsonomy ISSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Montserrat Manubens, Antonio Montes Minimal canonical comprehensive Gröbner systems. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yosuke Kurata, Masayuki Noro Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF comprehensive gröbner bases, comprehensive gröbner systems, discrete comprehensive gröbner bases, dynamic evaluation, modular dynamic evaluation, von neumann regular rings
1David A. Cox Gröbner bases: a sampler of recent developments. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Gröbner bases, elimination theory
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.