Added contents/{real,complex}_analysis{,_exo}.tex

Dockerfile

@@ -1,14 +1,14 @@
-FROM alpine:3.21.3
+FROM alpine:3.22.0
 
 RUN apk add --no-cache \
-	make=4.4.1-r2 \
-	graphviz=12.2.0-r0 \
-	texlive-xetex=20240210.69778-r8 \
-	texmf-dist-langfrench=2024.0-r6 \
-	texmf-dist-latexextra=2024.0-r6 \
-	texmf-dist-bibtexextra=2024.0-r6 \
-	texmf-dist-mathscience=2024.0-r6 \
-	texmf-dist-publishers=2024.0-r6 \
+	make=4.4.1-r3 \
+	graphviz=12.2.1-r0 \
+	texlive-xetex=20240210.69778-r10 \
+	texmf-dist-langfrench=2024.0-r7 \
+	texmf-dist-latexextra=2024.0-r7 \
+	texmf-dist-bibtexextra=2024.0-r7 \
+	texmf-dist-mathscience=2024.0-r7 \
+	texmf-dist-publishers=2024.0-r7 \
 	font-freefont=20120503-r4 \
 	&& rm -rf /var/cache/apk/*
 

contents/algebra_dm1.tex

@@ -1,17 +1,3 @@
-\pagebreak
-\columnratio{0.5}
-
-\begin{paracol}{2}
-Pierre Saunders
-
-\switchcolumn
-\begin{flushright}
-L3 Math 2024-25
-
-Université Côte d'Azûr
-\end{flushright}
-\end{paracol}
-
 \begin{center}
 \section*{Devoir Maison 1 : Algèbre multilinéaire}
 \end{center}

contents/algebra_dm2.tex

@@ -1,17 +1,3 @@
-\pagebreak
-\columnratio{0.5}
-
-\begin{paracol}{2}
-Pierre Saunders
-
-\switchcolumn
-\begin{flushright}
-L3 Math 2024-25
-
-Université Côte d'Azûr
-\end{flushright}
-\end{paracol}
-
 \begin{center}
 \section*{Devoir Maison 2 : Algèbre multilinéaire}
 \subsection*{Thème : Dualité linéaire, Bases duales et antéduales}
@@ -19,7 +5,7 @@ Université Côte d'Azûr
 
 \bigskip
 
-\subsubsection*{Exercice 1.} Soit $E = \R_n[X]$ et soit $\Delta \in \L(E)$ l'endomorphisme défini par $\forall P \in E$,
+\subsubsection*{Exercice 1.} Soit $E = \R_n[X]$ et soit $\Delta \in \mathcal{L}(E)$ l'endomorphisme défini par $\forall P \in E$,
 
 $$\Delta(P)(X) = P(X) - P(X - 1)$$
 

contents/complex_analysis.tex

@@ -1,6 +1,6 @@
 \langchapter{Analyse Complexe}{Complex Analysis}
 
-L'analyse complexe vise à utiliser les outils d'analyse réels dans le corps des complexes comme les suites, dérivés, intégrales etc.
+L'analyse complexe vise à utiliser les outils d'analyse réels dans le corps des complexes comme les suites, dérivés, intégrales, etc.
 
 \langsection{Définition du corps des complexes}{Definition of the complex field}
 
@@ -65,10 +65,10 @@ Selon le contexte, on peut écrire les nombres complexes sous leur forme canoniq
 Ces parties peuvent également être extraites avec les fonctions suivantes :
 
 \begin{paracol}{2}
-$$\function{\Re}{\C}{\C}$$
+$$\function{\Re}{\C}{\R}$$
 $$\functiondef{(a, b)}{a}$$
 \switchcolumn
-$$\function{\Im}{\C}{\C}$$
+$$\function{\Im}{\C}{\R}$$
 $$\functiondef{(a, b)}{b}$$
 \end{paracol}
 
@@ -117,6 +117,5 @@ $$\functiondef{(a + ib, c + id)}{(ac - bd) + i(ad + bc)}$$
 
 Avant de définir les fonctions holomorphes, il est nécessaire de faire un pas de côté en étudiant les formes $\C$-linéaires \ref{definition:linear_map}.
 \begin{theorem_sq}
-	Les formes $\C$-linéaires sont de la forme
-	$\begin{bmatrix} a & -b \\ b & a \end{bmatrix}$
+	Les formes $\C$-linéaires sont de la forme $\begin{bmatrix} a & -b \\ b & a \end{bmatrix}$
 \end{theorem_sq}

contents/complex_analysis_exo.tex

@@ -0,0 +1,39 @@
+\langsection{Exercices}{Exercises}
+
+\begin{exercise_sq}[Feuille soutien 28/04/2021 : Exercice 1]
+	On considère la série entière
+	$$f(z) = z - \frac{z^3}{3 \cdot 2^3} + \frac{z^5}{5 \cdot 2^5} - \frac{z^7}{7 \cdot 2^7} + \cdots$$
+	Quel est son rayon de convergence ? Montrer que $f'(z) = \frac{2}{z^2 + 4} + \frac{1}{2}$. % FIXME Wrong expected solution ?
+\end{exercise_sq}
+
+\begin{proof}
+	Réécrivons la série entière $f(z)$ sous la forme
+	$$f(z) = z + \sum\limits_{n = 1}^\infty (-1)^n \frac{z^{2n + 1}}{(2n + 1)2^{2n + 1}}$$
+	Par la règle d'Alembert, le rayon de convergence, s'il existe, est égal à :
+	$$R = \lim_{n \to \infty} \abs{\frac{a_n}{a_{n + 1}}}
+	= \lim_{n \to \infty} \abs{\frac{\frac{(-1)^{2n + 1}}{(2n + 1)2^{2n + 1}}}{\frac{(-1)^{2n + 2}}{(2n + 2)2^{2n + 2}}}}
+	= \lim_{n \to \infty} \abs{\frac{2n + 1}{4n + 4}}
+	= \lim_{n \to \infty} \abs{\frac{2 + \frac{1}{n}}{4 + \frac{4}{n}}}
+	= \frac{1}{2}$$
+
+	La série entière $f(z)$ étant convergente si $\abs{z} < \frac{1}{2}$ et étant donné que la dérivée d'une somme est la somme des dérivés, on peut donc en conclure l'égalité suivante :
+	$$f'(z) = 1 + \sum\limits_{n = 1}^\infty (-1)^n \frac{(2n + 1)z^{2n}}{(2n + 1)2^{2n + 1}}
+	= 1 + \frac{1}{2} \sum\limits_{n = 1}^\infty (-1)^n \frac{z^{2n}}{2^{2n}}
+	= 1 + \frac{1}{2} \sum\limits_{n = 1}^\infty \left( \frac{-z^{2}}{4} \right)^n$$
+
+	On reconnait une série géométrique convergente si $\abs{\frac{-z^{2}}{4}} < 1 \equivalence \abs{z^{2}} < 4 \equivalence \abs{z} < 2$, la série est donc convergente ce qui permet de conclure.
+
+	$$f'(z) = 1 + \frac{1}{2} \sum\limits_{n = 1}^\infty \left( \frac{-z^{2}}{4} \right)^n
+	= 1 + \frac{1}{2} \cdot \frac{1}{1 - \frac{-z^2}{4}}
+	= \frac{2}{z^2 + 4} + 1$$
+\end{proof}
+
+\begin{exercise_sq}[Feuille soutien 28/04/2021 : Exercice 4]
+	Calcule l'intégrale :
+	$$\int\limits_0^{2\pi}\frac{dt}{2 + \sin(t)}$$
+\end{exercise_sq}
+
+\begin{proof}
+	Sachant que $\forall x \in \R, \sin(x) = \frac{e^{ix} - e^{-ix}}{2i}$, faisons la substitution $z = e^{ix}$
+	% TODO Complete proof
+\end{proof}

contents/definitions.tex

@@ -22,4 +22,4 @@ In biblical study, Apocrypha refers to books outside an accepted canon of script
 
 \langsubsubsection{Thésaurus}{Thesaurus}
 
-\lang{Un thésaurus ou dictionnaire analogique est un ouvrage de référence dans lequel les mots sont organisés par champ lexical, où l’on peut trouver des synonymes et antonymes de mots. Il est destiné notamment aux personnes qui écrivent, pour aider à trouver le meilleur mot pour exprimer une idée.}{A thesaurus, sometimes called a synonym dictionary or dictionary of synonyms, is a reference work which arranges words by their meanings (or in simpler terms, a book where one can find different words with similar meanings to other words), sometimes as a hierarchy of broader and narrower terms, sometimes simply as lists of synonyms and antonyms. They are often used by writers to help find the best word to express an idea.}
+\lang{Un thésaurus ou dictionnaire analogique est un ouvrage de référence dans lequel les mots sont organisés par champ lexical, où l'on peut trouver des synonymes et antonymes de mots. Il est destiné notamment aux personnes qui écrivent, pour aider à trouver le meilleur mot pour exprimer une idée.}{A thesaurus, sometimes called a synonym dictionary or dictionary of synonyms, is a reference work which arranges words by their meanings (or in simpler terms, a book where one can find different words with similar meanings to other words), sometimes as a hierarchy of broader and narrower terms, sometimes simply as lists of synonyms and antonyms. They are often used by writers to help find the best word to express an idea.}

contents/dynamic_systems.tex

@@ -1,75 +1,3 @@
-\pagebreak
-
-%\documentclass{article}
-
-%\usepackage{paracol}
-\columnratio{0.5}
-
-% Défini la longueur des marges du document (défault à 4.8cm)
-%\usepackage[margin=2.5cm]{geometry}
-
-%\usepackage{xcolor}
-% mode sombre
-%\definecolor{colour_bg} {HTML} {222324}
-%\definecolor{colour_fg} {HTML} {FFFFFF}
-% mode par défaut
-% \definecolor{colour_bg} {RGB} {255, 255, 255}
-% \definecolor{colour_fg} {RGB} {0,   0,   0}
-% \pagecolor{colour_bg}
-% \color{colour_fg}
-% \usepackage{mdframed}
-% \mdfsetup{linecolor = colour_fg, innerlinecolor = colour_fg, middlelinecolor = colour_fg, outerlinecolor = colour_fg, %
-% 	backgroundcolor = colour_bg, fontcolor = colour_fg}
-
-% Include missing symbols s.a "Natural Numbers"
-% \usepackage{amsfonts}
-%\usepackage{amssymb}  % for '\blacksquare' macro
-% \usepackage{amsthm}   % for 'proof' environment
-% \usepackage{mathtools}
-
-% \newcommand{\function}[3]{#1 \colon #2 \longrightarrow #3}
-% \newcommand{\functiondef}[2]{\hspace{15pt}#1 \longmapsto #2}
-% \DeclareMathOperator{\composes}{\circ}		% New symbol composing morphisms
-% \newcommand{\suchthat}{\mid}
-% \newcommand{\discreteInterval}[1]{[\![#1]\!]}
-% \newcommand{\N}{\mathbb{N}}			% Natural numbers symbol
-% \newcommand{\R}{\mathbb{R}}			% Real numbers symbol
-% \DeclarePairedDelimiter{\abs}{|}{|}
-% \DeclarePairedDelimiter{\norm}{\lVert}{\rVert}
-% \DeclareMathOperator{\intersection}{\cap}
-
-% \newtheorem{definition}{Définition}
-% \newenvironment{definition_sq}[1][]{\begin{mdframed}\begin{definition}[#1]}{\end{definition}\end{mdframed}}
-% \newtheorem{theorem}{Théorème}
-% \newenvironment{theorem_sq}[1][]{\begin{mdframed}\begin{theorem}[#1]}{\end{theorem}\end{mdframed}}
-
-% Manière classique de créer le titre avec la commande maketitle
-% \title{Introduction aux systèmes dynamiques}
-% \author{Pierre Saunders, William De Canteloube}
-% \date{L3 Maths 2024-2025, Université Côte d'Azûr}
-
-%\begin{document}
-
-%\maketitle
-
-\begin{paracol}{2}
-Pierre Saunders
-
-William De Canteloube
-\switchcolumn
-\begin{flushright}
-L3 Math 2024-25
-
-Université Côte d'Azûr
-\end{flushright}
-\end{paracol}
-
-\begin{center}
-\section*{Introduction aux systèmes dynamiques}
-\end{center}
-
-\bigskip
-
 \subsection*{Un premier exemple d'étude de système dynamique}
 
 % Emmanuel Militon

contents/latex.tex

@@ -73,13 +73,13 @@
 	\end{enumerate}
 \end{verbatim}
 
-\begin{mdframed}
+\begin{framed}
 	\begin{enumerate}
 	    \item{Item 1}
 	    \item{Item 2}
 	    \item{Item 3}
 	\end{enumerate}
-\end{mdframed}
+\end{framed}
 
 \begin{verbatim}
 	\begin{itemize}
@@ -89,13 +89,13 @@
 	\end{itemize}
 \end{verbatim}
 
-\begin{mdframed}
+\begin{framed}
 \begin{itemize}
 	\item{Item 1}
 	\item{Item 2}
 	\item{Item 3}
 \end{itemize}
-\end{mdframed}
+\end{framed}
 
 \langsection{Tableau}{Table}
 
@@ -111,7 +111,7 @@
 	\end{tabular}
 \end{verbatim}
 
-\begin{mdframed}
+\begin{framed}
 	\begin{tabular}{|c|c|c|}
 	    \hline
 	    $C_{1, 1}$ & $C_{2, 1}$ & $C_{3, 1}$ \\
@@ -121,7 +121,7 @@
 	    $C_{1, 3}$ & $C_{2, 3}$ & $C_{3, 3}$ \\
 	    \hline
 	\end{tabular}
-\end{mdframed}
+\end{framed}
 
 \langsection{Paquets additionnels}{Additional packages}
 %TODO Complete section

contents/logic.tex

@@ -120,22 +120,6 @@ $p \lor q \equivalence \lnot p \land \lnot q$
 
 \lang{Contraposée}{Contraposition} : $\lnot q \implies \lnot p$
 
-\langsubsubsection{Table de vérité}{Truth table}
-
-\begin{tabular}{|c|c||c|}
-	\hline
-	$p$ & $q$ & $p \implies q$ \\
-	\hline
-	\false & \false & \true \\
-	\hline
-	\true & \false & \false \\
-	\hline
-	\false & \true & \true \\
-	\hline
-	\true & \true & \true \\
-	\hline
-\end{tabular}
-
 \langsubsection{Équivalence $(\equivalence)$}{Equivalence $(\equivalence)$}
 % TODO Complete subsection
 

contents/number_theory.tex

@@ -299,7 +299,7 @@ Lors d'une longue division, on effectue l'opération $r = p \mod{q}$, par défin
 \langsection{Construction des réels $(\R)$}{Construction of reals numbers}
 %TODO Complete section
 
-\langsubsection{Construction de Cayley–Dickson}{Cayley–Dickson's construction}
+\langsubsection{Construction de Cayley-Dickson}{Cayley-Dickson's construction}
 
 Source : \citeannexes{wikipedia_cayley_dickson}
 

contents/philosophy.tex

@@ -32,18 +32,26 @@ Stuffs
 %TODO Complete subsection
 
 \subsection{Thucydides}
+\subsubsection{Higher education and the military}
 \begin{quote}
 The Nation that makes a great distinction between its scholars and its warriors will have its thinking done by cowards and its fighting done by fools.
 \end{quote}
-(Higher education and the military)
 
 \subsection{Albert Camus}
+\subsubsection{Le Mythe de Sisyphe: Chapitre 1}
 \begin{quote}
 ... ce, qu'on appelle une raison de vivre est en même temps une excellente raison de mourir.
 \end{quote}
-Le Mythe de Sysyphe: Chapitre 1
 
 \subsection{Père de Raz}
 \begin{quote}
 Corps qui ni pète, ni rote est voué à l'éclatement.
 \end{quote}
+
+\subsection{Edmond Rostand}
+\subsubsection{Cyrano de Bergerac}
+\begin{quote}
+- Que dites-vous ? ... C'est inutile ? ... Je le sais !
+Mais on ne se bat pas dans l'espoir du succès !
+Non ! non, c'est bien plus beau lorsque c'est inutile !
+\end{quote}

contents/real_analysis.tex

@@ -0,0 +1,156 @@
+\langchapter{Analyse Réel}{Real Analysis}
+
+\begin{definition_sq}[Continuité en un point]
+	Une fonction $\function{f}{I \subseteq \R}{\R}$ est dit \textbf{continue} en un point $a \in I$ si, et seulement si
+	$$\forall \epsilon > 0, \exists \delta > 0, \forall x \in I, \abs{x - a} < \delta \implies \abs{f(x) - f(a)} < \epsilon$$
+\end{definition_sq}
+
+\subsection*{Exemples}
+
+Continu partout : $\Identity$, les polynômes, les fonctions trigonométriques
+
+\subsection*{Contre-exemples}
+
+Continu nulle part :
+$$\function{1_\Q}{\R}{\{0, 1\} \subset \R} \functiondef{x}{\begin{cases} 1 & x \in \Q \\ 0 & x \notin \Q \end{cases}}$$
+
+Continu en $0$ :
+$$\function{\Identity_\Q}{\R}{\{0, 1\} \subset \R} \functiondef{x}{\begin{cases} x & x \in \Q \\ 0 & x \notin \Q \end{cases}}$$
+
+\begin{definition_sq}[Continuité sur un intervalle]
+	Une fonction $f$ est continue sur un intervalle $I \subseteq \R$ si et seulement si elle est continue sur tout $x \in I$, c'est-a-dire :
+
+	$$\forall x \in I, \forall \epsilon > 0, \exists \delta > 0, \forall y \in I, \abs{x - y} < \delta \implies \abs{f(x) - f(y)} < \epsilon$$
+\end{definition_sq}
+
+\begin{prop_sq}
+	Soit une fonction $\function{f}{D \subseteq \R}{\R} \in C^0$
+	$$\forall c \in \R, \quad cf \in C^0$$
+\end{prop_sq}
+
+\begin{proof}
+	Soit une fonction $\function{f}{D \subseteq \R}{\R} \in C^0$, $c \in \R$, $x \in D$ et $\epsilon > 0$.
+	Si $c = 0$, alors posons $\delta > 0$ quelconque, soit $y \in D$ et supposons $\abs{x - y} < \delta$
+	$$\abs{cf(x) - cf(y)} = \abs{0 - 0} = 0 < \epsilon$$
+
+	Si $c \ne 0$, alors posons $\epsilon_f := \frac{\epsilon}{\abs{c}}$
+	$$\frac{\epsilon}{\abs{c}} > 0
+		\equivalence \frac{1}{\abs{c}} > 0
+		\equivalence \abs{c} > 0$$
+
+	Comme $f \in C^0$ cela nous permet de récupérer $\delta$. Soit $y \in D$ et supposons $\abs{x - y} < \delta$
+	$$\abs{cf(x) - cf(y)} = \abs{c} \abs{f(x) - f(y)} < \abs{c} \cdot \frac{\epsilon}{\abs{c}} = \epsilon$$
+\end{proof}
+
+\begin{prop_sq}
+	Soit deux fonctions $\function{f,g}{D \subseteq \R}{\R}$ continue. Alors $f + g$ est continue.
+\end{prop_sq}
+
+\begin{proof}
+	Soit deux fonctions $\function{f,g}{D \subseteq \R}{\R}$ continue ainsi que $x \in D$, $\epsilon > 0$.
+	Choisissons $\frac{\epsilon}{2}$ pour obtenir $\delta_f$ et $\delta_g$.
+	Posons $\delta = \min(\delta_f, \delta_g)$ ainsi que $y \in D$ et supposons $\abs{x - y} < \delta$, par trichotomie,
+	\begin{itemize}
+		\item{si $\delta_f < \delta_g \implies \min(\delta_f, \delta_g) = \delta_f \implies \abs{x - y} < \delta_f < \delta_g$}
+		\item{si $\delta_f = \delta_g \implies \min(\delta_f, \delta_g) = \delta_f \implies \abs{x - y} < \delta_f = \delta_g$}
+		\item{si $\delta_f > \delta_g \implies \min(\delta_f, \delta_g) = \delta_g \implies \abs{x - y} < \delta_g < \delta_f$}
+	\end{itemize}
+	Cela permet de conclure :
+	\columnratio{0.5}
+	\begin{paracol}{2}
+		$$\abs{x - y} < \delta_f \implies \abs{f(x) - f(y)} < \frac{\epsilon}{2}$$
+		\switchcolumn
+		$$\abs{x - y} < \delta_g \implies \abs{g(x) - g(y)} < \frac{\epsilon}{2}$$
+	\end{paracol}
+	$$\implies \abs{\bigl( f(x) + g(x) \bigr) - \bigl( f(y) + g(y) \bigr)}
+		\le \abs{f(x) - f(y)} + \abs{g(x) - g(y)}
+		< \frac{\epsilon}{2} + \frac{\epsilon}{2}
+		= \epsilon$$
+\end{proof}
+
+\begin{prop_sq}
+	La fonction $x^n$ est continue sur $\R$ pour tout $n \in \N$
+\end{prop_sq}
+
+\begin{proof}
+	Soit $x \in \R$, $n \in \N$ et $\epsilon > 0$. Si $n = 0$ alors posons $\delta > 0$ quelconque, posons $y \in \R$ et supposons $\abs{x - y} < \delta$
+	$$\abs{x^0 - y^0} = \abs{1 - 1} = 0 < \epsilon$$
+
+	Dans le cas ou $n \ne 0$, posons $M := n(\abs{y} + 1)^{n - 1}$ ainsi que $\delta := \min(1, \frac{\epsilon}{M})$
+	\begin{itemize}
+		\item{Si $\delta = 1$ alors $\delta = 1 > 0$}
+		\item{Si $\delta = \frac{\epsilon}{M}$ alors
+		      $$\frac{\epsilon}{n(\abs{y} + 1)^{n - 1}} > 0
+			      \equivalence n(\abs{y} + 1)^{n - 1} > 0
+			      \equivalence (\abs{y} + 1)^{n - 1} > 0
+			      \equivalence \abs{y} + 1 > 0
+			      \equivalence \abs{y} > 0$$
+		      }
+	\end{itemize}
+
+	Supposons $\abs{x - y} < \delta$
+	$$ \abs{x^n - y^n}
+		= \abs{(x - y)\sum\limits_{k = 0}^{n - 1} x^{n - k - 1} y^k}
+		= \abs{x - y} \abs{\sum\limits_{k = 0}^{n - 1} x^{n - k - 1} y^k}
+		\le \abs{x - y} \sum\limits_{k = 0}^{n - 1} \abs{x^{n - k - 1}} \abs{y^k}$$
+
+	Par étude de cas,
+	\begin{itemize}
+		\item{Si $\delta = 1$ alors $$\abs{x} - \abs{y} \le \abs{x - y} < 1 \implies \abs{x} < \abs{y} + 1$$}
+		\item{Si $\delta = \frac{\epsilon}{M}$ alors
+		      $$\delta = \frac{\epsilon}{M} \le 1 \implies \abs{x} - \abs{y} \le \abs{x - y} < \frac{\epsilon}{M} \le 1 \implies \abs{x} < \abs{y} + 1$$
+		      }
+	\end{itemize}
+
+	Donc dans tous les cas, $\abs{x} < \abs{y} + 1$
+	$$\abs{x - y} \sum\limits_{k = 0}^{n - 1} \abs{x^{n - k - 1}} \abs{y^k}
+		< \abs{x - y} \sum\limits_{k = 0}^{n - 1} (\abs{y} + 1)^{n - k - 1} \abs{y^k}
+		= \abs{x - y} n(\abs{y} + 1)^{n - 1} < \frac{\epsilon}{M} \cdot M = \epsilon$$
+\end{proof}
+
+\subsection*{Exemples}
+
+Continu par morceaux
+
+$$\function{1_\Q}{\R}{\{0, 1\} \subset \R} \functiondef{x}{\begin{cases} 1 & x \in \Q \\ 0 & x \notin \Q \end{cases}}$$
+
+\begin{definition_sq}[Continuité uniforme]
+	Soit $I \subset \R$ un intervalle, et $\function{f}{I \subset \R}{\R}$. On dit que $f$ est \textbf{uniformément continue} sur $I$ si
+	$$\forall \epsilon > 0, \exists \delta > 0, \forall (x, y) \in I^2, \abs{x - y} < \delta \implies \abs{f(x) - f(y)} < \epsilon$$
+\end{definition_sq}
+
+\subsection*{Exemples}
+
+Fonction constantes
+
+Fonction linéaire
+
+Fonction absolue
+
+$x^2$ sur $[-1, 3]$ avec $\delta = \epsilon/6$
+
+\subsection*{Contre-exemples}
+
+$$\exists \epsilon > 0, \forall \delta > 0, \exists (x, y) \in I^2, \left( \abs{x - y} < \delta \right) \land \left( \abs{f(x) - f(y)} \ge \epsilon \right)$$
+
+$f(x) = 1/x$ continue simple sur $]0, 1]$ mais pas uniformément avec
+
+$\epsilon := 1, 0 < a < min(\delta, \epsilon, 1/\epsilon)$ et $x := \sqrt{a/\epsilon}$, $y := x - a \implies a < \delta \land \abs{f(x) - f(y)} \ge \epsilon$
+
+\begin{theorem_sq}[Théorème de Heine dans un espace métrique] \label{theorem:heine_metric_function}
+	Soient $(X, d)$ un espace métrique compact et $(Y, d')$ un espace métrique quelconque. Toute application continue de $X$ dans $Y$ est uniformément continue.
+\end{theorem_sq}
+
+\begin{proof}
+	\lipsum[2]
+	% TODO Complete proof
+\end{proof}
+
+\begin{corollary_sq}[Théorème de Heine dans $\R$]
+	Toute application continue d'un segment $[a, b]$ dans $\R$ est uniformément continue.
+\end{corollary_sq}
+
+\begin{proof}
+	Une fonction continue $\function{f}{[a, b]}{\R}$ est une fonction d'un fermé borné qui est également un sous-ensemble de $\R$, de cela,
+	il suffit de prendre une métrique quelconque de $\R$ comme $\abs{.}$ pour conclure que $f$ est une fonction continue d'un espace métrique compact dans un espace métrique et donc que $f$ est uniformément continue par \ref{theorem:heine_metric_function}.
+\end{proof}

contents/ring_theory.tex

@@ -1,7 +1,7 @@
 \langsubsection{Anneau}{Ring}
 
 \begin{definition_sq} \label{definition:ring}
-	Un anneau $(R, +, \star)$ est un triplet, un ensemble $R$, une opération $(+)$ qui est un groupe abélien \ref{definition:abelian_group}, une opération $(\star)$ qui est un monoïde \ref{definition:monoid} et l'opération $(\star)$ est distributive sur l'opération $(+)$, c'est-à-dire
+	Un anneau $(R, +, \star)$ est un triplet, un ensemble $R$, une opération $(+)$ qui est un groupe \ref{definition:group}, une opération $(\star)$ qui est un monoïde \ref{definition:monoid} et l'opération $(\star)$ est distributive sur l'opération $(+)$, c'est-à-dire
 
 	$\forall (a, b, c) \in R^3$
 	\begin{itemize}

contents/suites.tex

@@ -260,7 +260,7 @@ $\implies \sum\limits_{n = 0}^{+\infty} a_n b_n$ est convergente.
 \langsubsection{Séries alternées}{Alternating Series}
 
 \begin{definition_sq}
-	Une série de terme général \suite{u} $\in \R$ est \textbf{alternée} si, pour chaque entier naturel $n$, $u_{n + 1}$ est de signe opposé à $u_n$.
+	Une série de termes général \suite{u} $\in \R$ est \textbf{alternée} si, pour chaque entier naturel $n$, $u_{n + 1}$ est de signe opposé à $u_n$.
 \end{definition_sq}
 
 Source : \citeannexes{maths_adultes_series_numerique_1}
@@ -275,7 +275,7 @@ $\implies \forall n \in \N, S_{2n + 1} \le S \le S_{2n}, \abs{R_n} \le a_{n + 1}
 
 \end{theorem_sq}
 
-Par exemple : la série $\alpha \in \R, \sum \frac{(-1)^n}{n^\alpha}$ est converge $\equivalence$ si $\alpha > 0$
+Par exemple : la série $\alpha \in \R, \sum \frac{(-1)^n}{n^\alpha}$ est convergente $\equivalence$ si $\alpha > 0$
 
 \section{Zeta}
 
@@ -326,7 +326,7 @@ La somme converge $\sum\limits_{n=1}^{\infty} n^a$ quand $a < -1$ (critère de R
 
 $x \in \R \backslash \pi \backslash \Z, \sum\limits_{k=1}^N e^{2ikx} = \frac{e^{2i(N+1)x} - 1}{e^{2ix} - 1} - 1$
 
-Soit $a < b \in \R$ et soit $\function{f}{]a, b]}{\R}$ une fonction continue. L'integrale $\int\limits_a^b f(t)dt$ converge des que
+Soit $a < b \in \R$ et $\function{f}{]a, b]}{\R}$ une fonction continue. L'intégrale $\int\limits_a^b f(t)dt$ converge dès que
 
 \begin{itemize}
 	\item{$f$ se prolonge en une fonction continue en $a$}
@@ -351,7 +351,7 @@ $\sum\limits_{n = 1}^{+\infty} \frac{\sin(nx)}{n^2}$ converge simplement, unifor
 Pour montrer qu'une série de fonctions $\sum\limits_{n = 1}^{+\infty} f_n(x)$ est dérivable sur un intervalle $I$, on doit impérativement montrer que
 
 \begin{itemize}
-	\item{chacune des fonctions $f_n$ est dériable sur $I$}
-	\item{la série de fonctions $\sum\limits_{n \ge 1} f_n$ converge uniformément sur tout compact de $I$}
+	\item{chacune des fonctions $f_n$ est dérivable sur $I$}
+	\item{la série de fonctions $\sum\limits_{n \ge 1} f_n$ converge uniformément sur tous compact de $I$}
 	\item{la série $\sum\limits_{n \ge 1} f_n(x)$ converge pour au moins un $x \in I$}
 \end{itemize}

contents/topology_dm1.tex

@@ -1,40 +1,22 @@
-\pagebreak
-\columnratio{0.5}
-
-\begin{paracol}{2}
-Pierre Saunders
-
-\switchcolumn
-\begin{flushright}
-L3 Math 2022-23
-
-Université Côte d'Azûr
-\end{flushright}
-\end{paracol}
-
 \begin{center}
 \section*{Devoir Maison 1 : Topologie des espaces vectoriels normés}
 \end{center}
 
 \bigskip
 
-
 \subsubsection*{Exercice 1}
-Soit $(E, \norm{.})$ un espace vectoriel normé et \suite{x} une suite d’éléments de $E$ qui converge vers $l \in E$.
+Soit $(E, \norm{.})$ un espace vectoriel normé et \suite{x} une suite d'éléments de $E$ qui converge vers $l \in E$.
 
 \subsubsubsection*{1.a}
 Montrer que toute sous-suite de $(x_n)_{n \in \N}$ converge vers $l$.
-\\
 
 Soit $\epsilon > 0$, comme $\lim\limits_{n \to +\infty} x_n = l$
 
 $\implies \exists n_0 \in \N$ tel que $\forall x \ge n_0$, $x_n \in \mathbb{B}(l, \epsilon)$
-\\
 
 Soit la fonction extractrice $\phi$ tel que
 
 $\phi : \N \rightarrow \N$, $\forall n \in \N$, $\phi(n) > n$
-\\
 
 Et soit la sous-suite \suite{u} tel que $x_n = u_{\phi(n)}$
 
@@ -46,15 +28,14 @@ $\implies \forall n \ge n_0$, $u_{\phi(n)} \in \mathbb{B}(l, \epsilon)$
 
 $\implies (u_n)$, sous-suite de $(x_n)$, $\lim\limits_{n \to +\infty} x_n = l$.
 
-Par unicité de la limite nous pouvons conclure.
+Par unicité de la limite, nous pouvons conclure.
 
 \begin{theorem_sq} \label{topology_dm1:theorem_1}
-Toute sous-suites (ou suites extraite) d'un suite convergente vers $l \in E$ converge vers $l$.
+Toutes sous-suites (ou suites extraites) d'une suite convergente vers $l \in E$ convergent vers $l$.
 \end{theorem_sq}
 
 \subsubsubsection*{1.b}
-Montrer que l’ensemble $\{x_n, n \in \N\}$ est borné.
-\\
+Montrer que l'ensemble $\{x_n, n \in \N\}$ est borné.
 
 Sachant que $(x_n) \in E$ converge vers $l \in E \land \epsilon > 0$.
 
@@ -63,16 +44,16 @@ $\equivalence \exists y \in E$ tel que $\{\forall n \in \N, x_n, l\} \subset \cl
 $\equivalence (x_n)$ est fermée.
 
 \begin{theorem_sq} \label{topology_dm1:theorem_2}
-Toute suites \suite{x} d'élements de $(E, \norm{.})$ qui converge en $l \in E$ est fermée.
+Toutes suites \suite{x} d'éléments de $(E, \norm{.})$ qui converge en $l \in E$ est fermée.
 \end{theorem_sq}
 
 \subsubsection*{Exercice 2}
 Soit $(E, \norm{.})$ un espace vectoriel normé et $K \subset E$ un sous-ensemble.
 
-Montrer que $K$ est compact si et seulement si tout sous-ensemble infini $Z \subset K$ possède un point d’accumulation dans $K$.
+Montrer que $K$ est compact si et seulement si tout sous-ensemble infini $Z \subset K$ possède un point d'accumulation dans $K$.
 
 \begin{definition_sq}[cf Cours 1.4.1]
-Un sous ensemble K d’un espace vectoriel normé $(E, \norm{.})$ est dit compact si toute suite d’éléments de $K$ admet une sous-suite qui converge dans $K$.
+Un sous ensemble K d'un espace vectoriel normé $(E, \norm{.})$ est dit compact si toute suite d'éléments de $K$ admet une sous-suite qui converge dans $K$.
 \end{definition_sq}
 
 \begin{lemme_sq}
@@ -80,7 +61,6 @@ $K$ est compact $\implies K$ possède un point d'accumulation.
 \end{lemme_sq}
 
 $K$ est compact
-\\
 
 Soit $\epsilon > 0 \land X = \{x_n, \forall n \in \N \} \land X \subset K$
 
@@ -100,7 +80,7 @@ Soit $X = \{x_n, \forall n \in \N \} \land X \subset K$
 
 \paragraph*{Si $X$ est fini}
 
-$\implies \exists l \in X$ tel que $ \forall n \in \N, x_n = l$ une infinité de solution ayant la même valeur.
+$\implies \exists l \in X$ tel que $ \forall n \in \N, x_n = l$ une infinité de solutions ayant la même valeur.
 
 $\implies X$ possède un point d'accumulation et $X \subset K$
 
@@ -136,12 +116,11 @@ Si $K \subset R$ un compact non vide, alors $K$ possède un maximum et un minimu
 \end{theorem_sq}
 
 \subsubsection*{Exercice 4}
-Soit $E$ un espace vectoriel normé et $(x_n)_{n \in \N}$ une suite d’éléments de $E$. On dit que $(x_n)_{n \in \N}$ est \textit{une suite de Cauchy} si
+Soit $E$ un espace vectoriel normé et $(x_n)_{n \in \N}$ une suite d'éléments de $E$. On dit que $(x_n)_{n \in \N}$ est \textit{une suite de Cauchy} si
 
 $$\forall \epsilon > 0 , \exists N \in \N , \forall n_1, n_2 \ge N , \norm{x_{n_1} - x_{n_2} } \le \epsilon$$
 
-Montrer qu’une suite est de Cauchy si et seulement si elle est convergente (on dit que $E$ est \textit{complet}).
-\\
+Montrer qu'une suite est de Cauchy si et seulement si elle est convergente (on dit que $E$ est \textit{complet}).
 
 \begin{lemme_sq}
 Si une suite est de Cauchy $\implies$ la suite est convergente.

contents/topology_exo.tex

@@ -20,7 +20,7 @@
 
 	\begin{enumerate}[(a)]
 		\item{$H_a = \{ (x, y) \in \R^2 \suchthat xy = 1, \abs{x + y} \le a \}$ pour $2 \le a \le +\infty$}
-		\item{$S_b = \{ (x, y) \in \R^2 \suchthat −b \abs{x} \le y \le 1 −x^2 \}$ pour $b \in \R_+$}
+		\item{$S_b = \{ (x, y) \in \R^2 \suchthat -b \abs{x} \le y \le 1 -x^2 \}$ pour $b \in \R_+$}
 		\item{$P = \{ (0, 0) \} \union \Union\limits_{n \in \N^*} \{ \frac{1}{n} \} \cartesianProduct [0, \frac{1}{n}]$}
 		\item{$S = \{ (0, 0) \} \union \{ (x, x \sin(\frac{1}{x})) \suchthat 0 < x \le 1 \}$}
 		\item{$D = \{ (x, y) \in \R^2 \suchthat x^2 + y^2 \le 1 \}, D_\Q = D \intersection \Q^2, D_\Z = D \intersection \Z^2$}
@@ -57,7 +57,7 @@
 		\item{Montrer que la somme $K + L = \{ x + y \in \R^n \suchthat x \in K, y \in L \}$ de deux parties compactes $K$, $L$ est compacte.}
 		\item{Montrer que l'intersection de deux parties compactes est compacte. Montrer que la réunion finie de parties compactes est compacte.}
 		\item{Montrer que pour deux compacts $K$, $L$ disjoints la distance $d(K, L) = inf_{(x, y) \in K \cartesianProduct L} d(x, y)$ est strictement positive.
-			En déduire l’existence de deux ouverts $U$, $V$ disjoints tels que $K \subset U$ et $L \subset V$.}
+			En déduire l'existence de deux ouverts $U$, $V$ disjoints tels que $K \subset U$ et $L \subset V$.}
 		\item{Montrer que l'intersection $K = \Intersection_{n \ge 0} K_n$ d'une famille décroissante de parties compactes non vides est compacte non vide.
 				Montrer que si $K \subset U$ pour un ouvert $U$ alors il existe $n \in \N$ tel que $K_n \subset U$.}
 	\end{enumerate}
@@ -70,7 +70,7 @@
 
 \begin{exercise_sq}[TD3 EX5]
 	Montrer que toute suite de points bornée de $\R^n$ possède une sous-suite qui converge (théorème de Bolzano-Weierstrass).
-	En déduire que toute suite \suite{x} n’admettant pas de sous-suite convergente, diverge dans le sens suivant : $\lim_{n \to \infty} \norm{x_n} = \infty$.
+	En déduire que toute suite \suite{x} n'admettant pas de sous-suite convergente, diverge dans le sens suivant : $\lim_{n \to \infty} \norm{x_n} = \infty$.
 \end{exercise_sq}
 
 \begin{proof}
@@ -83,17 +83,17 @@
 
 	\begin{enumerate}
 		\item{De tout recouvrement ouvert de $E$ on peut extraire un recouvrement fini (la propriété de Borel-Lebesgue).}
-		\item{$E$ est compact (i.e. toute suite admet des valeurs d’adhérence).}
+		\item{$E$ est compact (i.e. toute suite admet des valeurs d'adhérence).}
 		\item{$E$ est pré-compact (3a) et complet (3b).}
 		\item{$E$ est pré-compact et pour tout recouvrement ouvert de $E$ il existe $\epsilon > 0$ tel que toute $\epsilon$-boule de $E$ est contenue dans un des ouverts du recouvrement.}
 	\end{enumerate}
 
 	\begin{enumerate}[(a)]
-		\item{Montrer que l'ensemble des valeurs d’adhérence d'une suite \suite{x} s'identifie à $\Intersection\limits_{N \ge 0} \overline{X_N}$, où $X_N = \Union\limits_{n \ge N} \{ x_n \}$.}
-		\item{Montrer que la propriété de Borel-Lebesgue implique que pour toute suite décroissante de fermés dont l’intersection est vide les termes de la suite
-			sont vides à partir d’un certain rang. En déduire que l’intersection de (a) est non-vide, donc (1) $\implies$ (2).
+		\item{Montrer que l'ensemble des valeurs d'adhérence d'une suite \suite{x} s'identifie à $\Intersection\limits_{N \ge 0} \overline{X_N}$, où $X_N = \Union\limits_{n \ge N} \{ x_n \}$.}
+		\item{Montrer que la propriété de Borel-Lebesgue implique que pour toute suite décroissante de fermés dont l'intersection est vide les termes de la suite
+			sont vides à partir d'un certain rang. En déduire que l'intersection de (a) est non-vide, donc (1) $\implies$ (2).
 			On a vu en cours que (2) $\implies$ (3b), On admettra ici que (2) $\implies$ (3a) complétant ainsi (2) $\implies$ (3). En cours, on a vu (3) $\implies$ (2).}
-		\item{Pour (3) $\implies$ (4) on raisonne par l’absurde : on suppose qu'il existe un recouvrement $(U_i)_{i \in I}$  de $E$ mettant en défaut (4), autrement dit : pour $\epsilon_n = \frac{1}{2^n}$
+		\item{Pour (3) $\implies$ (4) on raisonne par l'absurde : on suppose qu'il existe un recouvrement $(U_i)_{i \in I}$  de $E$ mettant en défaut (4), autrement dit : pour $\epsilon_n = \frac{1}{2^n}$
 			il existe une boule $B(x_n, \epsilon_n)$ contenue dans aucun des ouverts du recouvrement.
 			La suite des centres $(x_n)$ admet alors (par (3) $\implies$ (2)) une sous-suite qui converge vers $x \in E$. Montrer qu'un ouvert du recouvrement de $E$ contenant $x$ contient forcément des boules $B(x_n, \epsilon_n)$ en contradiction avec l'hypothèse.}
 		\item{Montrer (4) $\implies$ (1).}

main.tex

@@ -24,10 +24,6 @@
 \usepackage{amsmath}                                                  % Provides command to typeset matrices with different delimiters
 \usepackage{listings}                                                 % Add an environnement to highlight code
 \usepackage{xargs}                                                    % Allow multiple optional parameters parsing
-\usepackage{mdframed}                                                 % Fancy rectangles
-\mdfsetup{linecolor = theme_colour_foreground, innerlinecolor = theme_colour_foreground, %
-	middlelinecolor = theme_colour_foreground, outerlinecolor = theme_colour_foreground, %
-	backgroundcolor = theme_colour_background, fontcolor = theme_colour_foreground}
 \usepackage{packages/macros}                                          % Customs macros
 \usepackage{graphicx}
 \usepackage{makeidx}[intoc]                                           % Make a word index
@@ -78,8 +74,10 @@ Et de manière honteusement démagogique, je vous remercie tous lecteurs de ce c
 \input{contents/algebra_dm1}
 \input{contents/algebra_dm2}
 \input{contents/trigonometry}
+\input{contents/real_analysis}
 \input{contents/differentiability}
 \input{contents/complex_analysis}
+\input{contents/complex_analysis_exo}
 \input{contents/differential_equations}
 \input{contents/measure_theory}
 \input{contents/suites}

packages/macros.sty

@@ -2,9 +2,10 @@
 
 \RequirePackage{amsfonts}                                % Include missing symbols s.a "Natural Numbers"
 
-\usepackage{amssymb}  % for '\blacksquare' macro
-\usepackage{amsthm}   % for 'proof' environment
-\usepackage{mathtools}
+\RequirePackage{amssymb}  % for '\blacksquare' macro
+\RequirePackage{amsthm}   % for 'proof' environment
+\RequirePackage{mathtools}
+\RequirePackage{framed}
 
 % Snippet to add dots to TOC
 % Thanks to "user11232" at https://tex.stackexchange.com/questions/53898/how-to-get-lines-with-dots-in-the-table-of-contents-for-sections
@@ -35,7 +36,7 @@
 \newcommand{\true}{V}				% New symbol for true value
 \DeclareMathOperator{\Rel}{\mathcal{R}}		% New symbol for binary relations
 \DeclareMathOperator{\composes}{\circ}		% New symbol composing morphisms
-\DeclarePairedDelimiter{\abs}{|}{|}
+\newcommand{\abs}[1]{\left|#1\right|}
 \newcommand{\isomorphic}{\simeq}		% Isomorphism
 \DeclarePairedDelimiter{\card}{|}{|}
 \DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}
@@ -47,14 +48,14 @@
 \newtheorem{exercise}{\lang{Exercice}{Exercise}}
 \newcommandx{\suite}[3][1=n,2=n]{$(#3_{#1})_{#2 \in \N}$}
 \newcommand{\innerproduct}[2]{\langle #1, #2 \rangle}
-\newenvironment{definition_sq}[1][]{\begin{mdframed}\begin{definition}[#1]}{\end{definition}\end{mdframed}}
-\newenvironment{theorem_sq}[1][]{\begin{mdframed}\begin{theorem}[#1]}{\end{theorem}\end{mdframed}}
-\newenvironment{lemme_sq}[1][]{\begin{mdframed}\begin{lemme}[#1]}{\end{lemme}\end{mdframed}}
+\newenvironment{definition_sq}[1][]{\begin{framed}\begin{definition}[#1]}{\end{definition}\end{framed}}
+\newenvironment{theorem_sq}[1][]{\begin{framed}\begin{theorem}[#1]}{\end{theorem}\end{framed}}
+\newenvironment{lemme_sq}[1][]{\begin{framed}\begin{lemme}[#1]}{\end{lemme}\end{framed}}
 \newtheorem{prop}{Proposition}
-\newenvironment{prop_sq}[1][]{\begin{mdframed}\begin{prop}[#1]}{\end{prop}\end{mdframed}}
+\newenvironment{prop_sq}[1][]{\begin{framed}\begin{prop}[#1]}{\end{prop}\end{framed}}
 \newtheorem{corollary}{Corollaire}
-\newenvironment{corollary_sq}[1][]{\begin{mdframed}\begin{corollary}[#1]}{\end{corollary}\end{mdframed}}
-\newenvironment{exercise_sq}[1][]{\begin{mdframed}\begin{exercise}[#1]}{\end{exercise}\end{mdframed}}
+\newenvironment{corollary_sq}[1][]{\begin{framed}\begin{corollary}[#1]}{\end{corollary}\end{framed}}
+\newenvironment{exercise_sq}[1][]{\begin{framed}\begin{exercise}[#1]}{\end{exercise}\end{framed}}
 \newcommand{\inv}[1]{#1^{-1}}
 \DeclarePairedDelimiter{\generator}{\langle}{\rangle}
 \DeclareMathOperator{\subgroup}{\leqslant}
@@ -66,6 +67,7 @@
 \newcommand{\powerset}[1]{\mathcal{P}(#1)} % Power set
 \newcommand{\converges}{\rightarrow}
 \DeclareMathOperator{\equivalence}{\Longleftrightarrow}
+\newcommand{\notimplies}{\mathrel{{\ooalign{\hidewidth$\not\phantom{=}$\hidewidth\cr$\implies$}}}}
 \DeclareMathOperator{\Limplies}{\Longleftarrow}
 \newcommand{\impliespart}{\fbox{$\implies$}}
 \newcommand{\Limpliespart}{\fbox{$\Limplies$}}

references/annexes.bib

@@ -40,7 +40,7 @@
 }
 @online{wimmics_website,
   author = {Wimmics},
-  title  = {Wimmics – Bridging social semantics and formal semantics on the web},
+  title  = {Wimmics - Bridging social semantics and formal semantics on the web},
   url    = {https://team.inria.fr/wimmics}
 }
 @online{tyrex_website,
@@ -193,13 +193,13 @@
   url    = {https://www.i3s.unice.fr}
 }
 @online{rdf2rdf_website,
-  title = {RDF2RDF’s official website},
+  title = {RDF2RDF's official website},
   url   = {http://www.l3s.de/~minack/rdf2rdf}
 }
 @online{team_github,
   author = {Damien Graux and Pierre Saunders},
   year   = {2021},
-  title  = {Team’s GitHub},
+  title  = {Team's GitHub},
   url    = {https://github.com/SemanticWebBenchmarker}
 }
 @manual{unix_standard,
@@ -207,20 +207,20 @@
   url   = {https://www.opengroup.org/membership/forums/platform/unix}
 }
 @online{virtuoso_website,
-  title = {Virtuoso’s official website},
+  title = {Virtuoso's official website},
   url   = {https://virtuoso.openlinksw.com}
 }
 @online{dbpedia_website,
-  title = {Dbpedia’s official website},
+  title = {Dbpedia's official website},
   url   = {https://www.dbpedia.org}
 }
 @online{lod-cloud_website,
-  title = {The Linked Open Data Cloud’s official website},
+  title = {The Linked Open Data Cloud's official website},
   url   = {https://www.lod-cloud.net}
 }
 @online{fuseki_website,
   author = {Apache},
-  title  = {Apache Jena Fueski’s official website},
+  title  = {Apache Jena Fueski's official website},
   url    = {https://jena.apache.org/documentation/fuseki2}
 }
 @manual{sparql_standard,
@@ -229,11 +229,11 @@
 }
 @online{tdb2_website,
   author = {Apache},
-  title  = {TDB2’s official website},
+  title  = {TDB2's official website},
   url    = {https://jena.apache.org/documentation/tdb2}
 }
 @online{watdiv_website,
-  title = {WatDiv’s official website},
+  title = {WatDiv's official website},
   url   = {https://dsg.uwaterloo.ca/watdiv}
 }
 @online{sp2bench_website,
@@ -282,7 +282,7 @@
   url   = {https://github.com/SemanticWebBenchmarker/4store}
 }
 @online{wikipedia_cayley_dickson,
-  title = {Cayley–Dickson construction},
+  title = {Cayley-Dickson construction},
   url   = {https://en.wikipedia.org/wiki/Cayley-Dickson\_construction}
 }
 @online{wikipedia_complex_number,

references/references.bib

@@ -7,7 +7,7 @@
   address   = {Red Hook, NY, USA},
   abstract  = {Generative Adversarial Networks (GANs) are powerful generative models, but suffer from training instability. The recently proposed Wasserstein GAN (WGAN) makes progress toward stable training of GANs, but sometimes can still generate only poor samples or fail to converge. We find that these problems are often due to the use of weight clipping in WGAN to enforce a Lipschitz constraint on the critic, which can lead to undesired behavior. We propose an alternative to clipping weights: penalize the norm of gradient of the critic with respect to its input. Our proposed method performs better than standard WGAN and enables stable training of a wide variety of GAN architectures with almost no hyperparameter tuning, including 101-layer ResNets and language models with continuous generators. We also achieve high quality generations on CIFAR-10 and LSUN bedrooms.},
   booktitle = {Proceedings of the 31st International Conference on Neural Information Processing Systems},
-  pages     = {5769–5779},
+  pages     = {5769-5779},
   numpages  = {11},
   location  = {Long Beach, California, USA},
   series    = {NIPS'17},
@@ -33,7 +33,8 @@
   year      = {1983},
   volume    = {269},
   pages     = {543-547},
-  booktitle = {Doklady ANSSSR (translated as Soviet.Math.Docl.)}
+  booktitle = {Doklady ANSSSR (translated as Soviet.Math.Docl.)},
+  journal   = {Dokl Akad Nauk SSSR}
 }
 @article{adagrad_paper,
   author  = {John Duchi and Elad Hazan and Yoram Singer},
@@ -117,7 +118,7 @@ we aim to support the design and implementation of more diverse benchmarks. Appl
 developers can use our result to analyze their data and queries and choose a data
 management system.},
   booktitle = {The World Wide Web Conference},
-  pages     = {1623–1633},
+  pages     = {1623-1633},
   numpages  = {11},
   location  = {San Francisco, CA, USA},
   series    = {WWW '19}
@@ -160,7 +161,7 @@ benchmark queries that include pattern matching and long join paths in the under
 data graphs.},
   journal    = {Proc. VLDB Endow.},
   month      = aug,
-  pages      = {647–659},
+  pages      = {647-659},
   numpages   = {13}
 }
 @article{lubm_article,
@@ -252,7 +253,7 @@ the desired benchmark datasets. To our knowledge, this is the first methodologic
 study of RDF benchmarks, as well as the first attempt on generating RDF benchmarks
 in a principled way.},
   booktitle = {Proceedings of the 2011 ACM SIGMOD International Conference on Management of Data},
-  pages     = {145–156},
+  pages     = {145-156},
   numpages  = {12},
   keywords  = {RDF, benchmark},
   location  = {Athens, Greece},
@@ -298,33 +299,34 @@ in a principled way.},
   bibsource  = {dblp computer science bibliography, https://dblp.org}
 }
 @article{transfer_learning_survey,
-  author    = {Fuzhen Zhuang and
-               Zhiyuan Qi and
-               Keyu Duan and
-               Dongbo Xi and
-               Yongchun Zhu and
-               Hengshu Zhu and
-               Hui Xiong and
-               Qing He},
-  title     = {A Comprehensive Survey on Transfer Learning},
-  journal   = {CoRR},
-  volume    = {abs/1911.02685},
-  year      = {2019},
-  url       = {http://arxiv.org/abs/1911.02685},
+  author     = {Fuzhen Zhuang and
+                Zhiyuan Qi and
+                Keyu Duan and
+                Dongbo Xi and
+                Yongchun Zhu and
+                Hengshu Zhu and
+                Hui Xiong and
+                Qing He},
+  title      = {A Comprehensive Survey on Transfer Learning},
+  journal    = {CoRR},
+  volume     = {abs/1911.02685},
+  year       = {2019},
+  url        = {http://arxiv.org/abs/1911.02685},
   eprinttype = {arXiv},
-  eprint    = {1911.02685},
-  timestamp = {Sat, 29 Aug 2020 18:19:14 +0200},
-  biburl    = {https://dblp.org/rec/journals/corr/abs-1911-02685.bib},
-  bibsource = {dblp computer science bibliography, https://dblp.org}
+  eprint     = {1911.02685},
+  timestamp  = {Sat, 29 Aug 2020 18:19:14 +0200},
+  biburl     = {https://dblp.org/rec/journals/corr/abs-1911-02685.bib},
+  bibsource  = {dblp computer science bibliography, https://dblp.org}
 }
 @article{generative_adversarial_nets,
-  doi = {10.48550/ARXIV.1406.2661},
-  url = {https://arxiv.org/abs/1406.2661},
-  author = {Goodfellow, Ian J. and Pouget-Abadie, Jean and Mirza, Mehdi and Xu, Bing and Warde-Farley, David and Ozair, Sherjil and Courville, Aaron and Bengio, Yoshua},
-  keywords = {Machine Learning (stat.ML), Machine Learning (cs.LG), FOS: Computer and information sciences, FOS: Computer and information sciences},
-  title = {Generative Adversarial Networks},
+  doi       = {10.48550/ARXIV.1406.2661},
+  url       = {https://arxiv.org/abs/1406.2661},
+  author    = {Goodfellow, Ian J. and Pouget-Abadie, Jean and Mirza, Mehdi and Xu, Bing and Warde-Farley, David and Ozair, Sherjil and Courville, Aaron and Bengio, Yoshua},
+  keywords  = {Machine Learning (stat.ML), Machine Learning (cs.LG), FOS: Computer and information sciences, FOS: Computer and information sciences},
+  title     = {Generative Adversarial Networks},
   publisher = {arXiv},
-  year = {2014},
+  journal   = {arXiv},
+  year      = {2014},
   copyright = {arXiv.org perpetual, non-exclusive license}
 }
 @article{vae_paper,
@@ -338,22 +340,22 @@ in a principled way.},
   copyright = {arXiv.org perpetual, non-exclusive license}
 }
 @article{edit_gan_paper,
-  author    = {Huan Ling and
-               Karsten Kreis and
-               Daiqing Li and
-               Seung Wook Kim and
-               Antonio Torralba and
-               Sanja Fidler},
-  title     = {EditGAN: High-Precision Semantic Image Editing},
-  journal   = {CoRR},
-  volume    = {abs/2111.03186},
-  year      = {2021},
-  url       = {https://arxiv.org/abs/2111.03186},
+  author     = {Huan Ling and
+                Karsten Kreis and
+                Daiqing Li and
+                Seung Wook Kim and
+                Antonio Torralba and
+                Sanja Fidler},
+  title      = {EditGAN: High-Precision Semantic Image Editing},
+  journal    = {CoRR},
+  volume     = {abs/2111.03186},
+  year       = {2021},
+  url        = {https://arxiv.org/abs/2111.03186},
   eprinttype = {arXiv},
-  eprint    = {2111.03186},
-  timestamp = {Wed, 10 Nov 2021 16:07:30 +0100},
-  biburl    = {https://dblp.org/rec/journals/corr/abs-2111-03186.bib},
-  bibsource = {dblp computer science bibliography, https://dblp.org}
+  eprint     = {2111.03186},
+  timestamp  = {Wed, 10 Nov 2021 16:07:30 +0100},
+  biburl     = {https://dblp.org/rec/journals/corr/abs-2111-03186.bib},
+  bibsource  = {dblp computer science bibliography, https://dblp.org}
 }
 @misc{dall_e_2_paper,
   doi       = {10.48550/ARXIV.2204.06125},
@@ -399,26 +401,26 @@ in a principled way.},
   address   = {Cambridge, MA, USA},
   abstract  = {The Bayesian analysis of neural networks is difficult because a simple prior over weights implies a complex prior distribution over functions. In this paper we investigate the use of Gaussian process priors over functions, which permit the predictive Bayesian analysis for fixed values of hyperparameters to be carried out exactly using matrix operations. Two methods, using optimization and averaging (via Hybrid Monte Carlo) over hyperparameters have been tested on a number of challenging problems and have produced excellent results.},
   booktitle = {Proceedings of the 8th International Conference on Neural Information Processing Systems},
-  pages     = {514–520},
+  pages     = {514-520},
   numpages  = {7},
   location  = {Denver, Colorado},
   series    = {NIPS'95}
 }
 @article{semi-supervised_learning_with_deep_generative_models,
-  author    = {Diederik P. Kingma and
-               Danilo Jimenez Rezende and
-               Shakir Mohamed and
-               Max Welling},
-  title     = {Semi-Supervised Learning with Deep Generative Models},
-  journal   = {CoRR},
-  volume    = {abs/1406.5298},
-  year      = {2014},
-  url       = {http://arxiv.org/abs/1406.5298},
+  author     = {Diederik P. Kingma and
+                Danilo Jimenez Rezende and
+                Shakir Mohamed and
+                Max Welling},
+  title      = {Semi-Supervised Learning with Deep Generative Models},
+  journal    = {CoRR},
+  volume     = {abs/1406.5298},
+  year       = {2014},
+  url        = {http://arxiv.org/abs/1406.5298},
   eprinttype = {arXiv},
-  eprint    = {1406.5298},
-  timestamp = {Mon, 13 Aug 2018 16:47:38 +0200},
-  biburl    = {https://dblp.org/rec/journals/corr/KingmaRMW14.bib},
-  bibsource = {dblp computer science bibliography, https://dblp.org}
+  eprint     = {1406.5298},
+  timestamp  = {Mon, 13 Aug 2018 16:47:38 +0200},
+  biburl     = {https://dblp.org/rec/journals/corr/KingmaRMW14.bib},
+  bibsource  = {dblp computer science bibliography, https://dblp.org}
 }
 @article{every_model_learned_by_gradient_descent_is_approximately_a_kernel_machine,
   author     = {Pedro Domingos},
@@ -467,5 +469,6 @@ in a principled way.},
   author    = {Edward Jewitt Wheeler},
   page      = {564},
   volumes   = {49},
-  year      = {1910}
+  year      = {1910},
+  publisher = {New York : Current Literature Pub. Co.}
 }