4 files changed, 404 insertions, 0 deletions

diff --git a/src/Homework1/Homework1.aux b/src/Homework1/Homework1.aux
new file mode 100644
index 0000000..cde7be1
--- /dev/null
+++ b/src/Homework1/Homework1.aux
@@ -0,0 +1,4 @@
+\relax 
+\newlabel{prop:fta}{{1}{1}}
+\newlabel{eq:fubini}{{2}{1}}
+\gdef \@abspage@last{2}
diff --git a/src/Homework1/Homework1.log b/src/Homework1/Homework1.log
new file mode 100644
index 0000000..644875f
--- /dev/null
+++ b/src/Homework1/Homework1.log
@@ -0,0 +1,257 @@
+This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2021.2.3)  1 APR 2021 11:38
+entering extended mode
+ \write18 enabled.
+ %&-line parsing enabled.
+**homework1.tex
+(./homework1.tex
+LaTeX2e <2020-10-01> patch level 2
+L3 programming layer <2020-12-03> xparse <2020-03-03>
+(/usr/share/texmf-dist/tex/latex/base/article.cls
+Document Class: article 2020/04/10 v1.4m Standard LaTeX document class
+(/usr/share/texmf-dist/tex/latex/base/size12.clo
+File: size12.clo 2020/04/10 v1.4m Standard LaTeX file (size option)
+)
+\c@part=\count177
+\c@section=\count178
+\c@subsection=\count179
+\c@subsubsection=\count180
+\c@paragraph=\count181
+\c@subparagraph=\count182
+\c@figure=\count183
+\c@table=\count184
+\abovecaptionskip=\skip47
+\belowcaptionskip=\skip48
+\bibindent=\dimen138
+)
+(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
+Package: inputenc 2020/08/01 v1.3d Input encoding file
+\inpenc@prehook=\toks15
+\inpenc@posthook=\toks16
+)
+(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
+Package: amsmath 2020/09/23 v2.17i AMS math features
+\@mathmargin=\skip49
+
+For additional information on amsmath, use the `?' option.
+(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
+Package: amstext 2000/06/29 v2.01 AMS text
+
+(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
+File: amsgen.sty 1999/11/30 v2.0 generic functions
+\@emptytoks=\toks17
+\ex@=\dimen139
+))
+(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
+Package: amsbsy 1999/11/29 v1.2d Bold Symbols
+\pmbraise@=\dimen140
+)
+(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
+Package: amsopn 2016/03/08 v2.02 operator names
+)
+\inf@bad=\count185
+LaTeX Info: Redefining \frac on input line 234.
+\uproot@=\count186
+\leftroot@=\count187
+LaTeX Info: Redefining \overline on input line 399.
+\classnum@=\count188
+\DOTSCASE@=\count189
+LaTeX Info: Redefining \ldots on input line 496.
+LaTeX Info: Redefining \dots on input line 499.
+LaTeX Info: Redefining \cdots on input line 620.
+\Mathstrutbox@=\box47
+\strutbox@=\box48
+\big@size=\dimen141
+LaTeX Font Info:    Redeclaring font encoding OML on input line 743.
+LaTeX Font Info:    Redeclaring font encoding OMS on input line 744.
+\macc@depth=\count190
+\c@MaxMatrixCols=\count191
+\dotsspace@=\muskip16
+\c@parentequation=\count192
+\dspbrk@lvl=\count193
+\tag@help=\toks18
+\row@=\count194
+\column@=\count195
+\maxfields@=\count196
+\andhelp@=\toks19
+\eqnshift@=\dimen142
+\alignsep@=\dimen143
+\tagshift@=\dimen144
+\tagwidth@=\dimen145
+\totwidth@=\dimen146
+\lineht@=\dimen147
+\@envbody=\toks20
+\multlinegap=\skip50
+\multlinetaggap=\skip51
+\mathdisplay@stack=\toks21
+LaTeX Info: Redefining \[ on input line 2923.
+LaTeX Info: Redefining \] on input line 2924.
+)
+(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
+\symAMSa=\mathgroup4
+\symAMSb=\mathgroup5
+LaTeX Font Info:    Redeclaring math symbol \hbar on input line 98.
+LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
+(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
+)
+(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
+Package: amssymb 2013/01/14 v3.01 AMS font symbols
+)
+(/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty
+Package: amsthm 2020/05/29 v2.20.6
+\thm@style=\toks22
+\thm@bodyfont=\toks23
+\thm@headfont=\toks24
+\thm@notefont=\toks25
+\thm@headpunct=\toks26
+\thm@preskip=\skip52
+\thm@postskip=\skip53
+\thm@headsep=\skip54
+\dth@everypar=\toks27
+)
+(/usr/share/texmf-dist/tex/latex/geometry/geometry.sty
+Package: geometry 2020/01/02 v5.9 Page Geometry
+
+(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
+Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
+\KV@toks@=\toks28
+)
+(/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty
+Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead.
+
+(/usr/share/texmf-dist/tex/generic/iftex/iftex.sty
+Package: iftex 2020/03/06 v1.0d TeX engine tests
+))
+\Gm@cnth=\count197
+\Gm@cntv=\count198
+\c@Gm@tempcnt=\count199
+\Gm@bindingoffset=\dimen148
+\Gm@wd@mp=\dimen149
+\Gm@odd@mp=\dimen150
+\Gm@even@mp=\dimen151
+\Gm@layoutwidth=\dimen152
+\Gm@layoutheight=\dimen153
+\Gm@layouthoffset=\dimen154
+\Gm@layoutvoffset=\dimen155
+\Gm@dimlist=\toks29
+)
+\c@thm=\count266
+\c@ex=\count267
+
+(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
+File: l3backend-pdftex.def 2020-09-24 L3 backend support: PDF output (pdfTeX)
+\l__kernel_color_stack_int=\count268
+\l__pdf_internal_box=\box49
+)
+(./homework1.aux)
+\openout1 = `homework1.aux'.
+
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 21.
+LaTeX Font Info:    ... okay on input line 21.
+
+*geometry* driver: auto-detecting
+*geometry* detected driver: pdftex
+*geometry* verbose mode - [ preamble ] result:
+* driver: pdftex
+* paper: a4paper
+* layout: <same size as paper>
+* layoutoffset:(h,v)=(0.0pt,0.0pt)
+* modes: 
+* h-part:(L,W,R)=(56.9055pt, 483.69687pt, 56.9055pt)
+* v-part:(T,H,B)=(56.9055pt, 731.23584pt, 56.9055pt)
+* \paperwidth=597.50787pt
+* \paperheight=845.04684pt
+* \textwidth=483.69687pt
+* \textheight=731.23584pt
+* \oddsidemargin=-15.36449pt
+* \evensidemargin=-15.36449pt
+* \topmargin=-52.36449pt
+* \headheight=12.0pt
+* \headsep=25.0pt
+* \topskip=12.0pt
+* \footskip=30.0pt
+* \marginparwidth=35.0pt
+* \marginparsep=10.0pt
+* \columnsep=10.0pt
+* \skip\footins=10.8pt plus 4.0pt minus 2.0pt
+* \hoffset=0.0pt
+* \voffset=0.0pt
+* \mag=1000
+* \@twocolumnfalse
+* \@twosidefalse
+* \@mparswitchfalse
+* \@reversemarginfalse
+* (1in=72.27pt=25.4mm, 1cm=28.453pt)
+
+LaTeX Font Info:    Trying to load font information for U+msa on input line 31.
+
+(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
+)
+LaTeX Font Info:    Trying to load font information for U+msb on input line 31.
+
+
+(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
+)
+LaTeX Font Info:    Trying to load font information for OMS+cmtt on input line 
+49.
+LaTeX Font Info:    No file OMScmtt.fd. on input line 49.
+
+
+LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
+(Font)              using `OMS/cmsy/m/n' instead
+(Font)              for symbol `textbackslash' on input line 49.
+
+[1
+
+{/usr/share/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
+
+LaTeX Font Warning: Font shape `OMS/cmtt/m/it' undefined
+(Font)              using `OMS/cmtt/m/n' instead
+(Font)              for symbol `textbackslash' on input line 139.
+
+[2] (./homework1.aux)
+
+LaTeX Font Warning: Some font shapes were not available, defaults substituted.
+
+ ) 
+Here is how much of TeX's memory you used:
+ 2221 strings out of 479383
+ 29071 string characters out of 5875799
+ 312548 words of memory out of 5000000
+ 19342 multiletter control sequences out of 15000+600000
+ 410962 words of font info for 55 fonts, out of 8000000 for 9000
+ 1141 hyphenation exceptions out of 8191
+ 66i,12n,72p,226b,343s stack positions out of 5000i,500n,10000p,200000b,80000s
+{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/
+texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texmf-dist/fon
+ts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texmf-dist/fonts/type1/publi
+c/amsfonts/cm/cmitt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm
+/cmmi12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></u
+sr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texmf-
+dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texmf-dist/fonts/type1
+/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfon
+ts/cm/cmsy8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti12.pf
+b></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></usr/share/
+texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texmf-dis
+t/fonts/type1/public/cm-super/sfrm1200.pfb>
+Output written on homework1.pdf (2 pages, 120157 bytes).
+PDF statistics:
+ 64 PDF objects out of 1000 (max. 8388607)
+ 46 compressed objects within 1 object stream
+ 0 named destinations out of 1000 (max. 500000)
+ 1 words of extra memory for PDF output out of 10000 (max. 10000000)
+
diff --git a/src/Homework1/Homework1.pdf b/src/Homework1/Homework1.pdf
new file mode 100644
index 0000000..9a8228a
--- /dev/null
+++ b/src/Homework1/Homework1.pdf
diff --git a/src/Homework1/Homework1.tex b/src/Homework1/Homework1.tex
new file mode 100644
index 0000000..961a80d
--- /dev/null
+++ b/src/Homework1/Homework1.tex
@@ -0,0 +1,143 @@
+\documentclass[12pt,a4paper]{article}
+\usepackage[utf8]{inputenc}
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{amssymb}
+\usepackage{amsthm}
+\usepackage[left=2cm,right=2cm,top=2cm,bottom=2cm]{geometry}
+
+\title{Mathematical software - homework 1}
+\author{Sebastiano Tronto}
+
+\newtheorem{thm}{Theorem}
+\newtheorem{prop}[thm]{Proposition}
+
+\theoremstyle{definition}
+\newtheorem{ex}{Exercise}
+
+\theoremstyle{definition}
+\newtheorem*{remark}{Remark}
+
+\begin{document}
+
+\noindent\hrulefill
+
+\begin{center}
+\Huge{\textbf{Mathematical Software - Homework 1}}
+\end{center}
+
+\noindent\hrulefill
+\begin{center}
+\begin{tabular}{lcr}
+\texttt{sebastiano.tronto@uni.lu} & \qquad \qquad \qquad \qquad &
+\textbf{Deadline: Sunday, March 28th}
+\end{tabular}
+\end{center}
+
+\vspace{1cm}
+
+\begin{center}
+  \emph{\large
+    For each of the following exercises submit a .tex and a .pdf file.
+  }
+\end{center}
+
+\vspace{1cm}
+
+\begin{ex}
+  Write a short Latex document that contains the following theorem-like
+  environments using the \texttt{\textbackslash newtheorem} command of the
+  \texttt{amsthm} package (the box around the text is not needed):
+  \begin{center}
+    \fbox{\parbox{0.95\textwidth}{
+      \begin{prop}[Fundamental Theorem of Algebra]
+        \label{prop:fta}
+        Let \(p(x)\) be a non-constant polynomial with coefficients in
+        $\mathbb C$. Then there is \(z\in\mathbb C\) such that $p(z)=0$.
+      \end{prop}
+
+      \begin{remark}
+        Proposition \ref{prop:fta} is not true for polynomials with
+        coefficients in $\mathbb R$. For example
+        \begin{align}
+          p(x) = x^2+1
+        \end{align}
+        does not have real roots.
+      \end{remark}
+
+      \begin{thm}
+        If $X$ and $Y$ are $\sigma$-finite measure spaces and $f:X\times Y\to
+        \mathbb R$ is measurable and such that
+        \begin{align*}
+          \int_{X\times Y}|f(x,y)|\mathrm d(x,y) < \infty
+        \end{align*}
+        then
+        \begin{align}
+          \label{eq:fubini}
+          \int_X\left(\int_Yf(x,y)\mathrm d y\right)\mathrm d x =
+          \int_Y\left(\int_Xf(x,y)\mathrm d x\right)\mathrm d y =
+          \int_{X\times Y} f(x,y)\mathrm d(x,y)\,.
+        \end{align}
+      \end{thm}
+
+      \begin{remark}
+        In practice, equation \eqref{eq:fubini} means that we can switch the
+        order of integration in a double integral.
+      \end{remark}
+    }}
+  \end{center}
+  Notice that Propositions, Theorems and some of the equations are numbered,
+  and some of them are referred to in the Remarks. This numbering should change
+  accordingly if more numbered Theorems and equations are added before this
+  part of the text.
+\end{ex}
+
+\vspace{0.8cm}
+
+\begin{ex}
+[This is basically a ``do whatever you want, just do something'' exercise]
+Write a Mathematical document in Latex, where ``Mathematical'' means any text
+that contains both inline and displaystyle symbols and formulas, and where most
+of the sentences contain a Mathematical symbol.
+For example, you can submit (part of) your homework or notes for another course
+that you are following at the moment.
+
+You must follow the following rules:
+\begin{itemize}
+  \item Your document must be at least 2 pages long.
+  \item Use the following in your preamble:
+    \begin{verbatim}
+\documentaclass[12pt,a4paper]{article}
+\usepackage[left=2.5cm,right=2.5cm,top=2.5cm,bottom=2.5cm]{geometry}
+    \end{verbatim}
+\end{itemize}
+The document itself can be about any area of Mathematics, Physics or similar.
+The correctness of the Mathematics itself will not be judged for this course.
+\end{ex}
+
+\section*{Grading}
+
+This homework assignment is worth 25\% of your final grade.
+
+\vspace{0.3cm}
+\textbf{Exercise 1 (10 points).}
+\begin{itemize}
+  \item A correct use of the \texttt{\textbackslash newtheorem} command is
+        worth 4 out of 10 points.
+  \item A correct use of the labelling and reference system is worth 4 points.
+  \item Reproducing correctly the mathematical formulas is worth 2 points.
+\end{itemize}
+
+\textbf{Exercise 2 (10 points).}
+\begin{itemize}
+  \item A resulting pdf file that looks readable and correct is worth 6 out of
+        10 points.
+  \item The correct use of latex commands and environments is worth 4 out of
+        10 points. \emph{Examples of mistakes in this sense: adjusting manually
+        the size of parenthesis instead of using \texttt{\textbackslash left}
+        and \texttt{\textbackslash right}; using \texttt{\textbackslash Sigma}
+        when you actually want to write a sum symbol.}
+\end{itemize}
+
+
+\end{document}
\ No newline at end of file