An application of CLP: Checking the correctness of theorems in geometry

DOI10.1023/A:1009825124248zbMath0951.68146OpenAlexW1529419422MaRDI QIDQ1969735

Laurent Trilling, Jacques Cohen, Denis Bouhineau

Publication date: 18 December 2000

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009825124248

zbMATH Keywords

constraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories ⋮ Non-monotonic spatial reasoning with answer set programming modulo theories

This page was built for publication: An application of CLP: Checking the correctness of theorems in geometry