Class information for:
Level 1: COMPUTABLE ANALYSIS//COMPUTABLE TOPOLOGY//COMPUTABLE METRIC SPACE

Basic class information

Class id #P Avg. number of
references
Database coverage
of references
16666 642 21.0 26%



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
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
276 3       FUZZY SETS AND SYSTEMS//ALGEBRA UNIVERSALIS//ROUGH SETS 43335
1635 2             APPLIED CATEGORICAL STRUCTURES//FUZZY TOPOLOGY//FUZZY SETS AND SYSTEMS 6966
16666 1                   COMPUTABLE ANALYSIS//COMPUTABLE TOPOLOGY//COMPUTABLE METRIC SPACE 642

Terms with highest relevance score



rank Term termType Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 COMPUTABLE ANALYSIS authKW 2896550 14% 68% 90
2 COMPUTABLE TOPOLOGY authKW 475616 2% 100% 10
3 COMPUTABLE METRIC SPACE authKW 442685 2% 85% 11
4 DOMAIN THEORY authKW 416219 5% 27% 32
5 DOMAIN REPRESENTABLE authKW 380493 1% 100% 8
6 EXACT REAL NUMBER COMPUTATION authKW 332931 1% 100% 7
7 FORMAL BALL authKW 285370 1% 100% 6
8 RECURSIVE TOPOLOGY authKW 285370 1% 100% 6
9 EFFECTIVE DESCRIPTIVE SET THEORY authKW 279766 2% 59% 10
10 TYPE 2 THEORY OF EFFECTIVITY authKW 276718 1% 73% 8

Web of Science journal categories



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 Logic 119195 30% 1% 192
2 Computer Science, Theory & Methods 21480 50% 0% 322
3 Mathematics 6722 44% 0% 285
4 Mathematics, Applied 2299 24% 0% 157
5 Computer Science, Software Engineering 496 7% 0% 44
6 Computer Science, Hardware & Architecture 85 2% 0% 15
7 Computer Science, Cybernetics 11 0% 0% 3
8 Computer Science, Information Systems 3 1% 0% 8
9 Physics, Mathematical 2 1% 0% 8
10 Computer Science, Artificial Intelligence 2 1% 0% 7

Address terms



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 FDN ASPECTS COMP SCI 258943 1% 78% 7
2 DPT MATH COMP SCI 142685 0% 100% 3
3 FOUNDAT ASPECTS COMP SCI 126828 1% 67% 4
4 INFORMATIKZENTRUM 95123 0% 100% 2
5 INFORMATZENTRUM 95123 0% 100% 2
6 ERSHOV INFORMAT SYST 90291 2% 15% 13
7 CLERMONT 55477 1% 17% 7
8 AIX EN PROVENCE LMC 47562 0% 100% 1
9 CIENCIAS MATEMT INFORMAT 47562 0% 100% 1
10 COMPUTAB LOG GRP 47562 0% 100% 1

Journals



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
1 MATHEMATICAL LOGIC QUARTERLY 131404 9% 5% 57
2 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 56573 4% 5% 25
3 LOGICAL METHODS IN COMPUTER SCIENCE 50823 4% 4% 26
4 THEORETICAL COMPUTER SCIENCE 46187 16% 1% 102
5 ANNALS OF PURE AND APPLIED LOGIC 33281 6% 2% 38
6 JOURNAL OF COMPLEXITY 19179 3% 2% 18
7 JOURNAL OF UNIVERSAL COMPUTER SCIENCE 17264 4% 1% 25
8 JOURNAL OF SYMBOLIC LOGIC 13769 5% 1% 29
9 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 11605 2% 2% 11
10 THEORY OF COMPUTING SYSTEMS 10780 2% 2% 15

Author Key Words



Rank Term Chi square Shr. of publ. in
class containing
term
Class's shr. of
term's tot. occurrences
#P with
term in
class
LCSH search Wikipedia search
1 COMPUTABLE ANALYSIS 2896550 14% 68% 90 Search COMPUTABLE+ANALYSIS Search COMPUTABLE+ANALYSIS
2 COMPUTABLE TOPOLOGY 475616 2% 100% 10 Search COMPUTABLE+TOPOLOGY Search COMPUTABLE+TOPOLOGY
3 COMPUTABLE METRIC SPACE 442685 2% 85% 11 Search COMPUTABLE+METRIC+SPACE Search COMPUTABLE+METRIC+SPACE
4 DOMAIN THEORY 416219 5% 27% 32 Search DOMAIN+THEORY Search DOMAIN+THEORY
5 DOMAIN REPRESENTABLE 380493 1% 100% 8 Search DOMAIN+REPRESENTABLE Search DOMAIN+REPRESENTABLE
6 EXACT REAL NUMBER COMPUTATION 332931 1% 100% 7 Search EXACT+REAL+NUMBER+COMPUTATION Search EXACT+REAL+NUMBER+COMPUTATION
7 FORMAL BALL 285370 1% 100% 6 Search FORMAL+BALL Search FORMAL+BALL
8 RECURSIVE TOPOLOGY 285370 1% 100% 6 Search RECURSIVE+TOPOLOGY Search RECURSIVE+TOPOLOGY
9 EFFECTIVE DESCRIPTIVE SET THEORY 279766 2% 59% 10 Search EFFECTIVE+DESCRIPTIVE+SET+THEORY Search EFFECTIVE+DESCRIPTIVE+SET+THEORY
10 TYPE 2 THEORY OF EFFECTIVITY 276718 1% 73% 8 Search TYPE+2+THEORY+OF+EFFECTIVITY Search TYPE+2+THEORY+OF+EFFECTIVITY

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.



