Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for “breefs” with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002 (1) 2004 (1) 2007 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
Automated Deduction in Geometr...(1) ISSAC(1) IWMM/GIAE(1)
Authors
Hongbo Li 0012(3) Ning Zhang(1) Ronghua Xu(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
92Hongbo Li 0012, Ronghua Xu, Ning Zhang On Miquel's Five-Circle Theorem. Search on Bibsonomy IWMM/GIAE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
74Hongbo Li 0012 A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF null bracket algebra, symbolic geometric computing, geometric invariance, geometric theorem proving, conformal geometric algebra
28Hongbo Li 0012 Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving. Search on Bibsonomy Automated Deduction in Geometry The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Cayley algebra, bracket algebra, affine geometry, automated theorem proving, projective geometry, conics
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license