I was wondering if journals that publish regularly formal proofs are indexed in journal databases like Scopus or Web of Science. Apparently, this is not the case. Why is it so?
-
$\begingroup$ Do you mean the Archive of Formal Proofs? isa-afp.org $\endgroup$– François G. DoraisCommented Oct 24, 2023 at 23:52
-
$\begingroup$ @FrançoisG.Dorais yes $\endgroup$– user1868607Commented Oct 25, 2023 at 8:48
-
$\begingroup$ You ask one question in your title, and two different ones in your text, it would be better to try and align them. $\endgroup$– Meven Lennon-Bertrand ♦Commented Jan 9 at 22:40
2 Answers
In computer science, journal publications are often less valuable and important than publications in conference post-proceedings. They are typically not indexed in databases that focus on journals, even if they constitute the prime mean of dissemination and peer-reviewing.
A number of conferences exist which focus partly or totally on mechanized proofs, such at Certified Programs and Proofs or Interactive Theorem Proving. Within the community they are considered in a very similar way to other conferences not focusing on mechanized proofs specifically.
So the absence of indexing in this case is a more general issue with practices in computer science, which are not specific to mechanized proofs.
-
2$\begingroup$ If you live in an unreasonable country, the relevant powers might ignore all conferences in computer science because "only journals count". $\endgroup$ Commented Jan 10 at 15:40