Ciro Santilli @cirosantilli 35

The dot product is a positive definite matrix, and so we see that those will have an important link to familiar geometry.

Incredible that there hasn't been a Nobel Prize for it as of 2022, e.g. as mentioned at: theconversation.com/no-nobel-but-epigenetics-finally-gets-the-recognition-it-deserves-18970

Some old dudes getting another prize in 2016: www.cuimc.columbia.edu/news/pioneers-epigenetics-awarded-horwitz-prize

After the 2019 redefinition of the SI base units it is by definition exactly $1.60217663410^{-19}$ Joules.

The only cases where formal proof of theorems seem to have had actual mathematical value is for theorems that require checking a very large number of case, so much so that no human can be fully certain that no mistakes were made. Some examples:

A form is a function from a vector space to elements of the underlying field of the vector space.

Examples:

Looks very impressive! Last update marked 2011 as of 2020.

Goes up to "A.15 quantum field theory in a Nanoshell", Ciro have to review it to see if there's anything worthwhile in that section.

Personal page says he retired as of 2020: www.eng.fsu.edu/~dommelen/ But hopefully he has more time for these notes!

And he appears to have his own lightweight markup language that transpiles to LaTeX called l2h: www.eng.fsu.edu/~dommelen/l2h/

The japanese name literally means:

Many people believe that knowledge graphs are a key element of AGI: Knowledge graph as a component of AGI.

Bibligraphy:

Open access with solutions: courses.maths.ox.ac.uk/course/view.php?id=4988

Archive: web.archive.org/web/20240402062301/https://courses.maths.ox.ac.uk/course/view.php?id=4988

Lecturer: Luc Nguyen

Some major ones:

This one has students must have a flexible choice of what to learn on the name! Sounds interesting!