Class information for: |
Basic class information |
| ID | Publications | Average number of references |
Avg. shr. active ref. in WoS |
|---|---|---|---|
| 25694 | 227 | 27.4 | 16% |
Classes in level above (level 2) |
| ID, lev. above |
Publications | Label for level above |
|---|---|---|
| 3100 | 1841 | HISTORIA MATHEMATICA//ARCHIVE FOR HISTORY OF EXACT SCIENCES//PRINCIPIA |
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 | INFORMAL PROOF | Author keyword | 3 | 60% | 1% | 3 |
| 2 | PHILOSOPHY OF COMPUTER SCIENCE | Author keyword | 2 | 38% | 2% | 5 |
| 3 | MATHEMATICAL PRACTICE | Author keyword | 2 | 27% | 3% | 7 |
| 4 | MATHEMATICAL PROOF | Author keyword | 2 | 22% | 4% | 8 |
| 5 | BARKAN HICKERSON KNUTH FORMULA | Author keyword | 1 | 100% | 1% | 2 |
| 6 | CRITICAL PROGRAMME | Author keyword | 1 | 100% | 1% | 2 |
| 7 | GRP SOFTWARE SCI FORMAL METHODS | Address | 1 | 100% | 1% | 2 |
| 8 | TRANSCENDENTAL LOGARITHM PROBLEM | Author keyword | 1 | 100% | 1% | 2 |
| 9 | AXIOMATIC PROOF | Author keyword | 1 | 50% | 0% | 1 |
| 10 | AZZOUNI | Author keyword | 1 | 50% | 0% | 1 |
Web of Science journal categories |
Author Key Words |
| 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 |
LCSH search | Wikipedia search |
|---|---|---|---|---|---|---|---|
| 1 | INFORMAL PROOF | 3 | 60% | 1% | 3 | Search INFORMAL+PROOF | Search INFORMAL+PROOF |
| 2 | PHILOSOPHY OF COMPUTER SCIENCE | 2 | 38% | 2% | 5 | Search PHILOSOPHY+OF+COMPUTER+SCIENCE | Search PHILOSOPHY+OF+COMPUTER+SCIENCE |
| 3 | MATHEMATICAL PRACTICE | 2 | 27% | 3% | 7 | Search MATHEMATICAL+PRACTICE | Search MATHEMATICAL+PRACTICE |
| 4 | MATHEMATICAL PROOF | 2 | 22% | 4% | 8 | Search MATHEMATICAL+PROOF | Search MATHEMATICAL+PROOF |
| 5 | BARKAN HICKERSON KNUTH FORMULA | 1 | 100% | 1% | 2 | Search BARKAN+HICKERSON+KNUTH+FORMULA | Search BARKAN+HICKERSON+KNUTH+FORMULA |
| 6 | CRITICAL PROGRAMME | 1 | 100% | 1% | 2 | Search CRITICAL+PROGRAMME | Search CRITICAL+PROGRAMME |
| 7 | TRANSCENDENTAL LOGARITHM PROBLEM | 1 | 100% | 1% | 2 | Search TRANSCENDENTAL+LOGARITHM+PROBLEM | Search TRANSCENDENTAL+LOGARITHM+PROBLEM |
| 8 | AXIOMATIC PROOF | 1 | 50% | 0% | 1 | Search AXIOMATIC+PROOF | Search AXIOMATIC+PROOF |
| 9 | AZZOUNI | 1 | 50% | 0% | 1 | Search AZZOUNI | Search AZZOUNI |
| 10 | COMPUTING ENGINEERING | 1 | 50% | 0% | 1 | Search COMPUTING+ENGINEERING | Search COMPUTING+ENGINEERING |
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 | CULTURAL SYNTHESIS | 3 | 38% | 3% | 6 |
| 2 | THEORETICAL MATHEMATICS | 3 | 38% | 3% | 6 |
| 3 | 4 COLOR PROBLEM | 0 | 33% | 0% | 1 |
| 4 | INFORMAL LOGIC | 0 | 33% | 0% | 1 |
| 5 | HUMAN ACQUISITION | 0 | 17% | 0% | 1 |
| 6 | 4 COLOR THEOREM | 0 | 13% | 0% | 1 |
| 7 | CONCERTS | 0 | 100% | 0% | 1 |
| 8 | HERTZIAN WAVES | 0 | 100% | 0% | 1 |
| 9 | JACOBI SYMBOL | 0 | 100% | 0% | 1 |
| 10 | PYTHAGORAS COULD | 0 | 100% | 0% | 1 |
Journals |
Reviews |
| Title | Publ. year | Cit. | Active references |
% act. ref. to same field |
|---|---|---|---|---|
| Mathematics and complex systems | 2007 | 11 | 3 | 67% |
| When is a proof a proof? | 2003 | 5 | 7 | 57% |
| Slaying the kraken: The sociohistory of a mathematical proof | 1999 | 20 | 10 | 20% |
| Software Engineering Between Technics and Science | 2010 | 0 | 9 | 44% |
| The withering immortality of Nicolas Bourbaki: A cultural connector at the confluence of mathematics, structuralism, and the Oulipo in France | 1997 | 11 | 7 | 14% |
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 | GRP SOFTWARE SCI FORMAL METHODS | 1 | 100% | 0.9% | 2 |
| 2 | DIPARTIMENTO TEORIE RIC SISTEMI CULTURALI | 1 | 50% | 0.4% | 1 |
| 3 | EA 827 | 1 | 50% | 0.4% | 1 |
| 4 | INT PHILOSOPHY SCI | 1 | 50% | 0.4% | 1 |
| 5 | VAKGRP WIJSBEGEERTE | 1 | 50% | 0.4% | 1 |
| 6 | BARDLEY ELECT COMP ENGN | 0 | 33% | 0.4% | 1 |
| 7 | FCRP | 0 | 33% | 0.4% | 1 |
| 8 | RECH HIST SCI TECH | 0 | 25% | 0.4% | 1 |
| 9 | RENSSELAER AI REASONING | 0 | 25% | 0.4% | 1 |
| 10 | SIMULAT MODELLING | 0 | 25% | 0.4% | 1 |
Related classes at same level (level 1) |
| Rank | Relatedness score | Related classes |
|---|---|---|
| 1 | 0.0000110781 | JOURNAL FOR RESEARCH IN MATHEMATICS EDUCATION//EDUCATIONAL STUDIES IN MATHEMATICS//REFORM IN MATHEMATICS EDUCATION |
| 2 | 0.0000110646 | ALPHABETISATION//MANIPAL PHILOSOPHY HUMANITIES//MEANING IN MATHEMATICS |
| 3 | 0.0000107921 | HISTORIA MATHEMATICA//AMERICAN MATHEMATICS//ARCHIVE FOR HISTORY OF EXACT SCIENCES |
| 4 | 0.0000103442 | THOUGHT EXPERIMENTS//JOHN NORTON//IMAGINATION STIMULATION |
| 5 | 0.0000098038 | PHILOSOPHIA MATHEMATICA//HUMES PRINCIPLE//INDISPENSABILITY ARGUMENT |
| 6 | 0.0000091990 | EARLY ALGEBRA//EQUAL SIGN//PRE ALGEBRA |
| 7 | 0.0000085555 | ARQUIVOS BRASILEROS DE PSICOLOGIA//CORPOREO//MEMORIA |
| 8 | 0.0000081944 | LONDON ENGLISH//ARISTOTELIAN PSYCHOLOGY//LONDON ASSOCIATION FOR THE TEACHING OF ENGLISH |
| 9 | 0.0000081848 | ARCHIVE FOR HISTORY OF EXACT SCIENCES//HISTORIA MATHEMATICA//HYPERREALS |
| 10 | 0.0000081575 | HYPERCOMPUTATION//REAL RECURSIVE FUNCTIONS//CHURCH TURING THESIS |