On the Most Suitable Axiomatization of Signed Integers
From MaRDI portal
Publication:5208503
DOI10.1007/978-3-319-72044-9_9zbMath1496.68374WikidataQ56049543 ScholiaQ56049543MaRDI QIDQ5208503
Publication date: 16 January 2020
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01667321/file/Garavel-17.pdf
68V20: Formalization of mathematics in connection with theorem provers
Uses Software