mathsICCC.tex

\documentclass[letterpaper]{article}
\usepackage{iccc}
\usepackage{times}
\usepackage{helvet}
\usepackage{courier}
\usepackage{newfloat}
\DeclareFloatingEnvironment[fileext=frm,name=Listing]{listing}
\usepackage[framemethod=tikz]{mdframed}
\mdfsetup{
skipabove=\baselineskip,
skipbelow=0\baselineskip,
innertopmargin=3pt,
innerbottommargin=3pt
}
\usepackage{amssymb,amsmath,amsthm}
\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}
\newtheorem{remark}{Remark}
\usepackage{hetcasl}
%  \usepackage{diagrams}
\usepackage{tikz-cd}
% \usepackage[dvipsnames]{xcolor}
\usepackage{adjustbox}
\usepackage{graphicx}
% \usepackage[firstpage]{draftwatermark}
% \SetWatermarkText{\shortstack{Draft\\\today\currenttime}}
% \SetWatermarkScale{0.75}
\usepackage[T1]{fontenc}
\usepackage{csquotes}
\usepackage[utf8]{inputenc}
\usepackage[british]{babel}
\usepackage[style=apa,natbib,backend=biber,doi=false,url=false]{biblatex}
% \usepackage[style=apa,natbib,backend=biber]{biblatex}
\let\cite\citep
\usepackage[ddmmyyyy]{datetime}
\renewcommand*{\multicitedelim}{\addsemicolon\space}%
\usepackage{xcolor}

\usepackage[ocgcolorlinks,citecolor=black]{hyperref}

