Works about MATHEMATICAL proofs


Results: 5000
    1
    2
    3

    斯托克斯定理的形式化及其初步应用.

    Published in:
    Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2025, v. 47, n. 6, p. 1050, doi. 10.3969/j.issn.1007-130X.2025.06.011
    By:
    • 刘永梅;
    • 王国辉;
    • 关永;
    • 张景芝;
    • 施智平;
    • 董璐
    Publication type:
    Article
    4
    5
    6
    7
    8
    10
    11
    12
    13

    Reflections on tiles (in self-assembly).

    Published in:
    Natural Computing, 2017, v. 16, n. 2, p. 295, doi. 10.1007/s11047-017-9617-2
    By:
    • Hendricks, Jacob;
    • Patitz, Matthew;
    • Rogers, Trent
    Publication type:
    Article
    14
    15
    16
    17
    18
    19
    20
    21

    Fractional Poisson Fields.

    Published in:
    Methodology & Computing in Applied Probability, 2015, v. 17, n. 1, p. 155, doi. 10.1007/s11009-013-9354-7
    By:
    • Leonenko, Nikolai;
    • Merzbach, Ely
    Publication type:
    Article
    22

    Distances Between Poisson k -Flats.

    Published in:
    Methodology & Computing in Applied Probability, 2014, v. 16, n. 2, p. 311, doi. 10.1007/s11009-012-9319-2
    By:
    • Schulte, Matthias;
    • Thäle, Christoph
    Publication type:
    Article
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38

    The Iwasawa Main Conjectures for GL.

    Published in:
    Inventiones Mathematicae, 2014, v. 195, n. 1, p. 1, doi. 10.1007/s00222-013-0448-1
    By:
    • Skinner, Christopher;
    • Urban, Eric
    Publication type:
    Article
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50