Explore >> Select a destination
|
You are here 
|
thehousecarpenter.wordpress.com | ||
| | | | |
xorshammer.com
|
|
| | | | | In an interesting paper called Extending the Manipulability of Differentials, the authors Jonathan Bartlett and Asatur Zh. Khurshudyan describe an interesting proposal for representing higher-order derivatives. The argument is basically this: As is well-known, the chain rule for first derivatives seems to follow algebraically if you use Leibniz notation for the derivatives: $latex (dg/df)(df/dx) =... | |
| | | | |
math.andrej.com
|
|
| | | | | [AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic. | |
| | | | |
leanprover-community.github.io
|
|
| | | | | [AI summary] The provided text is a mix of code snippets and documentation from a programming language, likely related to type classes and monads. It includes definitions for monads, bind operations, and various theorems related to these constructs. The code also mentions specific types and operations like `bind_mono_left`, `bind_mono_right`, and `mreturn`, which are common in functional programming for handling side effects and computations. | |
| | | | |
laihoconsulting.com
|
|
| | | Website and personal blog of Pekka Laiho, software engineer and financial enthusiast. | ||
