%0 Journal Article %1 journals/mics/NarbouxB16 %A Narboux, Julien %A Braun, David %D 2016 %J Mathematics in Computer Science %K dblp %N 1 %P 57-73 %T Towards a Certified Version of the Encyclopedia of Triangle Centers. %U http://dblp.uni-trier.de/db/journals/mics/mics10.html#NarbouxB16 %V 10

@article{journals/mics/NarbouxB16, added-at = {2016-04-18T00:00:00.000+0200}, author = {Narboux, Julien and Braun, David}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eac95063ab2d9773f7bfdb70033ae120/dblp}, ee = {http://dx.doi.org/10.1007/s11786-016-0254-4}, interhash = {7e795dc5ac141f7a28b9cf6e0c83aaf5}, intrahash = {eac95063ab2d9773f7bfdb70033ae120}, journal = {Mathematics in Computer Science}, keywords = {dblp}, number = 1, pages = {57-73}, timestamp = {2016-04-20T09:34:08.000+0200}, title = {Towards a Certified Version of the Encyclopedia of Triangle Centers.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics10.html#NarbouxB16}, volume = 10, year = 2016 }