13 relations: Academic journal, Algorithm, Classical mathematics, Constructivism (mathematics), Digital library, Formal verification, Implementation of mathematics in set theory, MathSciNet, Open access, Peer review, Scopus, University of Bologna, Zentralblatt MATH.
Academic journal
An academic or scholarly journal is a periodical publication in which scholarship relating to a particular academic discipline is published.
New!!: Journal of Formalized Reasoning and Academic journal · See more »
Algorithm
In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.
New!!: Journal of Formalized Reasoning and Algorithm · See more »
Classical mathematics
In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory.
New!!: Journal of Formalized Reasoning and Classical mathematics · See more »
Constructivism (mathematics)
In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists.
New!!: Journal of Formalized Reasoning and Constructivism (mathematics) · See more »
Digital library
A digital library, digital repository, or digital collection, is an online database of digital objects that can include text, still images, audio, video, or other digital media formats.
New!!: Journal of Formalized Reasoning and Digital library · See more »
Formal verification
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.
New!!: Journal of Formalized Reasoning and Formal verification · See more »
Implementation of mathematics in set theory
This article examines the implementation of mathematical concepts in set theory.
New!!: Journal of Formalized Reasoning and Implementation of mathematics in set theory · See more »
MathSciNet
MathSciNet is a searchable online bibliographic database created by the American Mathematical Society in 1996.
New!!: Journal of Formalized Reasoning and MathSciNet · See more »
Open access
Open access (OA) refers to research outputs which are distributed online and free of cost or other barriers, and possibly with the addition of a Creative Commons license to promote reuse.
New!!: Journal of Formalized Reasoning and Open access · See more »
Peer review
Peer review is the evaluation of work by one or more people of similar competence to the producers of the work (peers).
New!!: Journal of Formalized Reasoning and Peer review · See more »
Scopus
Scopus is Elsevier’s abstract and citation database launched in 2004.
New!!: Journal of Formalized Reasoning and Scopus · See more »
University of Bologna
The University of Bologna (Università di Bologna, UNIBO), founded in 1088, is the oldest university in continuous operation, as well as one of the leading academic institutions in Italy and Europe.
New!!: Journal of Formalized Reasoning and University of Bologna · See more »
Zentralblatt MATH
zbMATH, formerly Zentralblatt MATH, is a major international reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH.
New!!: Journal of Formalized Reasoning and Zentralblatt MATH · See more »
Redirects here:
J Formaliz Reason, J. Formaliz. Reason., Journal of formalized reasoning.
References
[1] https://en.wikipedia.org/wiki/Journal_of_Formalized_Reasoning