DeepAlgebra - an outline of a program — mentioned by carapace

Sat, 24 Aug 2019 19:13:58 GMT

Related: https://arxiv.org/abs/1610.01044 "DeepAlgebra - an outline of a program" > We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem provers and (La)TeX exploiting syntactic parsers. We describe its application to a repository of human-written facts and definitions in algebraic geometry (The Stacks Project). We use deep learning techniques.

Paper and discussion history. A mention is not an endorsement.

DeepAlgebra - an outline of a program — mentioned by carapace

Fri, 16 Nov 2018 03:45:05 GMT

If you liked that you'll like this: http://www.markability.net/ It's a walk-through of George Spencer-Brown's Laws of Form. It turns out all logic can be modeled by simple containment, and there's a complete basis (discovered by Bricken): A() = () ((A))B = AB A(AB) = A(B) One interesting thing about LoF notation is that every expression is also a schematic of a logic circuit. The letters are inputs, the expression is the output, and each container represents a logical (multi-input) NOR gate. Another interesting thing about it is that it's significantly more efficient to derive proofs in LoF…

Paper and discussion history. A mention is not an endorsement.

DeepAlgebra - an outline of a program · HackerPapers discussions

DeepAlgebra - an outline of a program — mentioned by carapace

DeepAlgebra - an outline of a program — mentioned by carapace