math.md

some math links

• math links

  • Carnegie Mellon tool automatically turns math into pictures

    • Penrose is a platform that enables people to create beautiful diagrams just by typing mathematical notation in plain text
    • Create beautiful diagrams just by typing mathematical notation in plain text

  • A comprehensive 10-page probability cheatsheet that covers a semester's worth of introduction to probability

  • Магия тензорной алгебры: Часть 1 — что такое тензор и для чего он нужен?

  • Магия тензорной алгебры: Часть 12 — Параметры Родрига-Гамильтона в кинематике твердого тела

  • Магия тензорной алгебры: Часть 13 — СКА Maxima в задачах преобразования тензорных выражений. Угловые скорость и ускорение в параметрах Родрига-Гамильтона

  • Магия тензорной алгебры: Часть 16 — Свойства тензора инерции твердого тела

  • Тензорные разложения и их применения.

    • The git repository for the TT-Toolbox
    • Fortran computing core of the TT-Toolbox

  • [Про Бурали-Форти, Пуанкаре и то самое определение единицы)(http://habrahabr.ru/post/263067/#1)

  • Topological properties diagram

  • Variational Equation

  • Differential Geometry of Maxwell's Equations

  • fastapprox

  • Algebraic-Brill-Noether-Theory

  • Нелинейные дифференциальные уравнения, дискретность пространства-времени и эпсилон произведение

  • SAT/SMT

    • SAT/SMT by Example
      • git clone https://smt.st/git/
      • SAT/SMT by Example book
      • SAT solvers by Knuth
      • THE ART OF COMPUTER PROGRAMMING VOLUME 4, FASCICLE 6 Satisfiability

  • Univalent Mathematics + HoTT

    • HoTT
      • 15-819 Homotopy Type Theory
      • The HoTT Book
      • Homotopy Type Theory blog
      • Гомотопическая теория типов
    • Univalent foundations
    • Univalent Mathematics
      • Vladimir Voevodsky : github
        • Development of the univalent foundations of mathematics in Coq
        • Univalent Foundations of Mathematics
      • Vladimir Voevodsky : IAS (Institute for Advanced Studies)
        • Vladimir Voevodsky, "Univalent Foundations of Mathematics"
        • Univalent Foundations Talk by Vladimir Voevodsky from Institute for Advanced Study in Princeton, NJ
      • Cubical Type Theory
        • Cubical Type Theory: lectures
      • What is the most transparent, rigorous definition of the Univalence Axiom?
      • Lambda Jam 2014 - Gershom Bazerman - Homotopy Type Theory: What's the Big Idea
        • Foundations of Mathematics and Homotopy Theory

  • 10 крупнейших математических достижений последних лет

    • Mathematician claims breakthrough in complexity theory

  • Произведения и копроизведения

  • The Math Less Traveled

  • Computer Scientists Break Traveling Salesperson Record

  • Computational Topology

    • Perseus links
      • The Perseus Software Project for Rapid Computation of Persistent Homology
    • Dmitriy Morozov
      • Dionysus is a C++ library for computing persistent homology
    • Applied Topology
    • Computational Homology Project
    • Konstantin Mischaikow
    • The GUDHI library is a generic open source C++ library, with a Python interface, for Topological Data Analysis (TDA) and Higher Dimensional Geometry Understanding
      • GUDHI Documentation
    • A fast generic C++11 library for applied and computational topology
    • Topological spaces containing paths

  • Theory of Computation

    • Universal Memcomputing Machines как альтернатива Машине Тьюринга
    • CAP theorem

    In theoretical computer science, the CAP theorem, also named Brewer's theorem after computer scientist Eric Brewer, states that it is impossible for a distributed computer system to simultaneously provide all three of the following guarantees:

    • Consistency (all nodes see the same data at the same time)
    • Availability (every request receives a response about whether it succeeded or failed)
    • Partition tolerance (the system continues to operate despite arbitrary partitioning due to network failures)

  • Elliptic Integrals

    • Useful Elliptic Integral Formulas for Magnetics

    • Chapter 19 Elliptic Integrals

    • Mathoverflow Derivative of the elliptic integral of the first kind

    • Evaluation of a Generalized Elliptic-Type Integral

    • Computation of elliptic integrals and elliptic functions by Toshio Fukushima

      • Precise and Fast Computation of Elliptic Integrals and Elliptic Functions
      • Precise & Fast Computation of Elliptic Functions & Elliptic Integrals
      • PRECISE AND FAST COMPUTATION OF THE GENERAL COMPLETE ELLIPTIC INTEGRAL OF THE SECOND KIND
      • Fast Computation of a General Complete Elliptic Integral of Third Kind by Half and Double Argument Transformations

  • Open Problems in Mathematics with John Nash

  • Physics 420/580: Computational Physics Final Exam

  • Статистика для математика

  • Free books

    • TopologyNow!
      • Best book for topology?
    • Algebraic General Topology and Math Synthesis
    • Intro to Topology
    • BOOK: TOPOLOGY and GROUPOIDS by Ronald Brown
      • Best Algebraic Topology book/Alternative to Allen Hatcher free book?
    • books list
    • Andreas Gathmann - Algebraic Geometry (SS 2014)
      • Best Algebraic Geometry text book? (other than Hartshorne)
    • Introduction to algebraic topology
      • Algebraic Topology Beyond the Basics:Any Texts Bridging The Gap?
    • Reading list for basic differential geometry?
    • Algebra, Topology, Differential Calculus, and Optimization Theory for Computer Science and Machine Learning