AboutValuesWhy OA.mg?OA.mg PremiumExploreDataContact
Chrome ExtensionScholarMindChatGPT Plugin
ϟ

Open Access Computer-assisted proof Journals

A list of Open Access Computer-assisted proof journals for you to publish your manuscript in

Computer-assisted proof is Mathematical proof at least partially generated by computer

Open Access journals publish research articles that are free to to view and download. The main difference between articles in open access journals and those in closed journals is the business model. Both types of articles have to undergo the same peer review process.

This list of Computer-assisted proof Open Access journals will hopefully make it easier for you to decide where to publish your Computer-assisted proof manuscript.
Our list includes all the high-impact factor Computer-assisted proof journals as well as new journals. This should give you a better idea on where you should publish. In many cases, you only see lists of Computer-assisted proof journals, nonetheless, in our case we have made the list with open access Computer-assisted proof journals in mind.Use our different columns — number of papers, number of citations, and relevance — to find the best Computer-assisted proof venue for your manuscript.

The DOAJ columns refers to the The Directory of Open Access Journals, a list of open access journals, maintained by Infrastructure Services for Open Access.
There are certain criteria a journal must meet to be indexed by DOAJ, and thus inclusion in the DOAJ index is seen by scholars as a mark of quality.


All the open access Computer-assisted proof journals in this list are indexed in OA.mg.
If you spot any mistakes in this table of Computer-assisted proof OA journals, don’t hesitate to send us an email.

Open Access Computer-assisted proof Journals
NameISSNDOAJPublisherNo. of PapersCitationsRelevance▼Website
Page 1 of 0

Related lists of open access journals:

Open Access Automated Theorem Proving JournalsOpen Access Mathematical Proof JournalsOpen Access Automated Proof Checking JournalsOpen Access Automated Reasoning JournalsOpen Access Formal Verification JournalsOpen Access Mathematics JournalsOpen Access Conjecture JournalsOpen Access Philosophy Of Mathematics JournalsOpen Access Proof Theory JournalsOpen Access Proof Assistant JournalsOpen Access Symbolic Computation JournalsOpen Access Axiom Journals

Frequently Asked Questions

Where can I publish my Computer-assisted proof paper?
You can publish your Computer-assisted proof paper in the Open Access journals in this list
What is Open Access (OA)?
Open Access refers to free access to information and unrestricted use of electronic resources for everyone. Any kind of digital content can be open access, from texts and data to software, audio, and video.
What does “relevance” mean in the table?
It refers to the strength of association between this journal being listed and the concept, from 0-100. For example, the Journal Of Research In Mechanical Engineering has a relevance of “0” when listed under “Open Access Computer Science Journals” because it has no relevance to the field of Computer Science.
How do you count total number of citations?
The citations show how often articles from this journal have been referenced in other works. OpenAlex is where we get this data from. Although the accuracy is debatable, it can nevertheless help you get a sense of how prestigious a journal is in general.
Where can I find other lists like this one?
If you are looking for an author or journal article, you can type it in the name, title, or DOI in the search box above to see more results. If you want to see a similar list to this one, take a look on OA.mg
How can I publish my paper on OA.mg?
We do not offer publishing services. If you'd like to get your paper published, I would suggest you find a journal that suits your needs.
What is an APC?
The Article Processing Charge (APC) is the fee that publishers of some open access journals charge in order to publish articles.
What are the different Open Access types?
Depending on the license, a research paper might be categorised as a) Gold Open Access, b) Hybrid Open Access, c) Green Open Access, d) Bronze Open Access, e) Diamond Open Access, or f) Black Open Access
OA.mgAbout UsOur ValuesWhy OA.mg? OA.mg PremiumChrome ExtensionChatGPT PluginPublic RoadmapChangelogContact UsFeedback?
Privacy PolicyTerms of ServiceRefund Policy
ContentOA.mg CoverageTop ListsOpen Access JournalsTopicsBlog
ExploreGeographyEngineeringPoliSciGeologyPhilosophySociologyArtHistoryMathematicsPhysics
 PsychologyComputer ScienceBusinessEnvironmental ScienceChemistryMaterials ScienceMedicineBiologyEconomics
OA.mg is built in Stockholm, London, and Seoul. We work hand in hand with the scientific community to advance the cause of Open Access. Feedback makes us better.