Pages that link to "Item:Q1663215"
From MaRDI portal
The following pages link to The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215):
Displaying 43 items.
- About regular graphs (Q6071625) (← links)
- Elementary number theory problems. VIII (Q6071626) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Intuitionistic propositional calculus in the extended framework with modal operator. II (Q6489396) (← links)
- Compactness of neural networks (Q6489397) (← links)
- Splitting fields for the rational polynomials \(X^2 -2\), \(X^2+X+1\), \(X^3 -1\), and \(X^3 -2\) (Q6489399) (← links)
- Absolutely integrable functions (Q6489400) (← links)
- Non-trivial universes and sequences of universes (Q6489401) (← links)
- Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces (Q6489402) (← links)
- Characteristic subgroups (Q6489403) (← links)
- Transformation tools for real linear spaces (Q6489404) (← links)
- Introduction to graph colorings (Q6489405) (← links)
- Definition of centroid method as defuzzification (Q6489406) (← links)
- Elementary number theory problems. III (Q6489407) (← links)
- On implicit and inverse function theorems on Euclidean spaces (Q6489408) (← links)
- Prime representing polynomial with 10 unknowns -- introduction (Q6489409) (← links)
- Artin's theorem towards the existence of algebraic closures (Q6489410) (← links)
- The divergence of the sum of prime reciprocals (Q6489411) (← links)
- Ring of endomorphisms and modules over a ring (Q6489412) (← links)
- Elementary number theory problems. IV (Q6489413) (← links)
- Elementary number theory problems. V (Q6489414) (← links)
- Elementary number theory problems. VI (Q6489415) (← links)
- Embedding principle for rings and abelian groups (Q6557115) (← links)
- On fuzzy negations and laws of contraposition. Lattice of fuzzy negations (Q6557116) (← links)
- Elementary number theory problems. IX (Q6557117) (← links)
- Elementary number theory problems. X: Diophantine equations (Q6557118) (← links)
- Elementary number theory problems. XI (Q6557123) (← links)
- Tarski geometry axioms. V: Half-planes and planes (Q6557128) (← links)
- Prime representing polynomial with 10 unknowns -- introduction. II (Q6557224) (← links)
- Prime representing polynomial with 10 unknowns (Q6557225) (← links)
- Existence and uniqueness of algebraic closures (Q6557226) (← links)
- Formalization of orthogonal decomposition for Hilbert spaces (Q6557227) (← links)
- A case study of transporting Urysohn's lemma from topology via open sets into topology via neighborhoods (Q6592310) (← links)
- Extended natural numbers and counters (Q6592311) (← links)
- Ring and field adjunctions, algebraic elements and minimal polynomials (Q6592312) (← links)
- Functional sequence in norm space (Q6592313) (← links)
- General theory and tools for proving algorithms in nominative data systems (Q6592314) (← links)
- Partial correctness of an algorithm computing Lucas sequences (Q6592315) (← links)
- Elementary number theory problems. XIII (Q6626691) (← links)
- Integral of continuous three variable functions (Q6626692) (← links)
- Separable polynomials and separable extensions (Q6626693) (← links)
- Solving hard Mizar problems with instantiation and strategy invention (Q6648179) (← links)
- Graph sequence learning for premise selection (Q6650565) (← links)
