Pages that link to "Item:Q286794"
From MaRDI portal
The following pages link to Four decades of {\textsc{Mizar}}. Foreword (Q286794):
Displaying 50 items.
- Binary relations-based rough sets -- an automated approach (Q502682) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Isomorphism theorem on vector spaces over a ring (Q1688742) (← links)
- F. Riesz theorem (Q1688743) (← links)
- On roots of polynomials and algebraically closed fields (Q1688744) (← links)
- Integral of non positive functions (Q1688750) (← links)
- Formal introduction to fuzzy implications (Q1688751) (← links)
- Formally real fields (Q1795559) (← links)
- Introduction to stopping time in stochastic finance theory. II (Q1795560) (← links)
- Implicit function theorem. I (Q1795561) (← links)
- Introduction to Diophantine approximation. II (Q1795562) (← links)
- Introduction to stochastic finance: random variables and arbitrage theory (Q1796765) (← links)
- Klein-Beltrami model. I (Q1796767) (← links)
- Klein-Beltrami model. II (Q1796768) (← links)
- Fubini's theorem for non-negative or non-positive functions (Q1796769) (← links)
- Diophantine sets. Preliminaries (Q1796771) (← links)
- Refined finiteness and degree properties in graphs (Q2113832) (← links)
- About graph unions and intersections (Q2113833) (← links)
- Unification of graphs and relations in Mizar (Q2113834) (← links)
- Partial correctness of a Fibonacci algorithm (Q2113835) (← links)
- Eliminating models during model elimination (Q2142079) (← links)
- About graph sums (Q2171528) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Field extensions and Kronecker's construction (Q2305339) (← links)
- Underlying simple graphs (Q2305340) (← links)
- About graph mappings (Q2305341) (← links)
- About vertex mappings (Q2305342) (← links)
- Formal development of rough inclusion functions (Q2305345) (← 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)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
- Fundamental properties of fuzzy implications (Q2311534) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Isomorphisms from the space of multilinear operators (Q2337330) (← links)
- Invertible operators on Banach spaces (Q2337331) (← links)
- Implicit function theorem. II (Q2337332) (← links)
- On monomorphisms and subfields (Q2337333) (← links)
- Natural addition of ordinals (Q2337334) (← links)
- About supergraphs. III (Q2337335) (← links)
- Partial correctness of a factorial algorithm (Q2337337) (← links)
- Partial correctness of a power algorithm (Q2337338) (← links)
- Diophantine sets. II (Q2337339) (← links)
- Formalization of the MRDP theorem in the Mizar system (Q2337340) (← links)
- Differentiability of polynomials over reals (Q2356935) (← links)
- Introduction to Liouville numbers (Q2356936) (← links)
- All Liouville numbers are transcendental (Q2356937) (← links)
