%0 Journal Article %1 journals/cca/HofstadlerRR19 %A Hofstadler, Clemens %A Raab, Clemens G. %A Regensburger, Georg %D 2019 %J ACM Comm. Computer Algebra %K dblp %N 2 %P 49-52 %T Certifying operator identities via noncommutative Gröbner bases. %U http://dblp.uni-trier.de/db/journals/cca/cca53.html#HofstadlerRR19 %V 53

@article{journals/cca/HofstadlerRR19, added-at = {2019-12-27T00:00:00.000+0100}, author = {Hofstadler, Clemens and Raab, Clemens G. and Regensburger, Georg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21acbe5aa6743152fde73667768f69896/dblp}, ee = {https://doi.org/10.1145/3371991.3371996}, interhash = {760c3996cdd1ec75f3a9c44cfa538738}, intrahash = {1acbe5aa6743152fde73667768f69896}, journal = {ACM Comm. Computer Algebra}, keywords = {dblp}, number = 2, pages = {49-52}, timestamp = {2020-01-09T07:33:00.000+0100}, title = {Certifying operator identities via noncommutative Gröbner bases.}, url = {http://dblp.uni-trier.de/db/journals/cca/cca53.html#HofstadlerRR19}, volume = 53, year = 2019 }