1
$\begingroup$

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?

$\endgroup$
3
  • $\begingroup$ Do you mean the Archive of Formal Proofs? isa-afp.org $\endgroup$ Oct 24, 2023 at 23:52
  • $\begingroup$ @FrançoisG.Dorais yes $\endgroup$ 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$ Jan 9 at 22:40

2 Answers 2

3
$\begingroup$

I find that Journal of Formalized Reasoning (Univ. Bologna) is covered by MathSciNet. I guess that journal ran from 2008 to 2020. LINK

Also, Journal of Automated Reasoning (Springer) is covered by MathSciNet, from volume 5 (1989) to the present. LINK

$\endgroup$
1
$\begingroup$

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.

$\endgroup$
1
  • 2
    $\begingroup$ If you live in an unreasonable country, the relevant powers might ignore all conferences in computer science because "only journals count". $\endgroup$ Jan 10 at 15:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.