%0 Journal Article
%A Krämer, Walter
%T Computer-Assisted Proofs and Symbolic Computations
%J Serdica Journal of Computing
%D 2010
%P 73-84
%V 4
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJC_2010_4_1_a6/
%G en
%F SJC_2010_4_1_a6