Formalized Mathematics, 2017, Volume 25, Issue 2
: [8]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
-
Korniłowicz, Artur / Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
-
Grabowski, Adam
Basic Formal Properties of Triangular Norms and Conorms
-
Jaeger, Peter
Introduction to Stopping Time in Stochastic Finance Theory
-
Coghetto, Roland
Pascal’s Theorem in Real Projective Plane
-
Koch, Sebastian
About Quotient Orders and Ordering Sequences
-
Korniłowicz, Artur / Pąk, Karol
Basel Problem – Preliminaries
-
Pąk, Karol / Korniłowicz, Artur
Basel Problem
-
Futa, Yuichi / Shidama, Yasunari
Dual Lattice of ℤ-module Lattice
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2017 | Dual Lattice of ℤ-module Lattice | Futa, Yuichi; Shidama, Yasunari | - | - |
2017 | Basel Problem | Pąk, Karol; Korniłowicz, Artur | - | - |
2017 | About Quotient Orders and Ordering Sequences | Koch, Sebastian | - | - |
2017 | Basel Problem – Preliminaries | Korniłowicz, Artur; Pąk, Karol | - | - |
2017 | Pascal’s Theorem in Real Projective Plane | Coghetto, Roland | - | - |
2017 | Introduction to Stopping Time in Stochastic Finance Theory | Jaeger, Peter | - | - |
2017 | Basic Formal Properties of Triangular Norms and Conorms | Grabowski, Adam | - | - |
2017 | Vieta’s Formula about the Sum of Roots of Polynomials | Korniłowicz, Artur; Pąk, Karol | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 8 z 8