Alternatives and similar repositories for A-Very-Short-Introduction:

Users that are interested in A-Very-Short-Introduction are comparing it to the libraries listed below

• manjunath5496 / Neural-Networks-Books
  "Information contains an almost mystical power of free flow and self replication, just as water seeks it's own level or sparks fly upward…
  ☆74Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆322Updated this week
• sleepymalc / Notes
  📝 The Lecture Notes
  ☆109Updated last week
• PacktPublishing / Practical-Discrete-Mathematics
  Practical Discrete Mathematics, published by Packt
  ☆127Updated last year
• siriwarwick / book
  This is the GitHub homepage for my book: Exploring University Mathematics with Python by Siri Chongchitnan (Springer, 2023).
  ☆42Updated 2 months ago
• manjunath5496 / Important-Github-ML-Repositories
  "Don’t waste your time in anger, regrets, worries, and grudges. Life is too short to be unhappy."― Roy T. Bennett
  ☆54Updated 3 years ago
• manjunath5496 / Computer-Science-Reference-Books
  "The question of whether a computer can think is no more interesting than the question of whether a submarine can swim." ― Edsger W. Dijk…
  ☆446Updated 11 months ago
• hathagat / springer_free_german_books
  Python script to download all german Springer books released for free during the 2020 COVID-19 quarantine
  ☆55Updated last year
• sleepymalc / LaTeX-Template
  📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers
  ☆143Updated last week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• anishLearnsToCode / books
  A collection of Mathematics + CS + what have you related books collected over the years for school 🎓 and personal reading 📚.
  ☆609Updated 2 years ago
• rangaeeeee / books-mir-mathematics
  ☆136Updated 6 years ago
• ProFatXuanAll / terence-tao-analysis
  My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.
  ☆50Updated last year
• dtbinh / OpenCourse
  ☆154Updated 6 years ago
• UBCMath / MATH307
  Applied Linear Algebra
  ☆27Updated 11 months ago
• samlee2015jp / statistics_books
  ☆102Updated 6 months ago
• kilacoda / chanim
  Animation engine for explanatory chemistry videos
  ☆158Updated last year
• wojtask / clrs4e-solutions
  Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L…
  ☆307Updated last month
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆404Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,829Updated this week
• MurugeshMarvel / Books
  Best selection of my books, common to all.
  ☆163Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆185Updated this week
• manocormen / top-universities
  ☆39Updated last year
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆289Updated this week
• yungyuc / nsd
  Numerical Software Development
  ☆86Updated 4 years ago
• carlosal1015 / Books
  Math & Physics Books
  ☆141Updated 5 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• licaiwang / Toeic_Training
  From vocabulary to listening and reading
  ☆12Updated 3 years ago
• WampyCakes / manim-rubikscube
  A Manim implementation of the classic Rubik's Cube
  ☆50Updated last year
• eugene87222 / NYCU_2021spring_Deep_Learning_and_Practice
  ☆10Updated 3 years ago