Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 22787 | 313 | 22.2 | 24% |
Classes in level above (level 2) |
| ID, lev. above |
Publications | Label for level above |
|---|---|---|
| 2527 | 3331 | JOURNAL OF SYMBOLIC COMPUTATION//IMPLICITIZATION//MU BASIS |
Terms with highest relevance score |
| Rank | Term | Type of term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|---|
| 1 | INFORMAT TECHNOL CORE S | Address | 9 | 83% | 2% | 5 |
| 2 | DISCRIMINANT SEQUENCE | Author keyword | 8 | 75% | 2% | 6 |
| 3 | ROOT CLASSIFICATION | Author keyword | 6 | 80% | 1% | 4 |
| 4 | GEOMETRY THEOREM PROVING | Author keyword | 4 | 67% | 1% | 4 |
| 5 | AUTOMATED GEOMETRY THEOREM PROVING | Author keyword | 3 | 57% | 1% | 4 |
| 6 | PARAMETRIC POLYNOMIAL SYSTEMS | Author keyword | 3 | 100% | 1% | 3 |
| 7 | QUANTIFIER ELIMINATION | Author keyword | 3 | 15% | 6% | 19 |
| 8 | GEOMETRIC LOCI | Author keyword | 3 | 60% | 1% | 3 |
| 9 | REAL QUANTIFIER ELIMINATION | Author keyword | 3 | 60% | 1% | 3 |
| 10 | DYNAMIC GEOMETRY | Author keyword | 3 | 20% | 4% | 12 |
Web of Science journal categories |
Author Key Words |
Key Words Plus |
| Rank | Web of Science journal category | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | CYLINDRICAL ALGEBRAIC DECOMPOSITION | 10 | 45% | 5% | 17 |
| 2 | QUANTIFIER ELIMINATION | 8 | 21% | 12% | 36 |
| 3 | COMPLETE DISCRIMINATION SYSTEM | 4 | 67% | 1% | 4 |
| 4 | IMPROVED PROJECTION | 4 | 67% | 1% | 4 |
| 5 | READABLE PROOFS | 4 | 75% | 1% | 3 |
| 6 | TRADITIONAL PROOFS | 4 | 75% | 1% | 3 |
| 7 | PLANE LOCI | 3 | 100% | 1% | 3 |
| 8 | ADJACENCY ALGORITHM | 1 | 38% | 1% | 3 |
| 9 | FACTORABILITY | 1 | 50% | 0% | 1 |
| 10 | HOMOGENEOUS MATERIAL | 1 | 50% | 0% | 1 |
Journals |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition | 1997 | 2 | 37 | 78% |
| A BIBLIOGRAPHY OF QUANTIFIER ELIMINATION FOR REAL CLOSED FIELDS | 1988 | 10 | 23 | 43% |
Address terms |
| Rank | Address term | Relevance score (tfidf) |
Class's shr. of term's tot. occurrences |
Shr. of publ. in class containing term |
Num. of publ. in class |
|---|---|---|---|---|---|
| 1 | INFORMAT TECHNOL CORE S | 9 | 83% | 1.6% | 5 |
| 2 | CHENGDU COMP PL | 1 | 33% | 0.6% | 2 |
| 3 | ESCOLA ENXENERIA FO TAL | 1 | 50% | 0.3% | 1 |
| 4 | IT CORE S | 1 | 50% | 0.3% | 1 |
| 5 | CES FELIPE II | 1 | 29% | 0.6% | 2 |
| 6 | DMST | 0 | 33% | 0.3% | 1 |
| 7 | LMIB SKLSDE MATH SYST SCI | 0 | 33% | 0.3% | 1 |
| 8 | URA CNRS 741 | 0 | 33% | 0.3% | 1 |
| 9 | EDUC SOFTWARE | 0 | 20% | 0.3% | 1 |
| 10 | SKLSDE | 0 | 10% | 0.6% | 2 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000244897 | JOURNAL OF SYMBOLIC COMPUTATION//POLYNOMIAL SYSTEM SOLVING//CONDITION METRIC |
| 2 | 0.0000208926 | MU BASIS//IMPLICITIZATION//PROMALACTIS |
| 3 | 0.0000203048 | MEMBRANE HYPOTHESIS//A MOLTEN CARBONATE//BENDING THEORY OF SHELLS |
| 4 | 0.0000127929 | LEHRSTUHL MATH INFORMAT//DIRKSEN//ROOTS SEPARATION |
| 5 | 0.0000125295 | GEOMETRIC CONSTRAINT SOLVING//CONSTRUCTIVE GEOMETRIC CONSTRAINT SOLVING//GRP INFORMAT ENGN |
| 6 | 0.0000105417 | LOGIC AND SYMBOLIC COMPUTING//O ALGEBRA//IDEALS THEORY |
| 7 | 0.0000101761 | MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2 |
| 8 | 0.0000091827 | LDCSEE//LCSEE//QUANTIFIED BOOLEAN FORMULA |
| 9 | 0.0000074719 | JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION |
| 10 | 0.0000062056 | COGALOIS EXTENSION//G COGALOIS EXTENSION//RADICAL EXTENSION |