TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
EQUATIONAL [22 records]
Record 1 - internal organization data 2025-03-11
Record 1, English
Record 1, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Record 1, Main entry term, English
- nondeterministic operator
1, record 1, English, nondeterministic%20operator
correct, noun
Record 1, Abbreviations, English
Record 1, Synonyms, English
- non-deterministic operator 2, record 1, English, non%2Ddeterministic%20operator
correct, noun
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
... existing models for nondeterminism depart radically from the standard models for(equational) specifications of deterministic operators. One would prefer that a specification language for nondeterministic operators be based on an extension of the standard model concepts... 3, record 1, English, - nondeterministic%20operator
Record 1, French
Record 1, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Record 1, Main entry term, French
- opérateur non déterministe
1, record 1, French, op%C3%A9rateur%20non%20d%C3%A9terministe
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Record 1, Main entry term, Spanish
- operador no determinista
1, record 1, Spanish, operador%20no%20determinista
correct, masculine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 CONT
[...] "sample" es un operador no determinista y devuelve un conjunto de resultados diferente cada vez que se evalúa durante la consulta. 1, record 1, Spanish, - operador%20no%20determinista
Record 2 - internal organization data 2024-08-27
Record 2, English
Record 2, Subject field(s)
- Logic (Philosophy)
- Mathematics
- Artificial Intelligence
Record 2, Main entry term, English
- equational logic
1, record 2, English, equational%20logic
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
The concepts that can be expressed by means of equations and the kinds of proofs that may be devised using equations are central concerns of equational logic. 2, record 2, English, - equational%20logic
Record 2, French
Record 2, Domaine(s)
- Logique (Philosophie)
- Mathématiques
- Intelligence artificielle
Record 2, Main entry term, French
- logique équationnelle
1, record 2, French, logique%20%C3%A9quationnelle
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 OBS
Dans cette logique, les axiomes sont des équations, et les théorèmes sont déduits des axiomes par une règle d'inférence très simple, appelée le remplacement d'égaux par des égaux. 2, record 2, French, - logique%20%C3%A9quationnelle
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 2024-05-09
Record 3, English
Record 3, Subject field(s)
- Artificial Intelligence
Record 3, Main entry term, English
- equational term
1, record 3, English, equational%20term
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, French
Record 3, Domaine(s)
- Intelligence artificielle
Record 3, Main entry term, French
- terme équationnel
1, record 3, French, terme%20%C3%A9quationnel
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 2024-05-09
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- equational formalism
1, record 4, English, equational%20formalism
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- formalisme équationnel
1, record 4, French, formalisme%20%C3%A9quationnel
correct, masculine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 2024-05-09
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
Record 5, Main entry term, English
- equational approach
1, record 5, English, equational%20approach
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
Record 5, Main entry term, French
- approche équationnelle
1, record 5, French, approche%20%C3%A9quationnelle
correct, feminine noun
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
Record 5, Spanish
Record 5, Textual support, Spanish
Record 6 - internal organization data 2024-05-09
Record 6, English
Record 6, Subject field(s)
- Artificial Intelligence
Record 6, Main entry term, English
- equational specification
1, record 6, English, equational%20specification
correct
Record 6, Abbreviations, English
Record 6, Synonyms, English
Record 6, French
Record 6, Domaine(s)
- Intelligence artificielle
Record 6, Main entry term, French
- spécification équationnelle
1, record 6, French, sp%C3%A9cification%20%C3%A9quationnelle
correct, feminine noun
Record 6, Abbreviations, French
Record 6, Synonyms, French
Record 6, Textual support, French
Record 6, Spanish
Record 6, Textual support, Spanish
Record 7 - internal organization data 2024-01-22
Record 7, English
Record 7, Subject field(s)
- Computers and Calculators
- Computer Mathematics
Record 7, Main entry term, English
- symbolic processor
1, record 7, English, symbolic%20processor
correct
Record 7, Abbreviations, English
Record 7, Synonyms, English
- symbolic processing machine 2, record 7, English, symbolic%20processing%20machine
correct
Record 7, Textual support, English
Record number: 7, Textual support number: 1 CONT
A symbolic processor is used to formulate a toolset for derivation of equational, slate space and algorithmic model representations. 3, record 7, English, - symbolic%20processor
Record 7, French
Record 7, Domaine(s)
- Ordinateurs et calculateurs
- Mathématiques informatiques
Record 7, Main entry term, French
- processeur symbolique
1, record 7, French, processeur%20symbolique
correct, masculine noun
Record 7, Abbreviations, French
Record 7, Synonyms, French
- machine de traitement symbolique 2, record 7, French, machine%20de%20traitement%20symbolique
correct, feminine noun
Record 7, Textual support, French
Record number: 7, Textual support number: 1 CONT
Pour les intégrales définies, le processeur symbolique recherche une intégrale indéfinie et soustrait sa valeur à la limite inférieure d'intégration de sa valeur à la limite supérieure. 3, record 7, French, - processeur%20symbolique
Record 7, Spanish
Record 7, Textual support, Spanish
Record 8 - internal organization data 2022-01-07
Record 8, English
Record 8, Subject field(s)
- Collaboration with the FAO
- Modelling (Mathematics)
- Ecosystems
- Commercial Fishing
Record 8, Main entry term, English
- top-down modelling approach
1, record 8, English, top%2Ddown%20modelling%20approach
correct
Record 8, Abbreviations, English
Record 8, Synonyms, English
- top-down modeling approach 2, record 8, English, top%2Ddown%20modeling%20approach
correct
- top-down approach 3, record 8, English, top%2Ddown%20approach
correct
Record 8, Textual support, English
Record number: 8, Textual support number: 1 CONT
... the application of conventional mathematics and biology may be of limited utility in understanding the dynamics of... complex ecosystems. The typical reductionist approach to aquatic ecosystem analysis is the top-down approach. Equational models(top-down attemps at approximating nature) are subject to many limitations... In general, equational models are not good at dealing with highly nonlinear effects, such as thresholding or if-then-else conditionals, which occur in behavioral and ecological studies. 2, record 8, English, - top%2Ddown%20modelling%20approach
Record 8, French
Record 8, Domaine(s)
- Collaboration avec la FAO
- Modélisation (Mathématique)
- Écosystèmes
- Pêche commerciale
Record 8, Main entry term, French
- approche de modélisation descendante
1, record 8, French, approche%20de%20mod%C3%A9lisation%20descendante
correct, feminine noun
Record 8, Abbreviations, French
Record 8, Synonyms, French
- approche descendante 2, record 8, French, approche%20descendante
correct, feminine noun
Record 8, Textual support, French
Record 8, Spanish
Record 8, Textual support, Spanish
Record 9 - internal organization data 2021-11-10
Record 9, English
Record 9, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Record 9, Main entry term, English
- deterministic operator
1, record 9, English, deterministic%20operator
correct
Record 9, Abbreviations, English
Record 9, Synonyms, English
Record 9, Textual support, English
Record number: 9, Textual support number: 1 CONT
... existing models for nondeterminism depart radically from the standard models for(equational) specifications of deterministic operators. One would prefer that a specification language for nondeterministic operators be based on an extension of the standard model concepts... 2, record 9, English, - deterministic%20operator
Record 9, French
Record 9, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Record 9, Main entry term, French
- opérateur déterministe
1, record 9, French, op%C3%A9rateur%20d%C3%A9terministe
correct, masculine noun
Record 9, Abbreviations, French
Record 9, Synonyms, French
Record 9, Textual support, French
Record 9, Spanish
Record 9, Textual support, Spanish
Record 10 - internal organization data 2003-05-15
Record 10, English
Record 10, Subject field(s)
- Genetics
Record 10, Main entry term, English
- homeotypic
1, record 10, English, homeotypic
correct
Record 10, Abbreviations, English
Record 10, Synonyms, English
Record 10, Textual support, English
Record number: 10, Textual support number: 1 DEF
Applied to the second meiotic division of the germ cells. 2, record 10, English, - homeotypic
Record number: 10, Textual support number: 1 CONT
The second meiotic division known as equational(homeotypic) enables the oocyte(or the spermatocyte) of the second order to distribute its n chromosomes which have become 2 n chromatids between its two daughter cells. 2, record 10, English, - homeotypic
Record 10, French
Record 10, Domaine(s)
- Génétique
Record 10, Main entry term, French
- homéotypique
1, record 10, French, hom%C3%A9otypique
correct
Record 10, Abbreviations, French
Record 10, Synonyms, French
Record 10, Textual support, French
Record number: 10, Textual support number: 1 DEF
Terme qui s'applique à la deuxième division méiotique des cellules germinales. 2, record 10, French, - hom%C3%A9otypique
Record number: 10, Textual support number: 1 CONT
La 2ème division méiotique, dite équationnelle (homéotypique) permet à l'oocyte (ou au spermatocyte) de 2ème ordre de répartir ses n chromosomes devenus 2n chromatides entre ses deux cellules filles. 2, record 10, French, - hom%C3%A9otypique
Record 10, Spanish
Record 10, Campo(s) temático(s)
- Genética
Record 10, Main entry term, Spanish
- homeotípico
1, record 10, Spanish, homeot%C3%ADpico
correct
Record 10, Abbreviations, Spanish
Record 10, Synonyms, Spanish
Record 10, Textual support, Spanish
Record 11 - internal organization data 2003-04-30
Record 11, English
Record 11, Subject field(s)
- Genetics
Record 11, Main entry term, English
- equational division
1, record 11, English, equational%20division
correct
Record 11, Abbreviations, English
Record 11, Synonyms, English
- homeotypic division 2, record 11, English, homeotypic%20division
correct
- first meiotic division 1, record 11, English, first%20meiotic%20division
correct
Record 11, Textual support, English
Record number: 11, Textual support number: 1 DEF
A nuclear division in which daughter chromosomes separate from each other, as in ordinary somatic cell division. 1, record 11, English, - equational%20division
Record number: 11, Textual support number: 1 OBS
In classical descriptions, based on the number of chromosomes distinguishable with the use of a microscope, a first reductional meiotic division and a second equational one are referred to. On the contrary, in more recent and more current descriptions based on the quantitative analysis of DNA the first division is the so called equational division(2N-2N) and the second division is the so called reductional one(2N-N). 1, record 11, English, - equational%20division
Record 11, French
Record 11, Domaine(s)
- Génétique
Record 11, Main entry term, French
- division équationnelle
1, record 11, French, division%20%C3%A9quationnelle
correct, feminine noun
Record 11, Abbreviations, French
Record 11, Synonyms, French
- division homéotypique 2, record 11, French, division%20hom%C3%A9otypique
correct, feminine noun
- première division méiotique 1, record 11, French, premi%C3%A8re%20division%20m%C3%A9iotique
correct, feminine noun
Record 11, Textual support, French
Record number: 11, Textual support number: 1 DEF
Toute division cellulaire qui conduit à la formation de 2 cellules filles ayant le même nombre de chromosomes que la cellule mère. 1, record 11, French, - division%20%C3%A9quationnelle
Record number: 11, Textual support number: 1 CONT
La deuxième division méiotique dite équationnelle permet à l'oocyte ou spermatocyte de deuxième ordre de répartir ses n chromosomes devenus 2n chromosomes entre ses 2 cellules filles. 1, record 11, French, - division%20%C3%A9quationnelle
Record 11, Spanish
Record 11, Campo(s) temático(s)
- Genética
Record 11, Main entry term, Spanish
- división homeotípica
1, record 11, Spanish, divisi%C3%B3n%20homeot%C3%ADpica
correct, feminine noun
Record 11, Abbreviations, Spanish
Record 11, Synonyms, Spanish
- división celular somática 1, record 11, Spanish, divisi%C3%B3n%20celular%20som%C3%A1tica
correct, feminine noun
Record 11, Textual support, Spanish
Record 12 - internal organization data 2000-05-17
Record 12, English
Record 12, Subject field(s)
- Genetics
Record 12, Main entry term, English
- somatic mitosis
1, record 12, English, somatic%20mitosis
correct
Record 12, Abbreviations, English
Record 12, Synonyms, English
- equational division 2, record 12, English, equational%20division
correct
Record 12, Textual support, English
Record number: 12, Textual support number: 1 DEF
The process by which the daughter nuclei [of a nucleus during mitosis] are identical, quantitatively and qualitatively. 1, record 12, English, - somatic%20mitosis
Record 12, French
Record 12, Domaine(s)
- Génétique
Record 12, Main entry term, French
- mitose somatique
1, record 12, French, mitose%20somatique
correct, feminine noun
Record 12, Abbreviations, French
Record 12, Synonyms, French
- mitose équationnelle 1, record 12, French, mitose%20%C3%A9quationnelle
correct, feminine noun
Record 12, Textual support, French
Record number: 12, Textual support number: 1 DEF
Mitose se produisant dans toutes les cellules de l'organisme, à l'exception des cellules sexuelles, et dans laquelle le nombre des chromosomes des cellules filles est égal à celui de la cellule mère. 2, record 12, French, - mitose%20somatique
Record 12, Spanish
Record 12, Textual support, Spanish
Record 13 - internal organization data 1989-12-05
Record 13, English
Record 13, Subject field(s)
- Artificial Intelligence
Record 13, Main entry term, English
- equational
1, record 13, English, equational
correct
Record 13, Abbreviations, English
Record 13, Synonyms, English
Record 13, Textual support, English
Record 13, French
Record 13, Domaine(s)
- Intelligence artificielle
Record 13, Main entry term, French
- équationnel
1, record 13, French, %C3%A9quationnel
correct
Record 13, Abbreviations, French
Record 13, Synonyms, French
Record 13, Textual support, French
Record number: 13, Textual support number: 1 DEF
Qui s'obtient par remplacement d'égaux. 1, record 13, French, - %C3%A9quationnel
Record 13, Spanish
Record 13, Textual support, Spanish
Record 14 - internal organization data 1989-03-01
Record 14, English
Record 14, Subject field(s)
- Artificial Intelligence
Record 14, Main entry term, English
- equational language
1, record 14, English, equational%20language
correct
Record 14, Abbreviations, English
- EqL 2, record 14, English, EqL
correct
Record 14, Synonyms, English
Record 14, French
Record 14, Domaine(s)
- Intelligence artificielle
Record 14, Main entry term, French
- langage équationnel
1, record 14, French, langage%20%C3%A9quationnel
correct, masculine noun
Record 14, Abbreviations, French
Record 14, Synonyms, French
Record 14, Textual support, French
Record 14, Spanish
Record 14, Textual support, Spanish
Record 15 - internal organization data 1988-01-27
Record 15, English
Record 15, Subject field(s)
- Artificial Intelligence
Record 15, Main entry term, English
- equational theorem-proving
1, record 15, English, equational%20theorem%2Dproving
correct
Record 15, Abbreviations, English
Record 15, Synonyms, English
Record 15, French
Record 15, Domaine(s)
- Intelligence artificielle
Record 15, Main entry term, French
- démonstration de théorèmes équationnels
1, record 15, French, d%C3%A9monstration%20de%20th%C3%A9or%C3%A8mes%20%C3%A9quationnels
correct, feminine noun
Record 15, Abbreviations, French
Record 15, Synonyms, French
Record 15, Textual support, French
Record 15, Spanish
Record 15, Textual support, Spanish
Record 16 - internal organization data 1987-05-04
Record 16, English
Record 16, Subject field(s)
- Artificial Intelligence
Record 16, Main entry term, English
- equational proof
1, record 16, English, equational%20proof
correct
Record 16, Abbreviations, English
Record 16, Synonyms, English
Record 16, French
Record 16, Domaine(s)
- Intelligence artificielle
Record 16, Main entry term, French
- preuve équationnelle
1, record 16, French, preuve%20%C3%A9quationnelle
correct, feminine noun
Record 16, Abbreviations, French
Record 16, Synonyms, French
Record 16, Textual support, French
Record 16, Spanish
Record 16, Textual support, Spanish
Record 17 - internal organization data 1986-10-31
Record 17, English
Record 17, Subject field(s)
- Artificial Intelligence
Record 17, Main entry term, English
- equational rule
1, record 17, English, equational%20rule
proposal
Record 17, Abbreviations, English
Record 17, Synonyms, English
Record 17, French
Record 17, Domaine(s)
- Intelligence artificielle
Record 17, Main entry term, French
- règle équationnelle
1, record 17, French, r%C3%A8gle%20%C3%A9quationnelle
correct, feminine noun
Record 17, Abbreviations, French
Record 17, Synonyms, French
Record 17, Textual support, French
Record 17, Spanish
Record 17, Textual support, Spanish
Record 18 - internal organization data 1986-05-16
Record 18, English
Record 18, Subject field(s)
- Artificial Intelligence
Record 18, Main entry term, English
- equational rewriting
1, record 18, English, equational%20rewriting
proposal
Record 18, Abbreviations, English
Record 18, Synonyms, English
Record 18, French
Record 18, Domaine(s)
- Intelligence artificielle
Record 18, Main entry term, French
- réécriture équationnelle
1, record 18, French, r%C3%A9%C3%A9criture%20%C3%A9quationnelle
correct, feminine noun
Record 18, Abbreviations, French
Record 18, Synonyms, French
Record 18, Textual support, French
Record 18, Spanish
Record 18, Textual support, Spanish
Record 19 - internal organization data 1986-04-14
Record 19, English
Record 19, Subject field(s)
- Artificial Intelligence
Record 19, Main entry term, English
- equational axiom
1, record 19, English, equational%20axiom
proposal
Record 19, Abbreviations, English
Record 19, Synonyms, English
Record 19, French
Record 19, Domaine(s)
- Intelligence artificielle
Record 19, Main entry term, French
- axiome équationnel
1, record 19, French, axiome%20%C3%A9quationnel
correct, masculine noun
Record 19, Abbreviations, French
Record 19, Synonyms, French
Record 19, Textual support, French
Record 19, Spanish
Record 19, Textual support, Spanish
Record 20 - internal organization data 1986-04-14
Record 20, English
Record 20, Subject field(s)
- Artificial Intelligence
Record 20, Main entry term, English
- equational theorem
1, record 20, English, equational%20theorem
proposal
Record 20, Abbreviations, English
Record 20, Synonyms, English
Record 20, Textual support, English
Record 20, French
Record 20, Domaine(s)
- Intelligence artificielle
Record 20, Main entry term, French
- théorème équationnel
1, record 20, French, th%C3%A9or%C3%A8me%20%C3%A9quationnel
correct, masculine noun
Record 20, Abbreviations, French
Record 20, Synonyms, French
Record 20, Textual support, French
Record number: 20, Textual support number: 1 DEF
Un théorème qui peut s'obtenir par des remplacements d'égaux. 1, record 20, French, - th%C3%A9or%C3%A8me%20%C3%A9quationnel
Record 20, Spanish
Record 20, Textual support, Spanish
Record 21 - internal organization data 1986-04-14
Record 21, English
Record 21, Subject field(s)
- Artificial Intelligence
Record 21, Main entry term, English
- equational reasoning
1, record 21, English, equational%20reasoning
proposal
Record 21, Abbreviations, English
Record 21, Synonyms, English
Record 21, French
Record 21, Domaine(s)
- Intelligence artificielle
Record 21, Main entry term, French
- raisonnement équationnel
1, record 21, French, raisonnement%20%C3%A9quationnel
correct, masculine noun
Record 21, Abbreviations, French
Record 21, Synonyms, French
Record 21, Textual support, French
Record 21, Spanish
Record 21, Textual support, Spanish
Record 22 - internal organization data 1986-03-14
Record 22, English
Record 22, Subject field(s)
- Artificial Intelligence
Record 22, Main entry term, English
- equational theory
1, record 22, English, equational%20theory
correct
Record 22, Abbreviations, English
Record 22, Synonyms, English
Record 22, French
Record 22, Domaine(s)
- Intelligence artificielle
Record 22, Main entry term, French
- théorie équationnelle
1, record 22, French, th%C3%A9orie%20%C3%A9quationnelle
correct, feminine noun
Record 22, Abbreviations, French
Record 22, Synonyms, French
Record 22, Textual support, French
Record 22, Spanish
Record 22, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
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: