Dusting off the pure-Lux JVM compiler machinery.

1 files changed, 243 insertions, 240 deletions

diff --git a/documentation/bookmark/math.md b/documentation/bookmark/math.md
index 760e4d177..3dbafd686 100644
--- a/documentation/bookmark/math.md
+++ b/documentation/bookmark/math.md
@@ -1,405 +1,408 @@
 # Logarithm
 
-1. [Logarithm: The Complete Guide (Theory & Applications)](https://mathvault.ca/logarithm-theory/)
+0. [Logarithm: The Complete Guide (Theory & Applications)](https://mathvault.ca/logarithm-theory/)
 
 # Ball arithmetic
 
-1. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html)
+0. [Ball arithmetic](http://www.texmacs.org/joris/ball/ball.html)
 
 # Arithmetic
 
-1. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/)
+0. [The Definitive Higher Math Guide on Integer Long Division (and Its Variants)](https://mathvault.ca/long-division/)
 
 # Tensor calculus
 
-1. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf)
+0. [Introduction to Tensor Calculus](http://www.ita.uni-heidelberg.de/~dullemond/lectures/tensor/tensor.pdf)
 
 # Geometry
 
-1. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf)
-1. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals)
+0. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf)
+0. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals)
 
 # Prime number
 
-1. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf)
+0. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf)
 
 # Trigonometry
 
