Pinboard (joecamel)
https://pinboard.in/u:joecamel/public/
recent bookmarks from joecamelPatrick Massot - Why Explain Mathematics to Computers? - YouTube2022-08-03T06:55:24+00:00
https://www.youtube.com/watch?v=1iqlhJ1-T3A
joecamellean math mathematics mathlib dependent.types patrick.massot youtube talkhttps://pinboard.in/https://pinboard.in/u:joecamel/b:92aa07183657/June Huh, High School Dropout, Wins the Fields Medal | Quanta Magazine2022-07-31T18:59:39+00:00
https://www.quantamagazine.org/june-huh-high-school-dropout-wins-the-fields-medal-20220705/
joecamelmath mathematics quanta article fields.medalhttps://pinboard.in/https://pinboard.in/u:joecamel/b:b2d7ed83ffc0/Exponentially Better Rotations – Max Slater –2022-04-17T18:00:13+00:00
https://thenumbat.github.io/Exponential-Rotations/
joecamelcs graphics 3d math interactive intro rotationshttps://pinboard.in/https://pinboard.in/u:joecamel/b:2b9ce2f837fa/[2112.11598] What is the point of computers? A question for pure mathematicians2022-01-31T05:17:04+00:00
https://arxiv.org/abs/2112.11598
joecamellean proof.assistant overview 2021 kevin.buzzard arxiv math futurehttps://pinboard.in/https://pinboard.in/u:joecamel/b:148656401140/Curves and Surfaces – Bartosz Ciechanowski2021-11-03T05:48:32+00:00
https://ciechanow.ski/curves-and-surfaces/
joecamelbezier graphics math curves geometry interactive webglhttps://pinboard.in/https://pinboard.in/u:joecamel/b:ff59e5937a21/Computational Complexity: Is MATH Ready for P=NP? Is Alexandra Fahrenthold Ready for P=NP?2021-10-20T06:20:17+00:00
http://blog.computationalcomplexity.org/2021/10/is-math-ready-for-pnp-is-alexandra.html
joecamelmath open.problems pvsnp historyhttps://pinboard.in/https://pinboard.in/u:joecamel/b:5664368296db/How a Kalman filter works, in pictures | Bzarg2021-03-29T06:22:25+00:00
https://www.bzarg.com/p/how-a-kalman-filter-works-in-pictures/
joecamelkalman algorithms math intro kalman.filterhttps://pinboard.in/https://pinboard.in/u:joecamel/b:44345f712b50/Interview with Inna Zakharevich - YouTube2021-02-17T21:02:51+00:00
https://www.youtube.com/watch?v=E4SYGwd22iM
joecamelmath video interview youtubehttps://pinboard.in/https://pinboard.in/u:joecamel/b:84d68814ab18/Formalising mathematics: an introduction. | Xena2021-02-01T17:00:30+00:00
https://xenaproject.wordpress.com/2021/01/21/formalising-mathematics-an-introduction/
joecamelmath lean xena.project intro proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:7752dff28d42/Lean Together 2021 | Xena2021-01-14T08:29:11+00:00
https://xenaproject.wordpress.com/2021/01/12/lean-together-2021/
joecamellean math proof.assistant overview talkshttps://pinboard.in/https://pinboard.in/u:joecamel/b:8f0b231e416a/Liquid tensor experiment – Xena2020-12-20T08:22:31+00:00
https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/amp/?__twitter_impression=true
joecamelmath lean proof.assistent dependent.types advanced xena.projecthttps://pinboard.in/https://pinboard.in/u:joecamel/b:ad21d0f0993a/quiver: a modern commutative diagram editor2020-11-27T09:20:22+00:00
https://q.uiver.app/
joecamellatex editor diagram graphics mathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:b5e5d4a6dfad/Unicode: Brackets, Quotes2020-11-18T16:24:09+00:00
http://xahlee.info/comp/unicode_matching_brackets.html
joecamelunicode mathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:82b695c13899/PLV@MIT – Untangling mechanized proofs2020-11-16T18:27:06+00:00
https://plv.csail.mit.edu/blog/alectryon.html
joecamelcoq math dependent.types proof.assistant programming interactivehttps://pinboard.in/https://pinboard.in/u:joecamel/b:07355b9e9097/Scott Fleischman: Agda from Nothing Part 1 - λC 2016 - YouTube2020-11-16T17:55:42+00:00
https://www.youtube.com/watch?v=-i-QQ36Nfsk&ab_channel=LambdaConf
joecamelagda dependent.types math programming plthttps://pinboard.in/https://pinboard.in/u:joecamel/b:4cab7802ef58/Dependent Types At Work (Agda)2020-11-13T07:03:55+00:00
http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf
joecamelagda dependent.types plt logic intro programming mathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:d0195bbe34ee/Oliver Knill: Some Fundamental Theorems in Math2020-10-30T20:58:33+00:00
http://people.math.harvard.edu/~knill/graphgeometry/papers/fundamental.pdf
joecamelmath book list overview pdfhttps://pinboard.in/https://pinboard.in/u:joecamel/b:546f983cdd1d/IMO Interview with Lisa Sauermann - YouTube2020-10-22T18:24:30+00:00
https://www.youtube.com/watch?v=yG-UlhjBv6w&ab_channel=IMO2020
joecamelmath youtube talk high.school education video 2020 imohttps://pinboard.in/https://pinboard.in/u:joecamel/b:2c4e058d0b0e/IMO Lecture by Jozsef Pelikan - YouTube2020-10-22T17:52:39+00:00
https://www.youtube.com/watch?v=Y2XZRI9f9zE
joecamelmath youtube imo talk historyhttps://pinboard.in/https://pinboard.in/u:joecamel/b:e9b5a50e078c/IMO 2020 Lecture by Stanislav Smirnov - YouTube2020-10-21T14:05:26+00:00
https://www.youtube.com/watch?v=K7bjVX7Ivls
joecamelmath imo video youtube talk smirnovhttps://pinboard.in/https://pinboard.in/u:joecamel/b:6d11a27cc017/GAME2020 0. Steven De Keninck. Dual Quaternions Demystified - YouTube2020-10-17T08:33:46+00:00
https://www.youtube.com/watch?v=ichOiuBoBoQ
joecamelgeometric.algebra youtube video talk math computer.graphics dual.quaternions pga projective.geometryhttps://pinboard.in/https://pinboard.in/u:joecamel/b:261df8cf5262/Discrete Differential Geometry - Helping Machines (and People) Think Clearly about Shape - YouTube2020-10-15T20:14:41+00:00
https://www.youtube.com/watch?v=Mcal5Cy7r4E&ab_channel=KeenanCrane
joecameltalk math cs youtube differential.geometry discrete graphics 3d 2012 video introhttps://pinboard.in/https://pinboard.in/u:joecamel/b:21d1e83e0a27/GAME2020 - Geometric Algebra Mini Event - YouTube2020-10-14T11:43:55+00:00
https://www.youtube.com/playlist?list=PLsSPBzvBkYjzcQ4eCVAntETNNVD2d5S79
joecamelgeometric.algebra math youtube talk video playlisthttps://pinboard.in/https://pinboard.in/u:joecamel/b:d8248384418c/Productive generalization - Timothy Gowers - YouTube2020-10-13T14:53:09+00:00
https://www.youtube.com/watch?v=95SD9eNNdaE&ab_channel=OxfordMathematics
joecamelmath talk youtube gowers videohttps://pinboard.in/https://pinboard.in/u:joecamel/b:268b344daad9/GAME2020 - 1. Dr. Leo Dorst. Get Real! - YouTube2020-10-09T08:24:54+00:00
https://www.youtube.com/watch?v=0fF2xToQmgs
joecamelgeometric.algebra youtube video talk 2020 math cshttps://pinboard.in/https://pinboard.in/u:joecamel/b:83cf499ed7ca/The Infinite Pattern That Never Repeats - YouTube2020-10-06T20:46:32+00:00
https://www.youtube.com/watch?v=48sCx-wBs34
joecameleducation video math youtube penrose veritasiumhttps://pinboard.in/https://pinboard.in/u:joecamel/b:f955c81ce99d/Math Encounters - Fractal Beauty - YouTube2020-10-05T15:23:28+00:00
https://www.youtube.com/watch?v=8bTPZBPQPSM&ab_channel=NationalMuseumofMathematics
joecamelyoutube talk 2015 fractal sphere.packing math inspiration education momathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:d8d80be877d0/Good answer on GA & Clifford and GA vs cross prod2020-09-07T13:34:51+00:00
https://news.ycombinator.com/item?id=24399257
joecamelmath geometric.algebra hn discussion educationhttps://pinboard.in/https://pinboard.in/u:joecamel/b:4a81279d9aa4/How Close Are Computers to Automating Mathematical Reasoning? | Quanta Magazine2020-08-30T08:55:38+00:00
https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/#comments
joecamelproof.assistant quanta math lean theorem.provers coq popsci opinion articlehttps://pinboard.in/https://pinboard.in/u:joecamel/b:d375413652b9/Michael R. Douglas - How will we do mathematics in 2030? - YouTube2020-08-15T18:51:24+00:00
https://www.youtube.com/watch?v=pspNpxrB7Nk
joecameltalk math future technology ai proof.assistant youtube videohttps://pinboard.in/https://pinboard.in/u:joecamel/b:13dc00fb6377/mathlib documentation2020-08-15T08:25:22+00:00
https://leanprover-community.github.io/mathlib_docs/
joecamellean math mathlib documentation reference proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:236c206ce8f3/Mathematics in mathlib2020-08-15T08:24:16+00:00
https://leanprover-community.github.io/mathlib-overview.html
joecamellean math list reference mathlib proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:96033835427a/Learning Lean resources (Lean Community)2020-08-15T08:23:10+00:00
https://leanprover-community.github.io/learn.html
joecamellean math resources list proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:216695e36811/Transcendental Numbers in Lean2020-08-15T08:22:31+00:00
https://github.com/jjaassoonn/transcendental
joecamellean math project github transcendental.numbers proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:4395dc549e71/Formalizing 100 Theorems2020-08-15T08:21:02+00:00
https://www.cs.ru.nl/~freek/100/
joecamellean math list proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:894bd1afe204/Lean summer project 2020 lectures - YouTube2020-08-15T08:19:46+00:00
https://www.youtube.com/playlist?list=PLVZep5wTamMmvdvczjrLctDM9T4nBse1M
joecamellean math lectures 2020 youtube video playlist proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:97539f73a8a5/Formal Methods in Mathematics / Lean Together 2020 - YouTube2020-08-15T08:18:40+00:00
https://www.youtube.com/playlist?list=PLlF-CfQhukNkWwZt45vkNfWfuO-tBBqPN
joecamellean math workshop 2020 youtube video playlist proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:b86a7e3990e6/Lean for the Curious Mathematician 2020 - YouTube2020-08-15T08:17:19+00:00
https://www.youtube.com/playlist?list=PLlF-CfQhukNlxexiNJErGJd2dte_J1t1N
joecamellean math talks video youtube playlist proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:59bfcc048521/The Lean Reference Manual2020-08-15T08:16:26+00:00
https://leanprover.github.io/reference/
joecamellean math book reference manual proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:5477c8b7693f/Logic and Proof (with Lean)2020-08-15T08:15:45+00:00
https://leanprover.github.io/logic_and_proof/
joecamellean math book logic proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:53783db5e590/Basic Lean tactics cheatsheet2020-08-15T08:12:21+00:00
https://leanprover-community.github.io//img/lean-tactics.pdf
joecamellean math cheatsheet intro pdf proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:900823a43c92/Natural number game2020-08-15T08:11:25+00:00
http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/
joecamellean math game interactive introduction education proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:0d95e82471d8/Theorem Proving in Lean2020-08-15T08:09:56+00:00
https://leanprover.github.io/theorem_proving_in_lean/
joecamellean math book proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:c305abffa203/Mathematics in Lean - book2020-08-15T08:08:45+00:00
https://leanprover-community.github.io/mathematics_in_lean/
joecamellean math book wip proof.assistant introductionhttps://pinboard.in/https://pinboard.in/u:joecamel/b:e87a0e3e6272/Taming Floating Point Error - Jack Coughlin2020-08-05T07:29:04+00:00
https://www.johnbcoughlin.com/posts/floating-point-axiom/
joecamelmath programming floating.point internals numerical.math introhttps://pinboard.in/https://pinboard.in/u:joecamel/b:68b29a70d54c/Theorem proving for mathematicians - YouTube2020-07-28T13:33:24+00:00
https://www.youtube.com/watch?v=WIK1i_7lvHA
joecameltheorem.provers youtube video talk math leanhttps://pinboard.in/https://pinboard.in/u:joecamel/b:2c172801cfba/leanprover-community/format_lean: A Lean file formatter2020-07-11T10:32:43+00:00
https://github.com/leanprover-community/format_lean
joecamellean math project code github python formatterhttps://pinboard.in/https://pinboard.in/u:joecamel/b:f4b87a1f0a96/Undergrad math not in mathlib2020-07-11T10:30:50+00:00
https://leanprover-community.github.io/undergrad_todo.html
joecamellean proof.assistant math undergraduate listhttps://pinboard.in/https://pinboard.in/u:joecamel/b:140f28ae9055/Penrose: From Mathematical Notation to Beautiful Diagrams2020-06-22T17:18:10+00:00
http://penrose.ink/media/Penrose_SIGGRAPH2020.pdf
joecamelmath visualization siggraph 2020 paper pdfhttps://pinboard.in/https://pinboard.in/u:joecamel/b:6618d1cc88a2/Mathematics in type theory. | Xena2020-06-21T13:26:59+00:00
https://xenaproject.wordpress.com/2020/06/20/mathematics-in-type-theory/
joecamellean xena math intro type.theory logichttps://pinboard.in/https://pinboard.in/u:joecamel/b:28b1f27ae032/A Review of the Lean Theorem Prover | Jigger Wit2020-06-16T08:03:08+00:00
https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/
joecamellean theorem.provers math programming type.theory plt review thomas.haleshttps://pinboard.in/https://pinboard.in/u:joecamel/b:815f9d1e0ab2/Differential Forms and Integration (2008) [pdf] | Hacker News2020-06-02T18:24:37+00:00
https://news.ycombinator.com/item?id=23269351
joecamelmath terrytao hn discussion differential.geometryhttps://pinboard.in/https://pinboard.in/u:joecamel/b:b4dddf615de8/Combinatorics in Lean2020-05-25T08:21:25+00:00
https://b-mehta.github.io/combinatorics/
joecamellean programming math combinatorics proof.assistanthttps://pinboard.in/https://pinboard.in/u:joecamel/b:e2ceed3cba00/Inigo Quilez :: fractals, computer graphics, mathematics, shaders, demoscene and more2020-04-14T10:21:05+00:00
https://www.iquilezles.org/www/index.htm
joecamelblog 3d math graphics programming listhttps://pinboard.in/https://pinboard.in/u:joecamel/b:b7bdfc34636a/Discrete Differential Geometry: An Applied Intro2020-04-08T20:07:00+00:00
http://brickisland.net/DDGSpring2016/wp-content/uploads/2016/02/DDGNotes.pdf
joecamelmath differential.geometry intro book pdf onlinehttps://pinboard.in/https://pinboard.in/u:joecamel/b:0a711b77639a/How to lose your fear of tensor products2020-04-07T13:34:41+00:00
https://www.dpmms.cam.ac.uk/~wtg10/tensors3.html
joecamelalgebra tensors intro education learning math cambridgehttps://pinboard.in/https://pinboard.in/u:joecamel/b:f93310e76f25/PGA R(3,0,1) cheatsheet2020-03-27T20:35:35+00:00
http://terathon.com/pga_lengyel.pdf
joecamelprojective.geometry geometric.algebra cheatsheet pdf mathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:e0fc6e208481/Projective Geometric Algebra Done Right – Eric Lengyel's Blog2020-03-27T20:34:48+00:00
http://terathon.com/blog/projective-geometric-algebra-done-right/
joecamelmath geometric.algebra projective.geometry siggraph 2019https://pinboard.in/https://pinboard.in/u:joecamel/b:d0064dce5da5/Putting Algebraic Curves in Perspective - YouTube2020-03-27T08:52:34+00:00
https://www.youtube.com/watch?v=XXzhqStLG-4&feature=youtu.be
joecamelprojective.geometry youtube video intro math algebraic.geometryhttps://pinboard.in/https://pinboard.in/u:joecamel/b:29b6d2ea88ed/Oxford Mathematics Public Lectures: Marc Lackenby - Knotty Problems - YouTube2020-02-20T16:39:49+00:00
https://www.youtube.com/watch?v=lVU8hae2T7Y
joecamelmath oxford youtube video lecture knot.theory intro introduction inspirationhttps://pinboard.in/https://pinboard.in/u:joecamel/b:3e5f95d19119/Formalising Perfectoid Spaces - YouTube2020-01-29T19:56:17+00:00
https://www.youtube.com/watch?v=I0v03tRplt0&list=PLyrlk8Xaylp66PQM4k4mGnYzsZ4MbMz5E&index=29
joecamellean theorem.provers math youtube talk sigplanhttps://pinboard.in/https://pinboard.in/u:joecamel/b:ec4329f6cd7b/Introduction to Grobner Bases - Prof. Bernd Sturmfels - YouTube2020-01-15T15:00:23+00:00
https://www.youtube.com/watch?v=TNO5WuxuNak
joecamelmath youtube talk intro grobner.bases algebrahttps://pinboard.in/https://pinboard.in/u:joecamel/b:77fcebd06ae3/The Practice of Mathematics by Robert P. Langlands | Video Lectures2019-12-25T09:51:29+00:00
https://video.ias.edu/The-Practice-of-Mathematics
joecamelvideo math langlands ias talks youtube overview lectures lecture talkhttps://pinboard.in/https://pinboard.in/u:joecamel/b:f655e20cc6bc/Some Fundamental Theorems in Mathematics2019-12-24T21:46:54+00:00
https://arxiv.org/pdf/1807.08416.pdf
joecamelmaths math reference pdf arxiv overviewhttps://pinboard.in/https://pinboard.in/u:joecamel/b:065b8c995209/Allen Hatcher's Homepage2019-12-24T21:44:53+00:00
http://pi.math.cornell.edu/~hatcher/#anchor1772800
joecamelbooks math pdf freehttps://pinboard.in/https://pinboard.in/u:joecamel/b:9c56b8ae751c/Mathematicians are chronically lost and confused (and that’s how it’s supposed to be)2019-12-24T21:15:03+00:00
https://j2kun.svbtle.com/mathematicians-are-chronically-lost-and-confused
joecamelmath education research mathematics learning hn discussionhttps://pinboard.in/https://pinboard.in/u:joecamel/b:c1b2dd071638/[1912.01412] Deep Learning for Symbolic Mathematics2019-12-15T16:45:57+00:00
https://arxiv.org/abs/1912.01412
joecamelmath deep.learning symbolichttps://pinboard.in/https://pinboard.in/u:joecamel/b:277cb1801cbd/(1) Let's remove Quaternions from every 3D Engine: Intro to Rotors from Geometric Algebra - YouTube2019-12-15T10:03:08+00:00
https://www.youtube.com/watch?v=syyK6hTWT7U
joecamelvideo youtube short demo geometric.algebra mathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:d520e1083147/Phase Plots of Complex Functions: A Journey in Illustration2019-12-13T21:13:51+00:00
http://www.ams.org/notices/201106/rtx110600768p.pdf
joecamelmath visual visualization complex.analysis ams articlehttps://pinboard.in/https://pinboard.in/u:joecamel/b:02e052d42e7f/A new way to make quadratic equations easy - MIT Technology Review2019-12-13T19:08:37+00:00
https://www.technologyreview.com/s/614775/a-new-way-to-make-quadratic-equations-easy/
joecameleducation algebra mathhttps://pinboard.in/https://pinboard.in/u:joecamel/b:ef3f200d2adc/