External Links

    Journal: Formalized Mathematics

    Volume 27, Issue 1

    1 -- 13Rafal Ziobro. Concatenation of Finite Sequences
    15 -- 23Kazuhisa Nakasho. Bilinear Operators on Normed Linear Spaces
    25 -- 34Sora Otsuki, Pauline N. Kawamoto, Hiroshi Yamazaki. A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
    35 -- 45Kazuhisa Nakasho. Multilinear Operator and Its Basic Properties
    47 -- 60Roland Coghetto. Cross-Ratio in Real Vector Space
    61 -- 65Kazuhisa Nakasho, Yasunari Shidama. Continuity of Multilinear Operator on Normed Linear Spaces
    67 -- 74Noboru Endou. Fubini's Theorem
    75 -- 85Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms. Part IV - Right Angle
    87 -- 91Hiroyuki Okazaki, Koh-ichi Nagao, Yuichi Futa. Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
    runs on