-1. [Approximating the Sine Function](http://datagenetics.com/blog/july12019/index.html)
+0. [Approximating the Sine Function](http://datagenetics.com/blog/july12019/index.html)
 
 # Period
 
-1. https://en.wikipedia.org/wiki/Ring_of_periods
-1. [PERIODS](http://www.ihes.fr/~maxim/TEXTS/Periods.pdf)
+0. https://en.wikipedia.org/wiki/Ring_of_periods
+0. [PERIODS](http://www.ihes.fr/~maxim/TEXTS/Periods.pdf)
 
 # Proof theory
 
-1. [Mathematical Components](https://math-comp.github.io/mcb/)
+0. [Mathematical Components](https://math-comp.github.io/mcb/)
 
 # Statistics
 
-1. https://www.statisticsdonewrong.com/
+0. https://www.statisticsdonewrong.com/
 
 # Topology
 
-1. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365)
-1. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology)
-1. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html)
+0. [What is Topology?](https://medium.com/cantors-paradise/what-is-topology-963ef4cc6365)
+0. [Pointless topology](https://en.wikipedia.org/wiki/Pointless_topology)
+0. [ELEMENTARY APPLIED TOPOLOGY](https://www.math.upenn.edu/~ghrist/notes.html)
 
 # Library
 
-1. https://github.com/ZacharyPatten/Towel
+0. https://github.com/ZacharyPatten/Towel
 
 # Polynomials
 
-1. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/
-1. https://en.wikipedia.org/wiki/Horner%27s_method
+0. https://brainbomb.org/0-1-efficient-metholds-for-evaluting-polynomials/
+0. https://en.wikipedia.org/wiki/Horner%27s_method
 
 # Chaos Theory
 
-1. http://ncase.me/attractors/
+0. http://ncase.me/attractors/
 
 # Number Theory
 
-1. https://twitter.com/johncarlosbaez/status/1184492139897507840
-1. https://en.wikipedia.org/wiki/Division_algebra
-1. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ)
-1. https://www.quantamagazine.org/the-octonion-math-that-could-underpin-physics-20180720
-1. http://illustratedtheoryofnumbers.com/
-1. [Topology of Numbers](http://pi.math.cornell.edu/~hatcher/TN/TNpage.html)
+0. https://twitter.com/johncarlosbaez/status/1184492139897507840
+0. https://en.wikipedia.org/wiki/Division_algebra
+0. [Division algebras](https://www.youtube.com/watch?v=3BZyds_KFWM&list=PLNxhIPHaOTRZMO1VjJcs7_3dgyJ2qU1yZ)
+0. https://www.quantamagazine.org/the-octonion-math-that-could-underpin-physics-20180720
+0. http://illustratedtheoryofnumbers.com/
+0. [Topology of Numbers](http://pi.math.cornell.edu/~hatcher/TN/TNpage.html)
 
 ## Hyperreal number
 
-1. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/)
+0. [Yes, You Can Manipulate Infinity—in Math](https://mindmatters.ai/2019/10/yes-you-can-manipulate-infinity-in-math/)
 
 # Quaternions
 
-1. [Maths - Quaternions](http://www.euclideanspace.com/maths/algebra/realNormedAlgebra/quaternions/index.htm)
-1. [Stepping into a New Dimension: Using Quaternions to See the Invisible](https://medium.com/@vieyrasoftware/stepping-into-a-new-dimension-using-quaternions-to-see-the-invisible-478087c9ebbf)
-1. [How Quaternions Produce 3D Rotation](https://penguinmaths.blogspot.com/2019/06/how-quaternions-produce-3d-rotation.html)
-1. https://www.3dgep.com/understanding-quaternions/
-1. https://probablydance.com/2017/08/05/intuitive-quaternions/
-1. [Quaternion algebras](https://math.dartmouth.edu/~jvoight/quat.html)
-1. [Rotations with quaternions](https://imadr.github.io/rotations-with-quaternions/)
+0. [Quaternions: Part 1](https://liorsinai.github.io/mathematics/2021/11/05/quaternion-1-intro.html)
+0. [Maths - Quaternions](http://www.euclideanspace.com/maths/algebra/realNormedAlgebra/quaternions/index.htm)
+0. [Stepping into a New Dimension: Using Quaternions to See the Invisible](https://medium.com/@vieyrasoftware/stepping-into-a-new-dimension-using-quaternions-to-see-the-invisible-478087c9ebbf)
+0. [How Quaternions Produce 3D Rotation](https://penguinmaths.blogspot.com/2019/06/how-quaternions-produce-3d-rotation.html)
+0. https://www.3dgep.com/understanding-quaternions/
+0. https://probablydance.com/2017/08/05/intuitive-quaternions/
+0. [Quaternion algebras](https://math.dartmouth.edu/~jvoight/quat.html)
+0. [Rotations with quaternions](https://imadr.github.io/rotations-with-quaternions/)
 
 # _Compendium of resources_
 
-1. [Free and Open-Source Textbooks](http://danaernst.com/resources/free-and-open-source-textbooks/)
-1. [ALL IN ONE MATHEMATICS CHEAT SHEET](https://ourway.keybase.pub/mathematics_cheat_sheet.pdf)
-1. https://github.com/llSourcell/learn_math_fast
-1. https://www.algorithm-archive.org/
-1. [3b1b featured creators #1](https://www.youtube.com/watch?v=VcgJro0sTiM)
-1. [An infinite descent into pure mathematics](https://infinitedescent.xyz/)
-1. https://hackernoon.com/be-a-better-programmer-with-these-40-mathematics-courses-d8ca48a2f8a2
-1. https://www.intmath.com/
-1. https://en.wikipedia.org/wiki/Graduate_Texts_in_Mathematics
+0. [Free and Open-Source Textbooks](http://danaernst.com/resources/free-and-open-source-textbooks/)
+0. [ALL IN ONE MATHEMATICS CHEAT SHEET](https://ourway.keybase.pub/mathematics_cheat_sheet.pdf)
+0. https://github.com/llSourcell/learn_math_fast
+0. https://www.algorithm-archive.org/
+0. [3b1b featured creators #1](https://www.youtube.com/watch?v=VcgJro0sTiM)
+0. [An infinite descent into pure mathematics](https://infinitedescent.xyz/)
+0. https://hackernoon.com/be-a-better-programmer-with-these-40-mathematics-courses-d8ca48a2f8a2
+0. https://www.intmath.com/
+0. https://en.wikipedia.org/wiki/Graduate_Texts_in_Mathematics
 
 # Number systems
 
-1. https://en.wikipedia.org/wiki/Negative_base
+0. https://en.wikipedia.org/wiki/Negative_base
 
 # Discrete mathematics
 
-1. [Applied Discrete Structures](http://discretemath.org/ads-latex/ads.pdf)
-1. [Notes on Discrete Mathematics](http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf)
-1. [The system of integer functions, an efficient version of discrete mathematical analysis](https://arxiv.org/abs/1710.00676)
-1. [Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra](http://math.sfsu.edu/beck/papers/ccd.pdf)
-1. [Discrete Mathematics: An Open Introduction](http://discrete.openmathbooks.org/dmoi2/frontmatter.html)
+0. [Applied Discrete Structures](http://discretemath.org/ads-latex/ads.pdf)
+0. [Notes on Discrete Mathematics](http://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf)
+0. [The system of integer functions, an efficient version of discrete mathematical analysis](https://arxiv.org/abs/1710.00676)
+0. [Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra](http://math.sfsu.edu/beck/papers/ccd.pdf)
+0. [Discrete Mathematics: An Open Introduction](http://discrete.openmathbooks.org/dmoi2/frontmatter.html)
 
 # Probability
 
-1. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf)
+0. [Introduction to Probability at anadvanced leve](https://www.stat.berkeley.edu/~aditya/resources/AllLectures2018Fall201A.pdf)
 
 # Linear Algebra
 
-1. [Linear Algebra And Multi Dimensional Geometry](https://mirtitles.org/2020/02/13/4129/)
-1. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/)
-1. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/)
-1. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/)
-1. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf)
-1. [Covectors are Different than Vectors, Usually](http://infohost.nmt.edu/~parendt/Phys509/notes/2diracnot/node4.html)
-1. [Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares](https://web.stanford.edu/~boyd/vmls/vmls.pdf)
-1. [Linear Algebra Done Wrong.](http://www.math.brown.edu/~treil/papers/LADW/LADW.html)
-1. [Linear Algebra Done Right](http://linear.axler.net/)
-1. [Down with Determinants!](http://www.axler.net/DwD.html)
-1. https://github.com/jacobbogers/blasjs
-1. https://graphicallinearalgebra.net/
-1. [Wild Linear Algebra](https://www.youtube.com/watch?v=yAb12PWrhV0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp &&& https://www.youtube.com/watch?v=nJdWFoliRnc&list=PLIljB45xT85DF5G-Hq0xPsVUnR5_wJRSw)
-1. https://github.com/ferreiradaselva/mathc
-1. http://www.fast.ai/2017/07/17/num-lin-alg/
-1. https://github.com/bluemathsoft/bm-linalg
-1. [The Matrix Cookbook](https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf)
-1. https://dhruvp.netlify.com/2018/12/31/matrices/
-1. https://www.nalgebra.org/
-1. http://immersivemath.com/ila/index.html
-1. [Linear Logic and Linear Algebra](http://www.cs.bham.ac.uk/~drg/bll/steve.pdf)
-1. https://www.math3ma.com/blog/matrices-probability-graphs
-1. [Essence of linear algebra](https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab)
-1. https://www.dhruvonmath.com/2018/12/31/matrices/
-1. http://blog.ezyang.com/2019/05/a-short-note-about-functional-linear-maps/
-1. https://www.math3ma.com/blog/matrices-as-tensor-network-diagrams
-1. [Convolution is outer product](https://arxiv.org/abs/1905.01289)
-1. [Graphical Calculus for products and convolutions](https://arxiv.org/abs/1903.01366)
-1. [3 Point Parameterization of Affine Transform](https://www.catid.io/affine3)
+0. [Linear Algebra And Multi Dimensional Geometry](https://mirtitles.org/2020/02/13/4129/)
+0. [Interactive Linear Algebra](https://textbooks.math.gatech.edu/ila/)
+0. [Don’t invert that matrix](https://www.johndcook.com/blog/2010/01/19/dont-invert-that-matrix/)
+0. [“Don’t invert that matrix” – why and how](https://civilstat.com/2015/07/dont-invert-that-matrix-why-and-how/)
+0. [Thirty-three Miniatures: Mathematical and Algorithmic Applications of Linear Algebra](https://kam.mff.cuni.cz/~matousek/stml-53-matousek-1.pdf)
+0. [Covectors are Different than Vectors, Usually](http://infohost.nmt.edu/~parendt/Phys509/notes/2diracnot/node4.html)
+0. [Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares](https://web.stanford.edu/~boyd/vmls/vmls.pdf)
+0. [Linear Algebra Done Wrong.](http://www.math.brown.edu/~treil/papers/LADW/LADW.html)
+0. [Linear Algebra Done Right](http://linear.axler.net/)
+0. [Down with Determinants!](http://www.axler.net/DwD.html)
+0. https://github.com/jacobbogers/blasjs
+0. https://graphicallinearalgebra.net/
+0. [Wild Linear Algebra](https://www.youtube.com/watch?v=yAb12PWrhV0&list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp &&& https://www.youtube.com/watch?v=nJdWFoliRnc&list=PLIljB45xT85DF5G-Hq0xPsVUnR5_wJRSw)
+0. https://github.com/ferreiradaselva/mathc
+0. http://www.fast.ai/2017/07/17/num-lin-alg/
+0. https://github.com/bluemathsoft/bm-linalg
+0. [The Matrix Cookbook](https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf)
+0. https://dhruvp.netlify.com/2018/12/31/matrices/
+0. https://www.nalgebra.org/
+0. http://immersivemath.com/ila/index.html
+0. [Linear Logic and Linear Algebra](http://www.cs.bham.ac.uk/~drg/bll/steve.pdf)
+0. https://www.math3ma.com/blog/matrices-probability-graphs
+0. [Essence of linear algebra](https://www.youtube.com/watch?v=fNk_zzaMoSs&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab)
+0. https://www.dhruvonmath.com/2018/12/31/matrices/
+0. http://blog.ezyang.com/2019/05/a-short-note-about-functional-linear-maps/
+0. https://www.math3ma.com/blog/matrices-as-tensor-network-diagrams
+0. [Convolution is outer product](https://arxiv.org/abs/1905.01289)
+0. [Graphical Calculus for products and convolutions](https://arxiv.org/abs/1903.01366)
+0. [3 Point Parameterization of Affine Transform](https://www.catid.io/affine3)
 
 # Domain Theory
 
-1. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory)
+0. [A Brief Intro to Domain Theory](https://www.alignmentforum.org/posts/4C4jha5SdReWgg7dF/a-brief-intro-to-domain-theory)
 
 # Category Theory
 
-1. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1)
-1. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct)
-1. [Categorical Query Language](https://www.categoricaldata.net/)
-1. [Abstract and Concrete Categories: The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf)
-1. https://bartoszmilewski.com/
-1. [YOW! Lambda Jam 2018 - Mark Hopkins -All of Basic Category Theory](https://www.youtube.com/watch?v=9u1q3lH7VbE)
-1. [Categorifying cardinal arithmetic](http://www.math.jhu.edu/~eriehl/arithmetic.pdf)
-1. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
-1. [Elements of ∞-Category Theory](http://www.math.jhu.edu/~eriehl/elements.pdf)
-1. [Category Theory: A Gentle Introduction](https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf)
-1. [Applied Category Theory (@ MIT 2019)](https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5)
-1. https://jvns.ca/blog/2019/03/26/what-are-monoidal-categories/
-1. [Daniela Sfregola - A Pragmatic Introduction to Category Theories - Code Mesh 2017](https://www.youtube.com/watch?v=8XGFFMPHG0o)
-1. [Seven Sketches in Compositionality: An Invitation to Applied Category Theory](http://xahlee.info/math/i/category_theory_brendan_fong_david_spivak_2018-03.pdf)
+0. [Programming with Categories](https://www.youtube.com/watch?v=Y5YCE_mVjvg&list=PLhgq-BqyZ7i7MTGhUROZy3BOICnVixETS&index=1)
+0. [Awesome Applied Category Theory](https://github.com/statebox/awesome-applied-ct)
+0. [Categorical Query Language](https://www.categoricaldata.net/)
+0. [Abstract and Concrete Categories: The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf)
+0. https://bartoszmilewski.com/
+0. [YOW! Lambda Jam 2018 - Mark Hopkins -All of Basic Category Theory](https://www.youtube.com/watch?v=9u1q3lH7VbE)
+0. [Categorifying cardinal arithmetic](http://www.math.jhu.edu/~eriehl/arithmetic.pdf)
+0. https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
+0. [Elements of ∞-Category Theory](http://www.math.jhu.edu/~eriehl/elements.pdf)
+0. [Category Theory: A Gentle Introduction](https://www.logicmatters.net/resources/pdfs/GentleIntro.pdf)
+0. [Applied Category Theory (@ MIT 2019)](https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5)
+0. https://jvns.ca/blog/2019/03/26/what-are-monoidal-categories/
+0. [Daniela Sfregola - A Pragmatic Introduction to Category Theories - Code Mesh 2017](https://www.youtube.com/watch?v=8XGFFMPHG0o)
+0. [Seven Sketches in Compositionality: An Invitation to Applied Category Theory](http://xahlee.info/math/i/category_theory_brendan_fong_david_spivak_2018-03.pdf)
 
 # Direct Logic
 
-1. [Strong Types for Direct Logic](https://drive.google.com/file/d/1relKFB4aOMD2VZHM9qj3wWMXOq-q2AJr/view)
+0. [Strong Types for Direct Logic](https://drive.google.com/file/d/1relKFB4aOMD2VZHM9qj3wWMXOq-q2AJr/view)
 
 # Geometric Algebra | Clifford Algebra
 
-1. [Siggraph2019 Geometric Algebra](https://www.youtube.com/watch?v=tX4H_ctggYo)
-1. [Dr Leo Dorst' Keynote talk at CGI2020](https://www.youtube.com/watch?v=T7xVTBpHMjA)
-1. [GAME2020 - 1. Dr. Leo Dorst. Get Real!](https://www.youtube.com/watch?v=0fF2xToQmgs)
-1. [GAME2020 3. Professor Anthony Lasenby. A new language for physics.](https://www.youtube.com/watch?v=x7eLEtmq6PY)
-1. [HestenesJMM2019](https://www.youtube.com/watch?v=zsQQ7djCg_Y)
-1. http://geocalc.clas.asu.edu/
-1. [Geometric Algebra](https://arxiv.org/abs/1205.5935)
-1. [A Swift Introduction to Geometric Algebra](https://www.youtube.com/watch?v=60z_hpEAtD8)
-1. [Euclidean Geometry and Geometric Algebra](http://geometry.mrao.cam.ac.uk/2020/06/euclidean-geometry-and-geometric-algebra/)
-1. [Plane-based Geometric Algebra for Computer Science](https://bivector.net/PGA4CS.html)
-1. [Differential geometric algebra foundations: Grassmann.jl Ascend](https://www.youtube.com/watch?v=7hlDRLEhc8o&feature=youtu.be)
-1. [Projective Geometric Algebra Done Right](http://terathon.com/blog/projective-geometric-algebra-done-right/)
-1. [Introduction to Clifford Algebra](https://www.av8n.com/physics/clifford-intro.htm)
-1. [An Introduction to Geometric Algebra over R^2](https://bitworking.org/news/ga/2d)
-1. [Exterior Product](https://medium.com/@marksaroufim/exterior-product-ecd5836c28ab)
-1. [Projective geometric algebra: A modern framework for doing geometry](http://page.math.tu-berlin.de/~gunn/PGA/index.html)
-1. [Geometric Algebra for Computer Graphics](https://slides.com/enkimute/siggraph/#/)
-1. https://bivector.net/
-1. https://slehar.wordpress.com/2014/03/18/clifford-algebra-a-visual-introduction/
-1. [Vectors and Beyond: Geometric Algebra and its Philosophical Significance](http://www.tara.tcd.ie/bitstream/handle/2262/61825/Vectors%20and%20Beyond%20as%20Printed.pdf?sequence=1&isAllowed=y)
-1. [Let's remove Quaternions from every 3D Engine](http://marctenbosch.com/quaternions/)
-1. [Geometric Algebra Playlist](https://www.youtube.com/playlist?list=PLLvlxwbzkr7igd6bL7959WWE7XInCCevt)
-1. https://github.com/wolftype/versor
-1. [Exploring Physics with Geometric Algebra, Book 1](http://peeterjoot.com/archives/math2015/gabookI.pdf)
-1. [Joan Lasenby on Applications of Geometric Algebra in Engineering](https://www.youtube.com/watch?v=ikCIUzX9myY)
-1. https://www.amazon.com/Geometric-Algebra-Computer-Graphics-Vince/dp/1846289963
-1. https://www.amazon.com/Geometric-Algebra-Computer-Science-Revised/dp/0123749425
-1. https://www.amazon.com/Space-Time-Algebra-David-Hestenes/dp/3319184121
-1. https://www.amazon.com/Introduction-Clifford-Algebras-Spinors/dp/0198782926
-1. https://gist.github.com/pervognsen/b204bf31af0809af078617af1609c8b8
-1. [Fundamentals of Grassmann Algebra](http://www.terathon.com/gdc12_lengyel.pdf)
-1. https://github.com/chakravala/Grassmann.jl
+0. [Symplectic Geometry meets Geometric Algebra in 2D](https://www.researchgate.net/publication/356781838_Symplectic_Geometry_meets_Geometric_Algebra_in_2D)
+0. [Siggraph2019 Geometric Algebra](https://www.youtube.com/watch?v=tX4H_ctggYo)
+0. [Dr Leo Dorst' Keynote talk at CGI2020](https://www.youtube.com/watch?v=T7xVTBpHMjA)
+0. [GAME2020 - 1. Dr. Leo Dorst. Get Real!](https://www.youtube.com/watch?v=0fF2xToQmgs)
+0. [GAME2020 3. Professor Anthony Lasenby. A new language for physics.](https://www.youtube.com/watch?v=x7eLEtmq6PY)
+0. [HestenesJMM2019](https://www.youtube.com/watch?v=zsQQ7djCg_Y)
+0. http://geocalc.clas.asu.edu/
+0. [Geometric Algebra](https://arxiv.org/abs/1205.5935)
+0. [A Swift Introduction to Geometric Algebra](https://www.youtube.com/watch?v=60z_hpEAtD8)
+0. [Euclidean Geometry and Geometric Algebra](http://geometry.mrao.cam.ac.uk/2020/06/euclidean-geometry-and-geometric-algebra/)
+0. [Plane-based Geometric Algebra for Computer Science](https://bivector.net/PGA4CS.html)
+0. [Differential geometric algebra foundations: Grassmann.jl Ascend](https://www.youtube.com/watch?v=7hlDRLEhc8o&feature=youtu.be)
+0. [Projective Geometric Algebra Done Right](http://terathon.com/blog/projective-geometric-algebra-done-right/)
+0. [Introduction to Clifford Algebra](https://www.av8n.com/physics/clifford-intro.htm)
+0. [An Introduction to Geometric Algebra over R^2](https://bitworking.org/news/ga/2d)
+0. [Exterior Product](https://medium.com/@marksaroufim/exterior-product-ecd5836c28ab)
+0. [Projective geometric algebra: A modern framework for doing geometry](http://page.math.tu-berlin.de/~gunn/PGA/index.html)
+0. [Geometric Algebra for Computer Graphics](https://slides.com/enkimute/siggraph/#/)
+0. https://bivector.net/
+0. https://slehar.wordpress.com/2014/03/18/clifford-algebra-a-visual-introduction/
+0. [Vectors and Beyond: Geometric Algebra and its Philosophical Significance](http://www.tara.tcd.ie/bitstream/handle/2262/61825/Vectors%20and%20Beyond%20as%20Printed.pdf?sequence=1&isAllowed=y)
+0. [Let's remove Quaternions from every 3D Engine](http://marctenbosch.com/quaternions/)
+0. [Geometric Algebra Playlist](https://www.youtube.com/playlist?list=PLLvlxwbzkr7igd6bL7959WWE7XInCCevt)
+0. https://github.com/wolftype/versor
+0. [Exploring Physics with Geometric Algebra, Book 1](http://peeterjoot.com/archives/math2015/gabookI.pdf)
+0. [Joan Lasenby on Applications of Geometric Algebra in Engineering](https://www.youtube.com/watch?v=ikCIUzX9myY)
+0. https://www.amazon.com/Geometric-Algebra-Computer-Graphics-Vince/dp/1846289963
+0. https://www.amazon.com/Geometric-Algebra-Computer-Science-Revised/dp/0123749425
+0. https://www.amazon.com/Space-Time-Algebra-David-Hestenes/dp/3319184121
+0. https://www.amazon.com/Introduction-Clifford-Algebras-Spinors/dp/0198782926
+0. https://gist.github.com/pervognsen/b204bf31af0809af078617af1609c8b8
+0. [Fundamentals of Grassmann Algebra](http://www.terathon.com/gdc12_lengyel.pdf)
+0. https://github.com/chakravala/Grassmann.jl
 
 # Abstract Algebra
 
-1. [A Brief Guide to A Few Algebraic Structures](https://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html)
-1. [DUALITY FOR GROUPS](https://projecteuclid.org/download/pdf_1/euclid.bams/1183515045)
-1. https://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups/
-1. [Abstract Algebra: Theory and Applications](http://abstract.ups.edu/)
-1. [Group Theory](http://birdtracks.eu/version9.0/GroupTheory.pdf)
-1. [VISUAL GROUP THEORY](http://web.bentley.edu/empl/c/ncarter/vgt/index.html)
-1. [THE GEOMETRY OF REFLECTION GROUPS](http://people.mpim-bonn.mpg.de/geordie/mpg.pdf)
-1. https://kubuszok.com/2018/algebras-we-love/
-1. [Notes on Computational Group Theory](https://www.math.colostate.edu/~hulpke/CGT/cgtnotes.pdf)
-1. [An Invitation to General Algebra and Universal Constructions](https://math.berkeley.edu/~gbergman/245/)
+0. [A Brief Guide to A Few Algebraic Structures](https://argumatronic.com//posts/2019-06-21-algebra-cheatsheet.html)
+0. [DUALITY FOR GROUPS](https://projecteuclid.org/download/pdf_1/euclid.bams/1183515045)
+0. https://gowers.wordpress.com/2011/11/20/normal-subgroups-and-quotient-groups/
+0. [Abstract Algebra: Theory and Applications](http://abstract.ups.edu/)
+0. [Group Theory](http://birdtracks.eu/version9.0/GroupTheory.pdf)
+0. [VISUAL GROUP THEORY](http://web.bentley.edu/empl/c/ncarter/vgt/index.html)
+0. [THE GEOMETRY OF REFLECTION GROUPS](http://people.mpim-bonn.mpg.de/geordie/mpg.pdf)
+0. https://kubuszok.com/2018/algebras-we-love/
+0. [Notes on Computational Group Theory](https://www.math.colostate.edu/~hulpke/CGT/cgtnotes.pdf)
+0. [An Invitation to General Algebra and Universal Constructions](https://math.berkeley.edu/~gbergman/245/)
 
 # Logic
 
-1. http://openlogicproject.org/
+0. http://openlogicproject.org/
 
 # Calculus
 
-1. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA)
-1. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf)
-1. [Calculus BLUE](https://www.youtube.com/watch?v=Jes5jwLl1q8&list=PL8erL0pXF3JYm7VaTdKDaWc8Q3FuP8Sa7)
-1. [Extending the Algebraic Manipulability of Differentials](https://arxiv.org/abs/1801.09553)
-1. https://en.wikipedia.org/wiki/Fractional_calculus
-1. https://medium.com/@notaredpanda/fractional-calculus-48192f4e9c9f
-1. [Fractional Calculus: Theory and Applications](https://www.mdpi.com/books/pdfview/book/755)
-1. [EXTENDING THE ALGEBRAIC MANIPULABILITYOF DIFFERENTIALS](http://online.watsci.org/abstract_pdf/2019v26/v26n3a-pdf/4.pdf)
-1. [Finite Calculus: A Tutorial for Solving Nasty Sums](https://www.cs.purdue.edu/homes/dgleich/publications/Gleich%202005%20-%20finite%20calculus.pdf)
-1. http://jliszka.github.io/2013/10/24/exact-numeric-nth-derivatives.html
+0. [What is Jacobian? | The right way of thinking derivatives and integrals](https://www.youtube.com/watch?v=wCZ1VEmVjVo)
+0. [The Fractional Derivative, what is it? | Introduction to Fractional Calculus](https://www.youtube.com/watch?v=A4sTAKN6yFA)
+0. [Calculus on Manifolds](http://strangebeautiful.com/other-texts/spivak-calc-manifolds.pdf)
+0. [Calculus BLUE](https://www.youtube.com/watch?v=Jes5jwLl1q8&list=PL8erL0pXF3JYm7VaTdKDaWc8Q3FuP8Sa7)
+0. [Extending the Algebraic Manipulability of Differentials](https://arxiv.org/abs/1801.09553)
+0. https://en.wikipedia.org/wiki/Fractional_calculus
+0. https://medium.com/@notaredpanda/fractional-calculus-48192f4e9c9f
+0. [Fractional Calculus: Theory and Applications](https://www.mdpi.com/books/pdfview/book/755)
+0. [EXTENDING THE ALGEBRAIC MANIPULABILITYOF DIFFERENTIALS](http://online.watsci.org/abstract_pdf/2019v26/v26n3a-pdf/4.pdf)
+0. [Finite Calculus: A Tutorial for Solving Nasty Sums](https://www.cs.purdue.edu/homes/dgleich/publications/Gleich%202005%20-%20finite%20calculus.pdf)
+0. http://jliszka.github.io/2013/10/24/exact-numeric-nth-derivatives.html
 
 # Continuous Calculus
 
-1. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf)
+0. [Continuous Calculus](http://www-users.math.umn.edu/~olver/ln_/cc.pdf)
 
 # Octonion
 
-1. http://math.ucr.edu/home/baez/octonions/
+0. http://math.ucr.edu/home/baez/octonions/
 
 # Differential Geometry
 
-1. [differential geometry reconstructed: a unified systematic framework](http://www.geometry.org/tex/conc/dgstats.php)
-1. [Differential geometry reconstructed: a unified systematic framework](http://www.topology.org/tex/conc/dg.html)
+0. [differential geometry reconstructed: a unified systematic framework](http://www.geometry.org/tex/conc/dgstats.php)
+0. [Differential geometry reconstructed: a unified systematic framework](http://www.topology.org/tex/conc/dg.html)
 
 # Information Theory
 
-1. [Functional Bits: Lambda Calculus based Algorithmic Information Theory](https://tromp.github.io/cl/LC.pdf)
+0. [Functional Bits: Lambda Calculus based Algorithmic Information Theory](https://tromp.github.io/cl/LC.pdf)
 
 # Graph Theory
 
-1. [Graphs and Geometry](http://web.cs.elte.hu/~lovasz/bookxx/geomgraphbook/geombook2019.01.11.pdf)
-1. [Graph-Based Algorithms for Boolean Function Manipulation](http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf)
-1. [better geometry through graph theory](http://ideolalia.com/2018/08/28/artifex.html)
+0. [Graphs and Geometry](http://web.cs.elte.hu/~lovasz/bookxx/geomgraphbook/geombook2019.01.11.pdf)
+0. [Graph-Based Algorithms for Boolean Function Manipulation](http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf)
+0. [better geometry through graph theory](http://ideolalia.com/2018/08/28/artifex.html)
 
 # Division by Zero
 
-1. [29. Dividing by zero to invert matrices](https://graphicallinearalgebra.net/2016/06/22/29-inverting-matrices-and-dividing-by-zero/)
-1. https://www.hillelwayne.com/post/divide-by-zero/
-1. https://www.1dividedby0.com/
+0. [29. Dividing by zero to invert matrices](https://graphicallinearalgebra.net/2016/06/22/29-inverting-matrices-and-dividing-by-zero/)
+0. https://www.hillelwayne.com/post/divide-by-zero/
+0. https://www.1dividedby0.com/
 
 # Partial Fractions
 
-1. https://jaydaigle.net/blog/calculus/easier-partial-fractions/
+0. https://jaydaigle.net/blog/calculus/easier-partial-fractions/
 
 # Non-commutative Algebra
 
-1. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172)
+0. [An Invitation to Noncommutative Algebra](https://arxiv.org/abs/1808.03172)
 
 # Lambda Calculus
 
-1. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c
+0. https://medium.com/@maiavictor/the-abstract-calculus-fe8c46bcf39c
 
 # _Software Library_
 
-1. https://github.com/arguiot/TheoremJS
-1. https://github.com/arguiot/Descartes
+0. https://github.com/arguiot/TheoremJS
+0. https://github.com/arguiot/Descartes
 
 # Set Theory
 
-1. [Set Theory and Algebra in Computer Science: A Gentle Introduction to Mathematical Modeling](https://pdfs.semanticscholar.org/d106/6b6de601c1d7d5af25af3f7091bc7ad3ad51.pdf)
+0. [Set Theory and Algebra in Computer Science: A Gentle Introduction to Mathematical Modeling](https://pdfs.semanticscholar.org/d106/6b6de601c1d7d5af25af3f7091bc7ad3ad51.pdf)
 
 # Uncertainty Theory
 
-1. http://faculty.math.tsinghua.edu.cn/~bliu/ut.pdf
-1. [An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory](https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf)
+0. http://faculty.math.tsinghua.edu.cn/~bliu/ut.pdf
+0. [An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory](https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf)
 
 # Computational Geometry
 
-1. [CMPT 813: Computational Geometry (Fall 2011)](http://www.cs.sfu.ca/~binay/813.2011/)
-1. https://www.johndcook.com/blog/2018/09/26/polygon-area/
-1. http://s2geometry.io/devguide/s2cell_hierarchy.html
-1. http://alienryderflex.com/polygon/
-1. https://libigl.github.io/
+0. [CMPT 813: Computational Geometry (Fall 2011)](http://www.cs.sfu.ca/~binay/813.2011/)
+0. https://www.johndcook.com/blog/2018/09/26/polygon-area/
+0. http://s2geometry.io/devguide/s2cell_hierarchy.html
+0. http://alienryderflex.com/polygon/
+0. https://libigl.github.io/
 
 # Finitism
 
-1. ["REAL" ANALYSIS Is A DEGENERATE CASE of DISCRETE ANALYSIS](http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf)
+0. ["REAL" ANALYSIS Is A DEGENERATE CASE of DISCRETE ANALYSIS](http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimPDF/real.pdf)
 
 # Linear programming
 
-1. https://en.wikibooks.org/wiki/GLPK
-1. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html
+0. https://en.wikibooks.org/wiki/GLPK
+0. https://white.ucc.asn.au/2018/05/28/Optimizing-your-diet-with-JuMP.html
 
 # Measure theory
 
-1. [Resources for Learning Measure Theory](https://bcmullins.github.io/measure_theory_resources/)
+0. [Resources for Learning Measure Theory](https://bcmullins.github.io/measure_theory_resources/)
 
 # Combinatorics
 
-1. [Advances in Combinatorics](https://www.advancesincombinatorics.com/)
-1. http://andy.kitchen/combinations.html
-1. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf)
+0. [Advances in Combinatorics](https://www.advancesincombinatorics.com/)
+0. http://andy.kitchen/combinations.html
+0. [Combinatorial Algorithms](http://www2.denizyuret.com/bib/kreher/donald1999combinatorial/combinatorialA.pdf)
 
 # Vector
 
-1. [A Student's Guide to Vectors and Tensors (Student's Guides)](https://www.amazon.com/Students-Guide-Vectors-Tensors-Guides/dp/0521171903)
-1. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2
+0. [A Student's Guide to Vectors and Tensors (Student's Guides)](https://www.amazon.com/Students-Guide-Vectors-Tensors-Guides/dp/0521171903)
+0. https://www.researchgate.net/publication/327989714_Coordinate_Free_Vector_Algebra_in_R2
 
 # Knot theory
 
-1. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf)
-1. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0)
-1. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf)
+0. [KNOT THEORY and ITS APPLICATIONS](https://www.maths.ed.ac.uk/~v1ranick/papers/murasug3.pdf)
+0. [Primes and Knots - Akshay Venkatesh](https://www.youtube.com/watch?v=jvoYgNYKyk0)
+0. [The Knot Book](http://math.harvard.edu/~ctm/home/text/books/adams/knot_book/knot_book.pdf)
 
 # Axiom
 
-1. [INTRODUCTION TO AXIOMATIC REASONING](http://www.math.harvard.edu/~mazur/papers/Axiomatic.pdf)
+0. [INTRODUCTION TO AXIOMATIC REASONING](http://www.math.harvard.edu/~mazur/papers/Axiomatic.pdf)
 
 # Differential equations
 
-1. [ELEMENTARY DIFFERENTIAL EQUATIONS](http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_FREE_DIFFEQ_I.PDF)
-1. [Lecture Notes on Difference Equations](http://people.math.aau.dk/~matarne/11-imat/notes2011a.pdf)
+0. [ELEMENTARY DIFFERENTIAL EQUATIONS](http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_FREE_DIFFEQ_I.PDF)
+0. [Lecture Notes on Difference Equations](http://people.math.aau.dk/~matarne/11-imat/notes2011a.pdf)
 
 # Algebraic geometry
 
-1. http://nautil.us/issue/69/patterns/the-math-that-takes-newton-into-the-quantum-world
-1. [Algebraic Geometry](http://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/main.pdf)
-1. https://en.wikipedia.org/wiki/Superformula
+0. http://nautil.us/issue/69/patterns/the-math-that-takes-newton-into-the-quantum-world
+0. [Algebraic Geometry](http://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/main.pdf)
+0. https://en.wikipedia.org/wiki/Superformula
 
 # Physics
 
-1. https://www.researchgate.net/publication/309533409_Beyond_Einstein_non-local_physics
-1. https://www.theoretical-physics.com/dev/index.html
+0. https://www.researchgate.net/publication/309533409_Beyond_Einstein_non-local_physics
+0. https://www.theoretical-physics.com/dev/index.html
 
 # Spherical trigonometry
 
-1. https://en.wikipedia.org/wiki/Haversine_formula
+0. https://en.wikipedia.org/wiki/Haversine_formula
 
 # Hyperbolic geometry
 
-1. [Intuitive Guide to Hyperbolic Functions](https://betterexplained.com/articles/hyperbolic-functions/)
-1. [Hyperbolic Functions and Non-Hyperbolic Claims](https://elliptigon.com/hyperbolic-functions-explained/)
+0. [Intuitive Guide to Hyperbolic Functions](https://betterexplained.com/articles/hyperbolic-functions/)
+0. [Hyperbolic Functions and Non-Hyperbolic Claims](https://elliptigon.com/hyperbolic-functions-explained/)
 
 # **Temp Cache**
 
-1. https://mathlets.org/mathlets/
-1. [Quadratic splines are useful too](https://wordsandbuttons.online/quadric_splines_are_useful_too.html)
-1. [Derivations of Applied Mathematics](http://www.derivations.org/)
-1. https://www.juliahomotopycontinuation.org/
-1. https://marginalrevolution.com/marginalrevolution/2018/05/one-parameter-equation-can-exactly-fit-scatter-plot.html
-1. https://plato.stanford.edu/entries/mathematics-inconsistent/
-1. http://immersivemath.com/ila/index.html?m=1
-1. https://stacks.math.columbia.edu/
-1. http://www.gutenberg.org/ebooks/17384
-1. http://illustratedtheoryofnumbers.com/
-1. [Construction of the Transreal Numbers and Algebraic Transfields](http://www.iaeng.org/IJAM/issues_v46/issue_1/IJAM_46_1_03.pdf)
-1. http://simit-lang.org/language
-1. http://wykobi.com/tutorial0.html
-1. https://pron.github.io/computation-logic-algebra
-1. https://github.com/rossant/awesome-math
-1. [Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering](https://www.cis.upenn.edu/~jean/math-basics.pdf)
-1. http://math.chapman.edu/~jipsen/structures/doku.php/
-1. http://stacks.math.columbia.edu/browse
-1. https://bitworking.org/news/ga/2d
-1. https://www.youtube.com/watch?v=OmJ-4B-mS-Y
-1. https://www.youtube.com/watch?v=ZihywtixUYo
-1. https://www.youtube.com/user/njwildberger
-1. http://www.hedonisticlearning.com/posts/category-theory-syntactically.html
-1. https://www.youtube.com/watch?v=EA1FFtTGAfw&list=PLSekr_gm4hWLRNHB5-sbajyUzN5tLOZmx
-1. https://www.artofproblemsolving.com/wiki/index.php/Modular_arithmetic/Introduction
-1. [Mathematics for Computer Science](https://courses.csail.mit.edu/6.042/spring17/mcs.pdf)
-1. http://www.paultaylor.eu/ASD/foufct/
-1. [Toward the Unification of Physics and Number Theory](http://www.quantumgravityresearch.org/wp-content/uploads/2017/02/Toward-the-Unification-of-Physics2-1.pdf)
-1. https://jeremykun.com/2014/03/13/programming-with-finite-fields/
-1. https://courses.cs.washington.edu/courses/cse590b/13au/
-1. http://magma.maths.usyd.edu.au/magma/
-1. [A VIEW OF MATHEMATICS](http://www.alainconnes.org/docs/maths.pdf)
-1. [Introduction to Tensor Analysis and the Calculus of Moving Surfaces](https://www.amazon.com/gp/product/1461478669)
-1. https://en.wikipedia.org/wiki/Wheel_theory
-1. http://wordsandbuttons.online/interactive_guide_to_homogeneous_coordinates.html
-1. https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/index.html
-1. http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/
-1. https://www.youtube.com/watch?v=psSyM1zp82k
-1. [Viviane Pons - Experimental pure mathematics using Sage - PyCon 2015](https://www.youtube.com/watch?v=3LZiZKgVjaU)
-1. http://www.sagemath.org/
-1. [The axioms of constructive geometry](https://www.sciencedirect.com/science/article/pii/0168007295000052)
-1. https://www.quora.com/What-is-it-like-to-understand-advanced-mathematics-Does-it-feel-analogous-to-having-mastery-of-another-language-like-in-programming-or-linguistics/answers/873950?share=1
-1. http://www.tricki.org/tricki/map
-1. https://maxow.github.io/posts/computational-geometry-set-operations-on-polytopes.html
-1. http://blog.robertelder.org/fast-multiplication-using-fourier-transform/
-1. [Graphical Models in a Nutshell](https://ai.stanford.edu/~koller/Papers/Koller+al:SRL07.pdf)
+0. https://mathlets.org/mathlets/
+0. [Quadratic splines are useful too](https://wordsandbuttons.online/quadric_splines_are_useful_too.html)
+0. [Derivations of Applied Mathematics](http://www.derivations.org/)
+0. https://www.juliahomotopycontinuation.org/
+0. https://marginalrevolution.com/marginalrevolution/2018/05/one-parameter-equation-can-exactly-fit-scatter-plot.html
+0. https://plato.stanford.edu/entries/mathematics-inconsistent/
+0. http://immersivemath.com/ila/index.html?m=1
+0. https://stacks.math.columbia.edu/
+0. http://www.gutenberg.org/ebooks/17384
+0. http://illustratedtheoryofnumbers.com/
+0. [Construction of the Transreal Numbers and Algebraic Transfields](http://www.iaeng.org/IJAM/issues_v46/issue_1/IJAM_46_1_03.pdf)
+0. http://simit-lang.org/language
+0. http://wykobi.com/tutorial0.html
+0. https://pron.github.io/computation-logic-algebra
+0. https://github.com/rossant/awesome-math
+0. [Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Engineering](https://www.cis.upenn.edu/~jean/math-basics.pdf)
+0. http://math.chapman.edu/~jipsen/structures/doku.php/
+0. http://stacks.math.columbia.edu/browse
+0. https://bitworking.org/news/ga/2d
+0. https://www.youtube.com/watch?v=OmJ-4B-mS-Y
+0. https://www.youtube.com/watch?v=ZihywtixUYo
+0. https://www.youtube.com/user/njwildberger
+0. http://www.hedonisticlearning.com/posts/category-theory-syntactically.html
+0. https://www.youtube.com/watch?v=EA1FFtTGAfw&list=PLSekr_gm4hWLRNHB5-sbajyUzN5tLOZmx
+0. https://www.artofproblemsolving.com/wiki/index.php/Modular_arithmetic/Introduction
+0. [Mathematics for Computer Science](https://courses.csail.mit.edu/6.042/spring17/mcs.pdf)
+0. http://www.paultaylor.eu/ASD/foufct/
+0. [Toward the Unification of Physics and Number Theory](http://www.quantumgravityresearch.org/wp-content/uploads/2017/02/Toward-the-Unification-of-Physics2-1.pdf)
+0. https://jeremykun.com/2014/03/13/programming-with-finite-fields/
+0. https://courses.cs.washington.edu/courses/cse590b/13au/
+0. http://magma.maths.usyd.edu.au/magma/
+0. [A VIEW OF MATHEMATICS](http://www.alainconnes.org/docs/maths.pdf)
+0. [Introduction to Tensor Analysis and the Calculus of Moving Surfaces](https://www.amazon.com/gp/product/1461478669)
+0. https://en.wikipedia.org/wiki/Wheel_theory
+0. http://wordsandbuttons.online/interactive_guide_to_homogeneous_coordinates.html
+0. https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/index.html
+0. http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/
+0. https://www.youtube.com/watch?v=psSyM1zp82k
+0. [Viviane Pons - Experimental pure mathematics using Sage - PyCon 2015](https://www.youtube.com/watch?v=3LZiZKgVjaU)
+0. http://www.sagemath.org/
+0. [The axioms of constructive geometry](https://www.sciencedirect.com/science/article/pii/0168007295000052)
+0. https://www.quora.com/What-is-it-like-to-understand-advanced-mathematics-Does-it-feel-analogous-to-having-mastery-of-another-language-like-in-programming-or-linguistics/answers/873950?share=1
+0. http://www.tricki.org/tricki/map
+0. https://maxow.github.io/posts/computational-geometry-set-operations-on-polytopes.html
+0. http://blog.robertelder.org/fast-multiplication-using-fourier-transform/
+0. [Graphical Models in a Nutshell](https://ai.stanford.edu/~koller/Papers/Koller+al:SRL07.pdf)