<!DOCTYPE html>
<html lang="en">
<head>

    <link href="https://newptcai.github.io/feeds/all.atom.xml" type="application/atom+xml" rel="alternate" title="You don't need to prove this Full Atom Feed" />

    <!-- CSS -->
    <link rel="stylesheet" type="text/css" href="https://newptcai.github.io/theme/css/w3.css">
    <link rel="stylesheet" type="text/css" href="https://newptcai.github.io/theme/css/style.css">
    <link rel="stylesheet" type="text/css" href="https://newptcai.github.io/theme/css/jqcloud.css">
    <link rel="stylesheet" type="text/css" href="https://newptcai.github.io/theme/css/all.min.css">
    <link rel="stylesheet" type="text/css" href="https://newptcai.github.io/theme/css/shariff.min.css">
    <link rel="stylesheet" type="text/css" href="https://newptcai.github.io/theme/css/pygments-highlight-github.css">

    <!-- JavaScript -->
    <script src="https://newptcai.github.io/theme/js/jquery-3.5.1.min.js"></script>
    <script src="https://newptcai.github.io/theme/js/jqcloud.min.js"></script>

     <!-- Meta -->
    <meta charset="utf-8" />
    <meta http-equiv="X-UA-Compatible" content="IE=edge" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    <meta name="HandheldFriendly" content="True" />
</head>
<body>
  <div class="w3-row w3-card w3-white">
    <header id=banner>
       <!-- AUTHOR INITIALS-->
      <a href="https://newptcai.github.io" id=logo title="Home">XS</a>
      <nav id="menu">
        <ul>
          <li><a href="https://newptcai.github.io/pages/research.html">Research</a></li>
          <li><a href="https://newptcai.github.io/pages/teaching.html">Teaching</a></li>
          <li ><a href="https://newptcai.github.io/category/math.html">math</a></li>
          <li ><a href="https://newptcai.github.io/category/mumble.html">mumble</a></li>
          <li ><a href="https://newptcai.github.io/category/photo.html">photo</a></li>
        </ul>
      </nav>
    </header>
  </div>
<h1>Archives for You don't need to prove this</h1>

