TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

CONFLUENT REWRITING SYSTEM [1 record]

Record 1 2020-11-10

English

Subject field(s)
  • Computer Programs and Programming
CONT

When one rewrites terms of linear structures, a relation is usually oriented by rewriting one monomial into the linear combination of other monomials, and there exist three main approaches for selecting the rewritten monomial. The most classical one uses monomial orders and induces a rewriting characterisation of Gröbner bases: they are generating sets of polynomials ideals which induce confluent rewriting systems.

Key term(s)
  • confluent rewrite system
  • confluent re-writing system
  • confluent re-write system

French

Domaine(s)
  • Programmes et programmation (Informatique)

Spanish

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: