Pages that link to "Item:Q1663215"

The following pages link to The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215):

Displaying 50 items.

• Fundamental properties of fuzzy implications (Q2311534) (← links)
• Zariski topology (Q2311535) (← links)
• Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
• On roots of polynomials over \(F[X]/<p>\) (Q2337329) (← 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)
• 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)
• Concatenation of finite sequences (Q2416850) (← links)
• Bilinear operators on normed linear spaces (Q2416851) (← links)
• A simple example for linear partial differential equations and its solution using the method of separation of variables (Q2416853) (← links)
• Continuity of multilinear operator on normed linear spaces (Q2416856) (← links)
• Fubini's theorem (Q2416857) (← links)
• Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
• Maximum number of steps taken by modular exponentiation and Euclidean algorithm (Q2416859) (← links)
• Miscellaneous graph preliminaries (Q2658808) (← links)
• Stability of the 7-3 compressor circuit for Wallace tree. I (Q2658811) (← links)
• Rings of fractions and localization (Q2658812) (← links)
• Reconstruction of the one-dimensional Lebesgue measure (Q2658815) (← links)
• Elementary number theory problems. I (Q2658817) (← links)
• Derivation of commutative rings and the Leibniz formula for power of derivation (Q2664715) (← links)
• Inverse function theorem. I (Q2664716) (← links)
• Miscellaneous graph preliminaries. I (Q2664717) (← links)
• Algebraic extensions (Q2664718) (← links)
• Functional space consisted by continuous functions on topological space (Q2664719) (← links)
• Elementary number theory problems. II (Q2664721) (← links)
• Designing mathematical libraries based on minimal requirements for theorems (Q2767927) (← links)
• Mathematical knowledge management in MIZAR (Q2767928) (← links)
• Extracting Higher-Order Goals from the Mizar Mathematical Library (Q2817297) (← links)
• MikiBeta : A General GUI Library for Visualizing Proof Trees (Q3003488) (← links)
• Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
• Licensing the Mizar Mathematical Library (Q5200114) (← links)
• mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library (Q5200124) (← links)
• Mathematical Knowledge Management (Q5313053) (← links)
• Mathematical Knowledge Management (Q5313072) (← links)
• Automated Improving of Proof Legibility in the Mizar System (Q5495936) (← links)
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
• Declarative Proof Translation (Short Paper) (Q5875449) (← links)
• Measure construction by extension in dependent type theory with application to integration (Q6050768) (← links)
• On bag of 1. I (Q6071618) (← links)
• Differentiation on interval (Q6071619) (← links)
• Elementary number theory problems. VII (Q6071620) (← links)
• Introduction to graph enumerations (Q6071621) (← links)
• On the formalization of Gram-Schmidt process for orthonormalizing a set of vectors (Q6071622) (← links)
• Isosceles triangular and isosceles trapezoidal membership functions using centroid method (Q6071623) (← links)
• Introduction to algebraic geometry (Q6071624) (← links)