The following pages link to Artur Korniłowicz (Q271902):
Displaying 50 items.
- Characteristic of rings. Prime fields (Q271903) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Commutativeness of fundamental groups of topological groups (Q467783) (← links)
- Coproducts in categories without uniqueness of \(\mathbf{cod}\) and \(\mathbf{dom}\) (Q467797) (← links)
- Pseudo-canonical formulae are classical (Q502693) (← links)
- Some algebraic properties of polynomial rings (Q516748) (← links)
- Niven's theorem (Q520388) (← links)
- Implementation of the composition-nominative approach to program formalization in Mizar (Q1650410) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Simple-named complex-valued nominative data -- definition and basic operations (Q1688748) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Partial correctness of a Fibonacci algorithm (Q2113835) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- On algebras of algorithms and specifications over uninterpreted data (Q2311521) (← links)
- On an algorithmic algebra over simple-named complex-valued nominative data (Q2311522) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Partial correctness of GCD algorithm (Q2311524) (← links)
- Partial correctness of a factorial algorithm (Q2337337) (← links)
- The first isomorphism theorem and other properties of rings (Q2353431) (← links)
- Differentiability of polynomials over reals (Q2356935) (← links)
- Introduction to Liouville numbers (Q2356936) (← links)
- All Liouville numbers are transcendental (Q2356937) (← links)
- Vieta's formula about the sum of roots of polynomials (Q2407503) (← links)
- Basel problem -- preliminaries (Q2407508) (← links)
- Basel problem (Q2407509) (← links)
- Elementary number theory problems. II (Q2664721) (← links)
- Enhancement of Mizar Texts with Transitivity Property of Predicates (Q2817301) (← links)
- Fundamental Group of n-sphere for n ≥ 2 (Q2852146) (← links)
- The Borsuk-Ulam Theorem (Q2852147) (← links)
- Cayley-Dickson Construction (Q2852171) (← links)
- Contracting Mapping on Normed Linear Space (Q2852172) (← links)
- Products in Categories without Uniqueness of cod and dom (Q2852173) (← links)
- Mazur-Ulam Theorem (Q2865741) (← links)
- Cayley's Theorem (Q2865751) (← links)
- More on the Continuity of Real Functions (Q2865753) (← links)
- Valuation Theory. Part I (Q2865756) (← links)
- The Differentiable Functions from R into Rn (Q2865763) (← links)
- Riemann Integral of Functions from R into n-dimensional Real Normed Space (Q2865765) (← links)
- Tentative Experiments with Ellipsis in Mizar (Q2907348) (← links)
- (Q3075247) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- (Q4422082) (← links)
- Elementary number theory problems. VII (Q6071620) (← links)
- Elementary number theory problems. VIII (Q6071626) (← links)
- (Q6157253) (← links)
- Elementary number theory problems. III (Q6489407) (← links)
- Elementary number theory problems. IV (Q6489413) (← links)
