Formalizing Three-Dimensional Ordered Geometry in Coq: A Hilbert’s Perspective

Journal of Systems Science and Complexity 2026

View at publisher

Authors: Qimeng Zhang, Wensheng Yu

DOI: 10.1007/s11424-026-4081-7

Cited by: 1

References: 18

Fields of Study & Subjects

Logic programming and type systems Polynomial and algebraic computation Algebraic and Geometric Analysis

References 18