Artur Korniłowicz

Available identifiers

zbMath Open kornilowicz.arturWikidataQ90699711 ScholiaQ90699711MaRDI QIDQ271902

List of research outcomes

Publication	Date of Publication	Type
Elementary number theory problems. VII	2023-11-28	Paper
Elementary number theory problems. VIII	2023-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q6157253	2023-06-20	Paper
A new export of the Mizar mathematical library	2022-04-22	Paper
Partial correctness of a Fibonacci algorithm	2022-03-14	Paper
Elementary number theory problems. II	2021-11-17	Paper
Partial correctness of a factorial algorithm	2019-11-19	Paper
On algebras of algorithms and specifications over uninterpreted data	2019-07-10	Paper
On an algorithmic algebra over simple-named complex-valued nominative data	2019-07-10	Paper
An inference system of an extension of Floyd-Hoare logic for partial predicates	2019-07-10	Paper
Partial correctness of GCD algorithm	2019-07-10	Paper
Kleene algebra of partial predicates	2018-10-17	Paper
The role of the Mizar mathematical library for interactive proof development in Mizar	2018-08-21	Paper
Implementation of the composition-nominative approach to program formalization in Mizar	2018-07-03	Paper
Flexary connectives in Mizar	2018-05-15	Paper
Simple-named complex-valued nominative data -- definition and basic operations	2018-01-11	Paper
Vieta's formula about the sum of roots of polynomials	2017-10-06	Paper
Basel problem -- preliminaries	2017-10-06	Paper
Basel problem	2017-10-06	Paper
Differentiability of polynomials over reals	2017-06-07	Paper
Introduction to Liouville numbers	2017-06-07	Paper
All Liouville numbers are transcendental	2017-06-07	Paper
Niven's theorem	2017-04-03	Paper
Some algebraic properties of polynomial rings	2017-03-15	Paper
Pseudo-canonical formulae are classical	2017-01-06	Paper
Enhancement of Mizar Texts with Transitivity Property of Predicates	2016-08-30	Paper
Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization	2016-05-26	Paper
Characteristic of rings. Prime fields	2016-04-20	Paper
Mizar: State-of-the-art and Beyond	2015-11-20	Paper
The first isomorphism theorem and other properties of rings	2015-07-14	Paper
Commutativeness of fundamental groups of topological groups	2014-11-05	Paper
Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\)	2014-11-05	Paper
Mazur-Ulam Theorem	2013-12-03	Paper
Cayley's Theorem	2013-12-03	Paper
More on the Continuity of Real Functions	2013-12-03	Paper
Valuation Theory. Part I	2013-12-03	Paper
The Differentiable Functions from R into Rn	2013-12-03	Paper
Riemann Integral of Functions from R into n-dimensional Real Normed Space	2013-12-03	Paper
Fundamental Group of n-sphere for n ≥ 2	2013-10-08	Paper
The Borsuk-Ulam Theorem	2013-10-08	Paper
Cayley-Dickson Construction	2013-10-08	Paper
Contracting Mapping on Normed Linear Space	2013-10-08	Paper
Products in Categories without Uniqueness of cod and dom	2013-10-08	Paper
On rewriting rules in Mizar	2013-04-17	Paper
Tentative Experiments with Ellipsis in Mizar	2012-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q3075247	2011-02-10	Paper
A Brief Overview of Mizar	2009-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4808722	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809056	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4422082	2003-09-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Artur Korniłowicz