Artur Korniłowicz

From MaRDI portal
Person:271902

Available identifiers

zbMath Open kornilowicz.arturWikidataQ90699711 ScholiaQ90699711MaRDI QIDQ271902

List of research outcomes

PublicationDate of PublicationType
Elementary number theory problems. VII2023-11-28Paper
Elementary number theory problems. VIII2023-11-28Paper
https://portal.mardi4nfdi.de/entity/Q61572532023-06-20Paper
A new export of the Mizar mathematical library2022-04-22Paper
Partial correctness of a Fibonacci algorithm2022-03-14Paper
Elementary number theory problems. II2021-11-17Paper
Partial correctness of a factorial algorithm2019-11-19Paper
On algebras of algorithms and specifications over uninterpreted data2019-07-10Paper
On an algorithmic algebra over simple-named complex-valued nominative data2019-07-10Paper
An inference system of an extension of Floyd-Hoare logic for partial predicates2019-07-10Paper
Partial correctness of GCD algorithm2019-07-10Paper
Kleene algebra of partial predicates2018-10-17Paper
The role of the Mizar mathematical library for interactive proof development in Mizar2018-08-21Paper
Implementation of the composition-nominative approach to program formalization in Mizar2018-07-03Paper
Flexary connectives in Mizar2018-05-15Paper
Simple-named complex-valued nominative data -- definition and basic operations2018-01-11Paper
Vieta's formula about the sum of roots of polynomials2017-10-06Paper
Basel problem -- preliminaries2017-10-06Paper
Basel problem2017-10-06Paper
Differentiability of polynomials over reals2017-06-07Paper
Introduction to Liouville numbers2017-06-07Paper
All Liouville numbers are transcendental2017-06-07Paper
Niven's theorem2017-04-03Paper
Some algebraic properties of polynomial rings2017-03-15Paper
Pseudo-canonical formulae are classical2017-01-06Paper
Enhancement of Mizar Texts with Transitivity Property of Predicates2016-08-30Paper
Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization2016-05-26Paper
Characteristic of rings. Prime fields2016-04-20Paper
Mizar: State-of-the-art and Beyond2015-11-20Paper
The first isomorphism theorem and other properties of rings2015-07-14Paper
Commutativeness of fundamental groups of topological groups2014-11-05Paper
Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\)2014-11-05Paper
Mazur-Ulam Theorem2013-12-03Paper
Cayley's Theorem2013-12-03Paper
More on the Continuity of Real Functions2013-12-03Paper
Valuation Theory. Part I2013-12-03Paper
The Differentiable Functions from R into Rn2013-12-03Paper
Riemann Integral of Functions from R into n-dimensional Real Normed Space2013-12-03Paper
Fundamental Group of n-sphere for n ≥ 22013-10-08Paper
The Borsuk-Ulam Theorem2013-10-08Paper
Cayley-Dickson Construction2013-10-08Paper
Contracting Mapping on Normed Linear Space2013-10-08Paper
Products in Categories without Uniqueness of cod and dom2013-10-08Paper
On rewriting rules in Mizar2013-04-17Paper
Tentative Experiments with Ellipsis in Mizar2012-09-07Paper
https://portal.mardi4nfdi.de/entity/Q30752472011-02-10Paper
A Brief Overview of Mizar2009-10-20Paper
https://portal.mardi4nfdi.de/entity/Q48087222004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48090562004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44220822003-09-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Artur Korniłowicz