...
 
Commits (2)
......@@ -10,6 +10,15 @@
\usepackage{float} % used to suppress floating of tables in Resources section.
\usetikzlibrary{calc,fit,positioning,shapes,arrows,snakes,backgrounds,shadows}
\hypersetup{bookmarksnumbered}
\newcommand{\hlaux}[1]{\noindent\fbox{\parbox{.99\textwidth}{#1}}}
% highligh a paragraph
\newcommand{\highlight}[1]{\medskip\hlaux{\large #1}\medskip}
% highlight a paragraph fragment
\newcommand{\inparahighlight}[1]{\textbf{#1}}
\makeatletter
\newcommand\arraybslash{\let\\\@arraycr}
\makeatother
......
No preview for this file type
......@@ -15,13 +15,6 @@
%%%%%% end bad bad fix.
\input{WApersons} % Some sections of the included files depend on this.
\input{preamble}
\hypersetup{bookmarksnumbered}
\newcommand{\hlaux}[1]{\noindent\fbox{\parbox{.99\textwidth}{#1}}}
% highligh a paragraph
\newcommand{\highlight}[1]{\medskip\hlaux{\large #1}\medskip}
% highlight a paragraph fragment
\newcommand{\inparahighlight}[1]{\textbf{#1}}
\begin{document}
\begin{proposal}[
......@@ -40,7 +33,7 @@
% the site descriptions at CVs/*.tex
FAURM=90, % FAU Erlangen-Nuernberg
PSRM=36, %paris sud
EMSRM=36, % European Mathematical Society
EMSRM=36, % liEuropean Mathematical Society
ULRM=54, % somewhere in Slovenia
CAERM=36, % Modelica
FIZRM=36, % Fachinformationszentrum Karlsruhe
......
......@@ -42160,6 +42160,26 @@ crossref = {SEPUBLICA14},
url = {http://imps.mcmaster.ca/doc/calculus.pdf}
}
@article{coen2007note,
title={A Note on Formalising Undefined Terms in Real Analysis},
author={Claudio Sacerdoti Coen and Enrico Zoli},
journal={PATE’07},
pages={3},
year={2007},
publisher={Citeseer}
}
@article{feferman1995definedness,
title={Definedness},
author={Solomon Feferman},
journal={Erkenntnis},
volume={43},
number={3},
pages={295--320},
year={1995},
publisher={Springer}
}
@techreport{OntoIOp-RFP,
institution = {Object Management Group},
title = {Ontology, Model and Specification Integration and Interoperability (OntoIOp)},