Pages that link to "Item:Q3453119"
From MaRDI portal
The following pages link to Mizar: State-of-the-art and Beyond (Q3453119):
Displaying 50 items.
- Mizar (Q16873) (← links)
- Summable family in a commutative group (Q271890) (← links)
- Topology from neighbourhoods (Q271891) (← links)
- Torsion part of \(\mathbb{Z}\)-module (Q271895) (← links)
- Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900) (← links)
- Propositional linear temporal logic with initial validity semantics (Q271908) (← links)
- Stone lattices. (Q271910) (← links)
- Modelling real world using stochastic processes and filtration (Q306626) (← links)
- Circumcenter, circumcircle and centroid of a triangle (Q306627) (← links)
- Altitude, orthocenter of a triangle and triangulation (Q306628) (← links)
- Divisible \(\mathbb{Z}\)-modules (Q306629) (← links)
- Lattice of \(\mathbb{Z}\)-module (Q306630) (← links)
- Product pre-measure (Q306631) (← links)
- Conservation rules of direct sum decomposition of groups (Q306634) (← links)
- Compactness in metric spaces (Q516741) (← links)
- Double sequences and iterated limits in regular space (Q516742) (← links)
- Prime factorization of sums and differences of two like powers (Q516743) (← links)
- Riemann-Stieltjes integral (Q516744) (← links)
- Quasi-uniform space (Q516745) (← links)
- Uniform space (Q516746) (← links)
- Some algebraic properties of polynomial rings (Q516748) (← links)
- Homography in \(\mathbb{R}\mathbb{P}^2\) (Q520382) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← 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)
- Gauge integral (Q1688749) (← links)
- Integral of non positive functions (Q1688750) (← links)
- From types to sets by local type definition in higher-order logic (Q1722645) (← 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)
- Sequences of prime reciprocals. Preliminaries (Q1796770) (← links)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Renamings and a condition-free formalization of Kronecker's construction (Q2113831) (← links)
- Grothendieck universes (Q2113837) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- Pappus's hexagon theorem in real projective plane (Q2119545) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- Ascoli-Arzelà theorem (Q2119549) (← links)
- On primary ideals. I (Q2119550) (← links)
- Some properties of membership functions composed of triangle functions and piecewise linear functions (Q2119552) (← links)
- Real vector space and related notions (Q2119553) (← links)
