org/farm-talk.org

   1 #+TITLE:     \large{Modelling the Way Mathematics Is Actually Done}
   2 #+AUTHOR:    Joseph Corneli, Ursula Martin, Dave Murray-Rust,\newline Alison Pease, Raymond Puzio, Gabriela Rino Nesin
   3 #+EMAIL:     contact@planetmath.org
   4 #+DATE:      9 September, 2017
   5 #+DESCRIPTION: Organizer for presentation on arxana and math text analysis at Oxford.
   6 #+KEYWORDS: arxana, hypertext, inference anchoring
   7 #+LANGUAGE: en
   8 #+OPTIONS: H:1 num:t toc:nil \n:nil @:t ::t |:t ^:nil -:t f:t *:t <:t
   9 #+OPTIONS: TeX:t LaTeX:nil skip:nil d:nil todo:t pri:nil tags:not-in-toc
  10 #+INFOJS_OPT: view:nil toc:nil ltoc:t mouse:underline buttons:0 path:http://orgmode.org/org-info.js
  11 #+EXPORT_SELECT_TAGS: export
  12 #+EXPORT_EXCLUDE_TAGS: noexport
  13 #+LATEX_CLASS: beamer
  14 #+LATEX_CLASS_OPTIONS: [presentation,serif]
  15 #+LATEX_HEADER: \usefonttheme{professionalfonts}
  16 #+LATEX_HEADER: \usepackage{fontspec}
  17 #+LATEX_HEADER: \setromanfont{TeX Gyre Pagella}
  18 #+LATEX_HEADER: \usepackage{mathtools}
  19 #+LATEX_HEADER: \usepackage{unicode-math}
  20 #+LATEX_HEADER: \setmathfont{TeX Gyre Pagella Math}
  21 #+LATEX_HEADER: \setmonofont[Color=blue]{TeX Gyre Adventor}
  22 #+LATEX_HEADER: \usepackage{listings}
  23 #+LATEX_HEADER: \usepackage{parskip}
  24 #+LATEX_HEADER: \newfontfamily{\lstsansserif}[Scale=.85]{TeX Gyre Adventor}
  25 #+LATEX_HEADER: \lstset{basicstyle=\lstsansserif\color{blue},keywordstyle=\lstsansserif\color{blue}}
  26 #+LATEX_HEADER: \definecolor{fondpaille}{cmyk}{0,0,0.1,0}
  27 #+LATEX_HEADER: \definecolor{sepia}{rgb}{0.44, 0.26, 0.08}
  28 #+LATEX_HEADER: \setbeamercolor{background canvas}{bg=fondpaille}
  29 #+LATEX_HEADER: \setbeamercolor{normal text}{fg=sepia}
  30 #+LATEX_HEADER: \beamertemplatenavigationsymbolsempty
  31 #+LATEX_HEADER: \usepackage{lightning}
  32 #+LATEX_HEADER: \definecolor{brightpink}{rgb}{1.0, 0.0, 0.5}
  33 #+LATEX_HEADER: \newcommand{\SoThat}{\textcolor{brightpink}{$\rightarrow$}~}
  34 #+LATEX_HEADER: \usepackage{fontawesome}
  35 #+LINK_UP:
  36 #+LINK_HOME:
  37 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="http://metameso.org/~joe/solarized-css/build/solarized-light.css" />
  38 #+STARTUP: showeverything
  39
  40 # convert example-graph.png -fuzz 1% -fill 'rgb(255,255,230)' -opaque white fond-graph.png
  41
  42 * "From cons cells to triples, from trees to hypergraphs"
  43
  44 \textbf{Last Sunday's Lightning Talk at Scheme 2017:}
  45
  46 - Basic mechanics and lexicon
  47 - What do we get?
  48 - Related work
  49 - History of development and outreach
  50 - Screenshot from the 2005 edition of Arxana
  51 - Other relevant work: Conceptual Dependence theory
  52 - Illustration: Application to mathematics
  53 - Input:
  54 - Output:
  55 - Illustration: nested structure
  56 * World's first combination of IATC and CD
  57 - what we have now in Listing 2 will probably need to be considerably
  58   rethought
  59 - Describe what we're trying to do, if you change one subgraph on one
  60   you get to the other
  61 * Summary
  62 *** \phantom{y}                                               :B_block:BMCOL:
  63     :PROPERTIES:
  64     :BEAMER_COL: 0.5
  65     :BEAMER_ENV: block
  66     :END:
  67 Column 1
  68 *** \phantom{x}                                               :B_block:BMCOL:
  69     :PROPERTIES:
  70     :BEAMER_COL: 0.5
  71     :BEAMER_ENV: block
  72     :END:
  73 Column 2
  74 * Future work
  75 * The end
  76 * outtakes                                                         :noexport:
  77 ** Other things we've worked on
  78
  79 #+C Local Variables:
  80 #+C org-tree-slide-skip-outline-level: 3
  81 #+C mode-line-format: nil
  82 #+C org-latex-compiler: "xelatex"
  83 #+C eval: (org-display-inline-images t t)
  84 #+C eval: (setq org-tree-slide-header nil)
  85 #+C End:
  86
  87 * Frame with references                                            :noexport:
  88   :PROPERTIES:
  89   :BEAMER_OPT: fragile,allowframebreaks,label=
  90   :END:
  91   \printbibliography