Class information for:
Level 1: ERDOS MORDELL INEQUALITY//INFORMAT TECHNOL CORE S//DYNAMIC GEOMETRY

Basic class information
Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
12 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 1181119
449 3       CRYPTOGRAPHY//COMPUTER SCIENCE, THEORY & METHODS//DIGITAL SIGNATURE 26889
1734 2             JOURNAL OF SYMBOLIC COMPUTATION//SCALAR MULTIPLICATION//FINITE FIELDS 6875
23579 1                   ERDOS MORDELL INEQUALITY//INFORMAT TECHNOL CORE S//DYNAMIC GEOMETRY 364

Terms with highest relevance score


rank Category termType chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 ERDOS MORDELL INEQUALITY authKW 432920 1% 100% 5
2 INFORMAT TECHNOL CORE S address 432920 1% 100% 5
3 DYNAMIC GEOMETRY authKW 413895 4% 34% 14
4 DISCRIMINANT SEQUENCE authKW 389625 2% 75% 6
5 GEOMETRY THEOREM PROVING authKW 346336 1% 100% 4
6 REAL QUANTIFIER ELIMINATION authKW 346336 1% 100% 4
7 QUANTIFIER ELIMINATION authKW 287059 6% 16% 21
8 AUTOMATED GEOMETRY THEOREM PROVING authKW 277067 1% 80% 4
9 ROOT CLASSIFICATION authKW 277067 1% 80% 4
10 FUNDAMENTAL TRIANGLE INEQUALITY authKW 259752 1% 100% 3

Web of Science journal categories


chi_square_rank Category chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 Computer Science, Theory & Methods 6525 37% 0% 134
2 Mathematics, Applied 3838 41% 0% 149
3 Computer Science, Software Engineering 1551 15% 0% 56
4 Computer Science, Artificial Intelligence 1364 16% 0% 60
5 Logic 668 3% 0% 11
6 Computer Science, Interdisciplinary Applications 606 12% 0% 42
7 Mathematics 560 18% 0% 66
8 Robotics 244 2% 0% 9
9 Computer Science, Information Systems 128 5% 0% 20
10 Mathematics, Interdisciplinary Applications 81 4% 0% 14

Address terms


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 INFORMAT TECHNOL CORE S 432920 1% 100% 5
2 ARBEITSBEREICH SYMBOL RECHNEN 86584 0% 100% 1
3 CHENGDU COMP PLIACT 86584 0% 100% 1
4 CNRSPROJECT PCRI POLE COMMUN RECH INFORMAT PLATE 86584 0% 100% 1
5 COMP REASONING TRUSTWORTHY COMPUT 86584 0% 100% 1
6 EDUC SORTWA 86584 0% 100% 1
7 INFORAMT PARIS 6 86584 0% 100% 1
8 KNOWLCDGE SYST 86584 0% 100% 1
9 LMIB SKLSDE 86584 0% 100% 1
10 LSIITULPPOLE I 86584 0% 100% 1

Journals


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass
1 JOURNAL OF SYMBOLIC COMPUTATION 119139 15% 2% 56
2 JOURNAL OF AUTOMATED REASONING 31100 4% 2% 16
3 JOURNAL OF MATHEMATICAL INEQUALITIES 14411 3% 2% 10
4 MATHEMATICAL INEQUALITIES & APPLICATIONS 8623 3% 1% 12
5 APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING 6807 2% 1% 7
6 MATHEMATICS MAGAZINE 5494 1% 3% 2
7 AMERICAN MATHEMATICAL MONTHLY 4484 3% 0% 12
8 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 3417 2% 1% 6
9 LECTURE NOTES IN COMPUTER SCIENCE 2390 14% 0% 50
10 MATHEMATICS AND COMPUTERS IN SIMULATION 2356 3% 0% 10

Author Key Words


chi_square_rank term chi_square shrOfCwithTerm shrOfTermInClass termInClass LCSH search Wikipedia search
1 ERDOS MORDELL INEQUALITY 432920 1% 100% 5 Search ERDOS+MORDELL+INEQUALITY Search ERDOS+MORDELL+INEQUALITY
2 DYNAMIC GEOMETRY 413895 4% 34% 14 Search DYNAMIC+GEOMETRY Search DYNAMIC+GEOMETRY
3 DISCRIMINANT SEQUENCE 389625 2% 75% 6 Search DISCRIMINANT+SEQUENCE Search DISCRIMINANT+SEQUENCE
4 GEOMETRY THEOREM PROVING 346336 1% 100% 4 Search GEOMETRY+THEOREM+PROVING Search GEOMETRY+THEOREM+PROVING
5 REAL QUANTIFIER ELIMINATION 346336 1% 100% 4 Search REAL+QUANTIFIER+ELIMINATION Search REAL+QUANTIFIER+ELIMINATION
6 QUANTIFIER ELIMINATION 287059 6% 16% 21 Search QUANTIFIER+ELIMINATION Search QUANTIFIER+ELIMINATION
7 AUTOMATED GEOMETRY THEOREM PROVING 277067 1% 80% 4 Search AUTOMATED+GEOMETRY+THEOREM+PROVING Search AUTOMATED+GEOMETRY+THEOREM+PROVING
8 ROOT CLASSIFICATION 277067 1% 80% 4 Search ROOT+CLASSIFICATION Search ROOT+CLASSIFICATION
9 FUNDAMENTAL TRIANGLE INEQUALITY 259752 1% 100% 3 Search FUNDAMENTAL+TRIANGLE+INEQUALITY Search FUNDAMENTAL+TRIANGLE+INEQUALITY
10 CYLINDRICAL ALGEBRAIC DECOMPOSITION 205225 2% 30% 8 Search CYLINDRICAL+ALGEBRAIC+DECOMPOSITION Search CYLINDRICAL+ALGEBRAIC+DECOMPOSITION

Core articles
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c:
(1) Number of references referring to publications in the class.
(2) Share of total number of active references referring to publications in the class.
(3) Age of the article. New articles get higher score than old articles.
(4) Citation rate, normalized to year.

Classes with closest relation at Level 1


rank cluster_id2 link
1 30771 KAUNAS PUBL SECUR//AXISYMMETRIC QUADRILATERAL FINITE ELEMENTS//C 2 ELEMENTS
2 6128 JOURNAL OF SYMBOLIC COMPUTATION//GROBNER BASES//POLYNOMIAL SYSTEM SOLVING
3 15250 IMPLICITIZATION//MU BASIS//COMPUTER AIDED GEOMETRIC DESIGN
4 22875 GEOMETRIC CONSTRAINT SOLVING//CONSTRUCTIVE GEOMETRIC CONSTRAINT SOLVING//GRP INFORMAT ENGN
5 34395 LDCSEE//LCSEE//XRAY PHYS IMAGING
6 35998 SECT PL PHYS CHEM//PL PHYS CHEM SECT//ADOLPHE MERKLE AMI
7 17963 SIMULTANEOUS METHODS//POLYNOMIAL ZEROS//INCLUSION METHODS
8 36648 LOGIC AND SYMBOLIC COMPUTING//RAILWAY INTERLOCKINGS//O ALGEBRA
9 29545 CONSTRUCTIVE AXIOMATIZATION//DE BRUIJN ERDOS THEOREM//HAJOS THEOREM
10 28321 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING

Go to start page