The following pages link to Adam Naumowicz (Q226646):
Displaying 26 items.
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- More on divisibility criteria for selected primes (Q467778) (← links)
- A note on the seven bridges of Königsberg problem (Q502701) (← links)
- Niven's theorem (Q520388) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- System description: XSL-based translator of Mizar to {\LaTeX} (Q1798936) (← links)
- The geometry of generalized Veronese spaces (Q1885234) (← links)
- Dataset description: formalization of elementary number theory in Mizar (Q2219414) (← links)
- All Liouville numbers are transcendental (Q2356937) (← links)
- Elementary number theory problems. I (Q2658817) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces (Q2865721) (← links)
- Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces (Q2865732) (← links)
- (Q3075247) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)
- Mathematical Knowledge Management (Q5313068) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)
- Interfacing external CA systems for Gröbner bases computation in M<scp>izar</scp>proof checking (Q5852118) (← links)
- On Segre's product of partial line spaces and spaces of pencils (Q5954172) (← links)
- (Q6157253) (← links)
- Elementary number theory problems. V (Q6489414) (← links)
- Elementary number theory problems. XI (Q6557123) (← links)
