An expert system for managing medical appropriateness criteria based on computer algebra techniques
type: Item
instance of: scholarly article
title: An expert system for managing medical appropriateness criteria based on computer algebra techniques
zbMATH Open document ID: 1002.68170
DOI: 10.1016/S0898-1221(01)00258-9
author: Víctor Maojo
author: Luis M. Laita
author: Eugenio Roanes-Lozano
author: Eugenio Roanes Macías
author: Luis de Ledesma
author: Laura Laita
publication date: 2002-08-18T00:00:00Z
Mathematics Subject Classification ID: 68T35
zbMATH DE Number: 1782751
zbMATH Keywords: Gröbner bases
zbMATH Keywords: expert system
zbMATH Keywords: rule-based expert system
describes a project that uses: CoCoA
MaRDI profile type: Publication
cites work: Some features of \(CoCoA 3\)
cites work: Refutational theorem proving using term-rewriting systems
cites work: Q5590069
cites work: Multi-valued logic and Gröbner bases with applications to modal logic
cites work: A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
cites work: Polynomial algorithms in computer algebra
cites work: Lifting standard bases in filtered structures
published in: Computers & Mathematics with Applications
Recommended article: A logic and computer algebra approach to a decision-making problem in medicine
Recommended article: Q4270709
Recommended article: Q4446490
Recommended article: Q4495759
Recommended article: An algebraic approach to rule based expert systems
description: scientific article; zbMATH DE number 1782751