\makeatletter
\AtBeginDocument{%
    \newlength{\temp@x}%
    \newlength{\temp@y}%
    \newlength{\temp@w}%
    \newlength{\temp@h}%
    \def\my@coords#1#2#3#4{%
      \setlength{\temp@x}{#1}%
      \setlength{\temp@y}{#2}%
      \setlength{\temp@w}{#3}%
      \setlength{\temp@h}{#4}%
      \adjustlengths{}%
      \my@pdfliteral{\strip@pt\temp@x\space\strip@pt\temp@y\space\strip@pt\temp@w\space\strip@pt\temp@h\space re}}%
    \ifpdf
      \typeout{In PDF mode}%
      \def\my@pdfliteral#1{\pdfliteral page{#1}}% I don't know why % this command...
      \def\adjustlengths{}%
    \fi
    \ifxetex
      \def\my@pdfliteral #1{\special{pdf: literal direct #1}}% isn't equivalent to this one
      \def\adjustlengths{\setlength{\temp@h}{-\temp@h}\addtolength{\temp@y}{1in}\addtolength{\temp@x}{-1in}}%
    \fi%
    \def\Hy@colorlink#1{%
      \begingroup
        \ifHy@ocgcolorlinks
          \def\Hy@ocgcolor{#1}%
          \my@pdfliteral{q}%
          \my@pdfliteral{7 Tr}% Set text mode to clipping-only
        \else
          \HyColor@UseColor#1%
        \fi
    }%
    \def\Hy@endcolorlink{%
      \ifHy@ocgcolorlinks%
        \my@pdfliteral{/OC/OCPrint BDC}%
        \my@coords{0pt}{0pt}{\pdfpagewidth}{\pdfpageheight}%
        \my@pdfliteral{F}% Fill clipping path (the url's text) with
                           % current color
        %
        \my@pdfliteral{EMC/OC/OCView BDC}%
        \begingroup%
          \expandafter\HyColor@UseColor\Hy@ocgcolor%
          \my@coords{0pt}{0pt}{\pdfpagewidth}{\pdfpageheight}%
          \my@pdfliteral{F}% Fill clipping path (the url's text)
                             % with \Hy@ocgcolor
        \endgroup%
        \my@pdfliteral{EMC}%
        \my@pdfliteral{0 Tr}% Reset text to normal mode
        \my@pdfliteral{Q}%
      \fi
      \endgroup
    }%
}
\makeatother

\DeclareLanguageMapping{british}{british-apa}
% \addbibresource{papers.bib}
% \addbibresource{Corneli_evaluation_bibliography.bib}
% \addbibresource{Bou_CoInvent_bibliography.bib}
\addbibresource{mathsICCC_local.bib} %
% \addbibresource{danny_bibliothek.bib} %
%% \urlstyle{tt}
\AtBeginBibliography{\def\UrlFont{\footnotesize\tt}}
\renewcommand*{\finalnamedelim}{%
  \ifnumgreater{\value{liststop}}{2}{\finalandcomma}{}%
  \addspace\&\&\space}
\AtEveryCitekey{\renewcommand*{\finalnamedelim}{%
  \ifthenelse{\value{listcount}>\maxprtauth}
    {}
    {\ifthenelse{\value{liststop}>2}
       {\finalandcomma\addspace\bibstring{and}\space}
       {\addspace\bibstring{and}\space}}}}

\AtBeginDocument{\renewcommand\finalandcomma{\addcomma}}
\AtBeginBibliography{%
  \renewcommand*{\finalnamedelim}{%
    \ifthenelse{\value{listcount}>\maxprtauth}
      {}
      {\finalandcomma\addspace\bibstring{and}\space}}}

\newbibmacro{string+doiurlisbn}[1]{%
  \iffieldundef{doi}{%
    \iffieldundef{url}{%
      \iffieldundef{isbn}{%
        \iffieldundef{issn}{%
          #1%
        }{%
          \href{http://books.google.com/books?vid=ISSN\thefield{issn}}{#1}%
        }%
      }{%
        \href{http://books.google.com/books?vid=ISBN\thefield{isbn}}{#1}%
      }%
    }{%
      \href{\thefield{url}}{#1}%
    }%
  }{%
    \href{http://dx.doi.org/\thefield{doi}}{#1}%
  }%
}

\DeclareFieldFormat{title}{\usebibmacro{string+doiurlisbn}{\mkbibemph{#1}}}
\DeclareFieldFormat[inproceedings,article,incollection]{title}%
    {\usebibmacro{string+doiurlisbn}{\mkbibquote{#1}}}

\newcommand{\note}[1]{\begin{quote} \textbf{Note:}  \textit{#1} \end{quote}}
\newcommand{\comment}[1]{\textbf{Comment:}\textit{#1}}
\newcommand{\dannydiv}{\lfloor}

\pdfinfo{
/Title (The role of blending in mathematical invention)
/Subject (Conceptual blending, Mathematics)
/Author (F. Bou et al.)}
% The file iccc.sty is the style file for ICCC proceedings.

\title{The role of blending in mathematical invention}

\author{F.\ Bou \\ \Large{\textbf{M.\ Schorlemmer}}\\IIIA - CSIC \\ Barcelona
        \And J. Corneli \\ \mbox{} \\ Computing \\Goldsmiths, London
        \And D.\ G{\'o}mez-Ram{\'{\i}}rez\\ \mbox{} \\Cognitive Science \\Osnabr{\"u}ck
        \And E. Maclean \\\Large{\textbf{A.\ Smaill}}\\ Informatics\\ Edinburgh
        \And A. Pease \\ \mbox{} \\ Computing \\ Dundee}


\setcounter{secnumdepth}{0}
\begin{document} 
\maketitle
\begin{abstract}
\begin{quote}
  We model the mathematical process whereby new mathematical theories
  are invented.  Here we
  explain the use of conceptual blending for this purpose, and show
  examples to illustrate the process in action.  Our longer-term goal
  is to support machine and human mathematical creativity.
\end{quote}
\end{abstract}

\input{introduction}
\input{background}
\input{infinity}
\input{transfin}
\input{prime}
\input{other}
\input{evaluation}
\input{conclusions}

\subsection*{Acknowledgements}

The authors are grateful to the referees for constructive comment.
The project COINVENT acknowledges the financial support
of the Future and Emerging Technologies (FET) programme
within the Seventh Framework Programme for Research of
the European Commission, under FET-Open Grant number:
611553.

\printbibliography

\end{document}