Skip to content

Issues: prathyvsh/notation

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

50 Open 1 Closed
50 Open 1 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Examine and add notations from https://birdtracks.edu
#51 opened Apr 23, 2022 by prathyvsh
Examine Institute of Diagram Studies Curation
#50 opened Dec 9, 2020 by prathyvsh
Judea Pearl’s diagrams
#49 opened Nov 9, 2020 by prathyvsh
Geometry of Interaction
#48 opened Nov 4, 2020 by prathyvsh
A Brief History of the Notation of Boole’s Algebra
#47 opened Nov 2, 2020 by prathyvsh
Two Extensions of the Use of Graphs in Elementary Logic: Neat work by William E. Hocking from 1909
#46 opened Oct 30, 2020 by prathyvsh
Sheet diagrams for bimonoidal categories
#45 opened Oct 27, 2020 by prathyvsh
Paper exploring string diagrams and automata
#44 opened Oct 24, 2020 by prathyvsh
Investigate visual logic of Leibniz
#43 opened Oct 21, 2020 by prathyvsh
Investigate the work of Juan Luis Vives
#42 opened Oct 21, 2020 by prathyvsh
Investigate the idea of loci and topical logic by Boethius and subsequent development by Abelard
#41 opened Oct 21, 2020 by prathyvsh
Investigate notations of Johann Heinrich Alsted
#40 opened Oct 21, 2020 by prathyvsh
Analyze this survey of Euler diagrams
#39 opened Oct 17, 2020 by prathyvsh
8
Investigate this blogpost
#38 opened Oct 15, 2020 by prathyvsh
Investigate Marshall Islands Sticks and Quipus
#37 opened Oct 11, 2020 by prathyvsh
Explore what is the status of Syncopated algebra
#36 opened Oct 8, 2020 by prathyvsh
Investigate Aha-computations in Hieroglyphs
#35 opened Oct 8, 2020 by prathyvsh
Investigate Cossist Notation
#34 opened Oct 8, 2020 by prathyvsh
Study on the origins of graph structures
#33 opened Oct 6, 2020 by prathyvsh
Investigate Parry’s and Standley’s papers
#32 opened Oct 3, 2020 by prathyvsh
Investigate Wittgenstein and Tufte on Thinking in 3D: ‘Escaping Flatland’
#31 opened Sep 29, 2020 by prathyvsh
Evaluate “A Structural and Nominal Syntax for Programs”
#30 opened Sep 24, 2020 by prathyvsh
Investigate the softwares here
#29 opened Sep 24, 2020 by prathyvsh
Investigate Baez work on creating diagrammatic reasoning for universal algebra
#28 opened Sep 11, 2020 by prathyvsh
Add works related to CosmicOS
#27 opened Sep 9, 2020 by prathyvsh
ProTip! Adding no:label will show everything without a label.