@article{SJC_2010_4_1_a6,
     author = {Kr\"amer, Walter},
     title = {Computer-Assisted {Proofs} and {Symbolic} {Computations}},
     journal = {Serdica Journal of Computing},
     pages = {73--84},
     year = {2010},
     volume = {4},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SJC_2010_4_1_a6/}
}