TY  - RPRT
TI  - Theorem of three circles in Coq
AU  - Julianna Zsidó
PY  - 2013
DO  - 10.1007/s10817-013-9299-0
UR  - https://arxiv.org/abs/1306.0783
ID  - 1306.0783
ER  -