<dl>
    <dt>Sat 16 January 2021</dt>
    <dd><a href="https://newptcai.github.io/what-have-i-done-in-2020-part-3-donating-to-charities.html">What have I done in 2020? Part 3 -- Donating to charities</a></dd>
    <dt>Sun 27 December 2020</dt>
    <dd><a href="https://newptcai.github.io/what-have-i-done-in-2020-part-2-becoming-an-environmentalist.html">What have I done in 2020? Part 2 -- Becoming an environmentalist</a></dd>
    <dt>Wed 16 December 2020</dt>
    <dd><a href="https://newptcai.github.io/what-have-i-done-in-2020-part-1-becoming-a-vegan.html">What have I done in 2020? Part 1 -- Becoming a vegan</a></dd>
    <dt>Wed 23 September 2020</dt>
    <dd><a href="https://newptcai.github.io/a-random-graph-model-with-2-point-concentrated-diameter.html">A random graph model with 2-point-concentrated diameter</a></dd>
    <dt>Tue 08 September 2020</dt>
    <dd><a href="https://newptcai.github.io/several-variable-calculus-1ma017-sep-2020.html">Several Variable Calculus 1MA017, Sep 2020</a></dd>
    <dt>Sun 24 May 2020</dt>
    <dd><a href="https://newptcai.github.io/reinstall-julia.html">Reinstall Julia</a></dd>
    <dt>Sat 09 May 2020</dt>
    <dd><a href="https://newptcai.github.io/euclidean-plane-geometry-with-julia.html">Euclidean Plane Geometry with Julia</a></dd>
    <dt>Fri 24 April 2020</dt>
    <dd><a href="https://newptcai.github.io/bak-sneppen-model.html">Bak-Sneppen model</a></dd>
    <dt>Sat 18 April 2020</dt>
    <dd><a href="https://newptcai.github.io/using-bee-and-beejl-to-solve-combinatorial-problems.html">Using BEE and BEE.jl to solve combinatorial problems</a></dd>
    <dt>Wed 15 April 2020</dt>
    <dd><a href="https://newptcai.github.io/harmonic-number-and-zeta-functions-explained-in-julia-part-2.html">Harmonic number and Zeta functions explained in Julia (part 2)</a></dd>
    <dt>Tue 14 April 2020</dt>
    <dd><a href="https://newptcai.github.io/harmonic-number-and-zeta-functions-explained-in-julia-part-1.html">Harmonic number and Zeta functions explained in Julia (part 1)</a></dd>
    <dt>Sun 12 April 2020</dt>
    <dd><a href="https://newptcai.github.io/how-to-fight-pandemic-cooking-at-home.html">How to fight pandemic? Cooking at home!</a></dd>
    <dt>Sun 12 April 2020</dt>
    <dd><a href="https://newptcai.github.io/two-3-d-cyclic-integrals-by-mathematica.html">Two 3-d cyclic integrals by Mathematica</a></dd>
    <dt>Sat 11 April 2020</dt>
    <dd><a href="https://newptcai.github.io/friends-and-colleagues.html">Friends and colleagues</a></dd>
    <dt>Sat 11 April 2020</dt>
    <dd><a href="https://newptcai.github.io/proving-an-inequality-with-julia-and-interval-arithmetic.html">Proving an inequality with Julia and interval arithmetic</a></dd>
    <dt>Sun 05 April 2020</dt>
    <dd><a href="https://newptcai.github.io/a-walk-by-the-sea-part-4-kullen-fry-kullen-lighthouse.html">A walk by the sea (part 4) -- Kullen fry (Kullen lighthouse)</a></dd>
    <dt>Tue 31 March 2020</dt>
    <dd><a href="https://newptcai.github.io/online-probability-and-combinatorics-seminars.html">Online Probability and Combinatorics Seminars</a></dd>
    <dt>Tue 03 December 2019</dt>
    <dd><a href="https://newptcai.github.io/long-runs-in-coin-tosses.html">Long runs in coin tosses</a></dd>
    <dt>Tue 19 November 2019</dt>
    <dd><a href="https://newptcai.github.io/several-variable-calculus-1ma017-autumn-2019-archive.html">Several Variable Calculus 1MA017, Autumn 2019 (Archive)</a></dd>
    <dt>Tue 19 November 2019</dt>
    <dd><a href="https://newptcai.github.io/the-nested-radical-constant.html">The Nested Radical Constant</a></dd>
    <dt>Wed 22 May 2019</dt>
    <dd><a href="https://newptcai.github.io/tiling-chessboard-with-l-shaped-tiles.html">Tiling chessboard with L-shaped tiles</a></dd>
    <dt>Mon 13 May 2019</dt>
    <dd><a href="https://newptcai.github.io/randomtreejl-simulation-on-large-random-trees-with-julia.html">RandomTree.jl -- Simulation on large random trees with Julia</a></dd>
    <dt>Sat 12 January 2019</dt>
    <dd><a href="https://newptcai.github.io/combinatorics-1ma020-spring-2019-archive.html">Combinatorics 1MA020, Spring 2019 (Archive)</a></dd>
    <dt>Sat 12 January 2019</dt>
    <dd><a href="https://newptcai.github.io/the-joy-of-experimental-mathematics.html">The joy of experimental mathematics</a></dd>
    <dt>Wed 09 January 2019</dt>
    <dd><a href="https://newptcai.github.io/the-sum-of-n-uniform-01-random-variables.html">The sum of n uniform [0,1] random variables</a></dd>
    <dt>Fri 21 December 2018</dt>
    <dd><a href="https://newptcai.github.io/an-example-of-proving-summation-identities-with-computer.html">An example of proving summation identities with computer</a></dd>
    <dt>Mon 17 December 2018</dt>
    <dd><a href="https://newptcai.github.io/the-strahler-horton-number-on-random-trees.html">The Strahler-Horton number on random trees</a></dd>
    <dt>Sat 08 December 2018</dt>
    <dd><a href="https://newptcai.github.io/the-moment-of-truncated-random-variables.html">The moment of truncated random variables</a></dd>
    <dt>Fri 07 December 2018</dt>
    <dd><a href="https://newptcai.github.io/the-convexity-property-related-to-beta-densities-in-sage.html">The Convexity Property Related to Beta Densities -- In sage</a></dd>
    <dt>Sun 02 December 2018</dt>
    <dd><a href="https://newptcai.github.io/another-version-of-chernoffs-bound-and-a-mathematica-package-for-it.html">Another version of Chernoff's bound and a Mathematica package for it</a></dd>
    <dt>Sat 01 December 2018</dt>
    <dd><a href="https://newptcai.github.io/the-convexity-property-related-to-beta-densities.html">The Convexity Property Related to Beta Densities</a></dd>
    <dt>Tue 25 September 2018</dt>
    <dd><a href="https://newptcai.github.io/notes-about-mathematica.html">Notes about Mathematica</a></dd>
    <dt>Mon 30 October 2017</dt>
    <dd><a href="https://newptcai.github.io/football-fans-in-marseille.html">Football fans in Marseille</a></dd>
    <dt>Sat 26 August 2017</dt>
    <dd><a href="https://newptcai.github.io/conference-photos.html">Conference photos</a></dd>
    <dt>Sat 26 August 2017</dt>
    <dd><a href="https://newptcai.github.io/photos-of-me.html">Photos of me</a></dd>
    <dt>Sun 23 July 2017</dt>
    <dd><a href="https://newptcai.github.io/oxford-and-its-caricature.html">Oxford and its caricature</a></dd>
    <dt>Sat 22 July 2017</dt>
    <dd><a href="https://newptcai.github.io/roaming-in-birmingham.html">Roaming in Birmingham</a></dd>
    <dt>Sat 15 July 2017</dt>
    <dd><a href="https://newptcai.github.io/a-walk-by-the-sea-part-3-helsingborg-to-hoganas.html">A walk by the sea (part 3) -- Helsingborg to Höganäs</a></dd>
    <dt>Fri 14 July 2017</dt>
    <dd><a href="https://newptcai.github.io/a-walk-by-the-sea-part-2-helsingborg-helsingo.html">A walk by the sea (part 2) -- Helsingborg & Helsingø</a></dd>
    <dt>Thu 13 July 2017</dt>
    <dd><a href="https://newptcai.github.io/a-walk-by-the-sea-part-1-malmo.html">A walk by the sea (part 1) -- Malmö</a></dd>
    <dt>Fri 25 January 2013</dt>
    <dd><a href="https://newptcai.github.io/choices-of-linear-programming-solver.html">Choices of Linear Programming Solver</a></dd>
    <dt>Thu 24 January 2013</dt>
    <dd><a href="https://newptcai.github.io/some-quotes-from-mathematicians.html">Some quotes from mathematicians</a></dd>
    <dt>Sat 22 January 2011</dt>
    <dd><a href="https://newptcai.github.io/the-pitfall-of-using-rand-for-simulation.html">The pitfall of using rand() for simulation</a></dd>
</dl>
<script src="https://newptcai.github.io/theme/js/shariff.min.js"></script>
</body>
</html>