From Tarski to Hilbert
type: Dataset
description: International audience
landing page: Automated Deduction in Geometry 2012
keyword: conference-papers
keyword: coq
keyword: formal-proof
keyword: formalization
keyword: geometry
keyword: hilbert
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: tarski
issued: 2026-05-12T05:13:22.306031
modified: 2026-05-12T05:13:22.306037
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

From Tarski to Hilbert
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00727117
issued: 2026-05-12T05:13:22.344078
modified: 2026-05-12T05:13:22.289986