Rank Reference # ref.
in cl.
Shr. of ref. in
cl.
Citations
1 KAWAMURA, A , MULLER, N , ROSNICK, C , ZIEGLER, M , (2015) COMPUTATIONAL BENEFIT OF SMOOTHNESS: PARAMETERIZED BIT-COMPLEXITY OF NUMERICAL OPERATORS ON ANALYTIC FUNCTIONS AND GEVREY'S HIERARCHY.JOURNAL OF COMPLEXITY. VOL. 31. ISSUE 5. P. 689 -714 21 84% 1
2 ZIEGLER, M , (2012) REAL COMPUTATION WITH LEAST DISCRETE ADVICE: A COMPLEXITY THEORY OF NONUNIFORM COMPUTABILITY WITH APPLICATIONS TO EFFECTIVE LINEAR ALGEBRA.ANNALS OF PURE AND APPLIED LOGIC. VOL. 163. ISSUE 8. P. 1108-1139 19 90% 5
3 WEIHRAUCH, K , GRUBBA, T , (2009) ELEMENTARY COMPUTABLE TOPOLOGY.JOURNAL OF UNIVERSAL COMPUTER SCIENCE. VOL. 15. ISSUE 6. P. 1381-1422 18 90% 12
4 BLANCK, J , (2008) REDUCIBILITY OF DOMAIN REPRESENTATIONS AND CANTOR-WEIHRAUCH DOMAIN REPRESENTATIONS.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 18. ISSUE 6. P. 1031-1056 17 94% 1
5 LE ROUX, S , PAULY, A , (2015) FINITE CHOICE, CONVEX CHOICE AND FINDING ROOTS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 11. ISSUE 4. P. - 13 100% 0
6 SELIVANOV, V , (2013) TOTAL REPRESENTATIONS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 9. ISSUE 2. P. - 14 93% 0
7 WEIHRAUCH, K , (2008) THE COMPUTABLE MULTI-FUNCTIONS ON MULTI-REPRESENTED SETS ARE CLOSED UNDER PROGRAMMING.JOURNAL OF UNIVERSAL COMPUTER SCIENCE. VOL. 14. ISSUE 6. P. 801-844 16 89% 6
8 SUN, SM , ZHONG, N , (2015) COMPUTABILITY ASPECTS FOR 1ST-ORDER PARTIAL DIFFERENTIAL EQUATIONS VIA CHARACTERISTICS.THEORETICAL COMPUTER SCIENCE. VOL. 583. ISSUE . P. 27 -39 13 93% 0
9 SPREEN, D , (2001) CAN PARTIAL INDEXINGS BE TOTALIZED?.JOURNAL OF SYMBOLIC LOGIC. VOL. 66. ISSUE 3. P. 1157 -1185 19 90% 0
10 LU, H , WEIHRAUCH, K , (2008) COMPUTABLE RIESZ REPRESENTATION FOR LOCALLY COMPACT HAUSDORFF SPACES.JOURNAL OF UNIVERSAL COMPUTER SCIENCE. VOL. 14. ISSUE 6. P. 845-860 14 100% 0

Classes with closest relation at Level 1



Rank Class id link
1 21198 LAWSON COMPACT//SCOTT TOPOLOGY//CONTINUOUS POSET
2 17404 HYPERCOMPUTATION//CHURCH TURING THESIS//ANALOG COMPUTATION
3 19469 DITOPOLOGY//QUASI UNIFORMITY//TEXTURE SPACE
4 12316 CONSTRUCTIVE MATHEMATICS//FORMAL TOPOLOGY//CONSTRUCTIVE
5 8238 ALGORITHMIC RANDOMNESS//TURING DEGREES//KOLMOGOROV COMPLEXITY
6 13423 REVERSE MATHEMATICS//LOGIC//FUNCTIONAL INTERPRETATION
7 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
8 15945 POST CORRESPONDENCE PROBLEM//INFINITARY RATIONAL RELATIONS//D0L SYSTEM
9 18723 THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS
10 33651 NORMAL NUMBERS//CANTOR SERIES//POLYNOMIAL TIME RANDOMNESS

Go to start page