Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Delete
Set public
Set private
Remember me
592
shaares
592
shaares
Filters
Links per page
20
50
100
8 results tagged
maths/logic
Byrne’s Euclid
maths/logic
·
maths/geometry
·
teaching
·
art
Thu Oct 15 15:35:13 2020 * ·
permalink
·
https://www.c82.net/euclid/
Numberphile’s Proof for the Sum 1+2+3+...
maths/logic
Fri Sep 25 18:37:57 2020 * ·
permalink
·
https://journals.blythinstitute.org/ojs/index.php/cbi/article/view/36/37
When Math Gets Impossibly Hard
maths/logic
Thu Sep 17 10:03:05 2020 * ·
permalink
·
https://www.quantamagazine.org/when-math-gets-impossibly-hard-20200914/
Reasonably Polymorphic
books
·
maths/logic
·
maths/types
Wed Jul 15 23:53:15 2020 * ·
permalink
·
https://reasonablypolymorphic.com/book/preface.html
Application of formal systems to model biological systems
computer-science/bioinformatics
·
maths/logic
·
computer-science/cellular-automata
Wed Jun 10 11:22:46 2020 * ·
permalink
·
https://github.com/prathyvsh/formal-systems-in-biology
Coq Reference Manual
maths/logic
·
programming/proof
Sat Jun 6 23:54:17 2020 * ·
permalink
·
https://coq.inria.fr/distrib/current/refman/
Minimizing logic expressions
maths/logic
·
programming/functional/racket
Mon Apr 27 15:43:16 2020 * ·
permalink
·
https://lab.whitequark.org/notes/2020-04-06/minimizing-logic-expressions/
The 2,500 year old history of why Python’s all([]) returns True
maths/logic
·
programming
Wed Mar 18 14:07:01 2020 * ·
permalink
·
https://blog.carlmjohnson.net/post/2020/python-square-of-opposition/
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community