Theorem of three circles in Coq
type: Dataset
description: 25 pages, 5 figures
landing page: 0168-7433
keyword: cad
keyword: formal-proof
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: journal-articles
keyword: proof-assistant-coq
keyword: root-isolation-of-polynomials
keyword: theorem-of-three-circles
issued: 2026-05-09T15:45:12.626113
modified: 2026-05-09T15:45:12.626116
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Theorem of three circles in Coq
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00864827
issued: 2026-05-09T15:45:12.627328
modified: 2026-05-09T15:45:12.616695