Life & fun · alternatives · 2026
24 alternatives to A Rigorous Proofless Approach to Linear Algebra [pdf]
A Rigorous Proofless Approach to Linear Algebra is a PDF guide that teaches linear algebra concepts without formal proofs. Available on GitHub, it's designed for students and learners who want to understand linear… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. A Rigorous Proofless Approach to Linear Algebra [pdf] launched in 2017; newer entries below may have overtaken it.
- 1AL
2025 · little-book-of.github.io · its alternatives →
- 2
Intuitive Math Descriptions
2018 · intuitive-math.club · its alternatives →
- 3
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
2025 · github.com · its alternatives →
- 4IW
Good math problems are hidden inside textbooks and online documents. To keep up with all the sources in the world is hard. For someone who just wants to continuously solve problems, finding and going through all the sources feels like a hassle. I wished for a website that could just dump all the math problems available in the world out there. And if I could filter the problems by topics, that would be beautiful. teachyourselfmath is a side project that was born out of this need. At its core, it is a math PDF extraction engine. The engine has some machine learning going on behind the scenes…
2024 · teachyourselfmath.app · its alternatives →
- 5
Algebraic Number Theory package. Contribute to louisabraham/algnuth development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 6
explanations.app▲102Low-cost group tutoring made possible by blackboard videos
2024 · its alternatives →
- 7
An Interpreter for Extended Relational Algebra (Scheme based) - scvalencia/Coddie
2016 · github.com · its alternatives →
- 8
Linear algebra concepts implemented in Go, mainly matrix manipulation - igomez10/linearalgebra
Jun 2026 · github.com · its alternatives →
- 9AJ
2015 · algebra.js.org · its alternatives →
- 10
- 11DE
2015 · lewis500.github.io · its alternatives →
- 12
- 13IP
Interactive toy for visualizing relationship between polynomial roots and coefficients
2017 · duetosymmetry.com · its alternatives →
- 14
2018 · github.com · its alternatives →
- 15
Hi All, I've been writing a series on Galois Fields / Finite Fields from a computer programmer's perspective. It's essentially the guide that I wanted when I first learned the subject. I imagine it as a guide that could gently onboard anyone that is interested in the subject. I don't assume too much mathematical background beyond high-school level algebra. However, in some applications (for example: Reed-Solomon), familiarity with Linear Algebra is required. All code is written in a Literate Programming style. Code is written as reference implementations and I try hard to make…
2025 · xorvoid.com · its alternatives →
- 16
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
Jun 2026 · github.com · its alternatives →
- 17PC
2017 · proofcompanion.com · its alternatives →
- 18
There is a mobile game called DragonBox. It sort of tricks you into learning algebra by starting with very abstract manipulations of a puzzle that must follow rules... gradually the game teaches you more and more rules and also strips out the more abstract elements until on the last levels you are finally solving real equations. I loved it, it taught my kids algebra.... and it was just fun. Over the years I often thought that there should be a calculator for Algebra that works this way... something where you can drag terms around and cancel & distribute with gestures, but most importantly…
Jul 2026 · github.com · its alternatives →
- 19
Stephen Wolfram's new book on the Wolfram Language
2015 · wolfram.com · its alternatives →
- 20PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 21CA
2017 · billsix.github.io · its alternatives →
- 22
Formalization of FLP Impossibility Theorem. Contribute to kushti/flp development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 23
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
2017 · github.com · its alternatives →
- 24
Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time to properly lay out its foundations for classical propositional logic. We cast propositional logic into a formal algebra where logical formulas are represented by sparse matrices. State Algebra isn't an algorithm in itself, but rather a language for manipulating Boolean functions. It provides a new set of tools that lets you express and reformulate existing optimization heuristics (like those from modern SAT…
2025 · arxiv.org · its alternatives →
Also compare
- A little notebook for learning linear algebra with Python alternatives
- Intuitive Linear Algebra and 3D Geometry alternatives
- Formalizing Principia Mathematica using Lean alternatives
- I wished for a site with a growing list of math problems, I built it alternatives
- Algebraic Number Theory in Python 3 alternatives
- explanations.app alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →