Jump to Content Jump to Main Navigation

User Account

Sign in to save searches and organize your favorite content.
Not registered? Sign up

De Gruyter - Sciendo

Search

Save
Email
Share
Share
Share

Volume 26: Issue 2 (Jul 2018)

Publication Date:: 01 Jul 2018

Parity as a Property of Integers

By: Rafał Ziobro

Pages: 91–100
About Supergraphs. Part I

By: Sebastian Koch

Pages: 101–124
About Supergraphs. Part II

By: Sebastian Koch

Pages: 125–140
On Algebras of Algorithms and Specifications over Uninterpreted Data

By: Ievgen Ivanov, Artur Korniłowicz and Mykola Nikitchenko

Pages: 141–147
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data

By: Ievgen Ivanov, Artur Korniłowicz and Mykola Nikitchenko

Pages: 149–158
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

By: Ievgen Ivanov, Artur Korniłowicz and Mykola Nikitchenko

Pages: 159–164
Partial Correctness of GCD Algorithm

By: Ievgen Ivanov, Artur Korniłowicz and Mykola Nikitchenko

Pages: 165–173
Basic Diophantine Relations

By: Marcin Acewicz and Karol Pąk

Pages: 175–181
Formalizing Two Generalized Approximation Operators

By: Adam Grabowski and Michał Sielwiesiuk

Pages: 183–191
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander

By: Adam Grabowski and Damian Sawicki

Pages: 193–198

Top

Formalized Mathematics

(a computer assisted approach)

Formalized Mathematics

Journal Information

Online ISSN:: 1898-9934

First Published:: 09 Jun 2008

Language:: English

SCImago Journal Rank (SJR) 2017: 0.119
Source Normalized Impact per Paper (SNIP) 2017: 0.237

Target Group

researchers in the fields of formal methods and computer-checked mathematics