External Links

    Journal: Formalized Mathematics

    Volume 25, Issue 2

    87 -- 92Artur Kornilowicz, Karol Pak. Vieta's Formula about the Sum of Roots of Polynomials
    93 -- 100Adam Grabowski. Basic Formal Properties of Triangular Norms and Conorms
    101 -- 105Peter Jaeger. Introduction to Stopping Time in Stochastic Finance Theory
    107 -- 119Roland Coghetto. Pascal's Theorem in Real Projective Plane
    121 -- 139Sebastian Koch. About Quotient Orders and Ordering Sequences
    141 -- 147Artur Kornilowicz, Karol Pak. Basel Problem - Preliminaries
    149 -- 155Karol Pak, Artur Kornilowicz. Basel Problem
    157 -- 169Yuichi Futa, Yasunari Shidama. Dual Lattice of ℤ-module Lattice
    runs on