Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Author(s)
Christian Eder
,
Roune Bjarke Hammersholt
Type
Article in Conference Proceedings
Keywords
f5, gr\"obner basis, signature gr\"obner basis, signature rewriting, syzygy gr\"obner basis
ISBN
978-1-4503-2059-7
URL
http://doi.acm.org/10.1145/2465506.2465522
Language
English
Series
ISSAC
Pages
331--338
Publisher
ACM
Address
New York, NY, USA
Year
2013
Edition
0
Translation
No
Refereed
No
Webmaster