Formalizing mathematics in higher-order logic: A case study in geometric modelling
type: Item
instance of: scholarly article
title: Formalizing mathematics in higher-order logic: A case study in geometric modelling
zbMATH Open document ID: 0945.68178
DOI: 10.1016/S0304-3975(98)00228-X
author: F. Puitg
author: Jean-François Dufourd
published in: Theoretical Computer Science
publication date: 2000-08-21T00:00:00Z
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1493449
zbMATH Keywords: formal specifications
zbMATH Keywords: theorem proving
zbMATH Keywords: inductive proofs
zbMATH Keywords: program extraction
zbMATH Keywords: geometric modelling
zbMATH Keywords: coq
describes a project that uses: Coq
MaRDI profile type: Publication
cites work: Classification of the genus-1 rooted maps and associated functional relation
cites work: Q4096964
cites work: Behavioural approaches to algebraic specifications. A comparative study
cites work: Q4071773
cites work: Q3906789
cites work: Q5578800
cites work: Q5615284
cites work: Q3795207
cites work: Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps
cites work: Q4281483
cites work: Combinatorial Oriented Maps
cites work: Q4385539
cites work: Q3024892
full work available at URL: s0304-3975(98)00228-x
OpenAlex ID: W2027604973
Recommended article: Formalization of geometric algebra theories in higher-order logic
Recommended article: Geometric Models for Relevant Logics
Recommended article: Q4531863
Recommended article: Geometrisation of first-order logic
Recommended article: Q4870821
Recommended article: Foreword. Formalization of geometry, automated and interactive geometric reasoning
Recommended article: Modal logics of some geometrical structures
Recommended article: Logical and set calculations in the framework of geometrical informatics paradigm
description: scientific article; zbMATH DE number 1493449