2 Matching Annotations
- Mar 2018
-
www.wias-berlin.de www.wias-berlin.de
-
- Gummel mapping/method
- the part about machine-executed proofs sounds like https://media.ccc.de/v/34c3-9105-coming_soon_machine-checked_mathematical_proofs_in_everyday_software_and_hardware_development
- "semantic TeX" => CTAN package?
- OMDoc
- sTeX
- MMT
- TGView
- MPD Viewer
- OpenDreamKit = domain-specific language?
- MaMoReD
Tags
Annotators
URL
-
-
www.wias-berlin.de www.wias-berlin.de
-
- R/(gg)plots visualise => linguists detect interesting phenomena to analyse further
- Wang2Vec: train backprogagation network
Tags
Annotators
URL
-