notebook.tex

\documentclass{classes/notebook}

% Bibliography
\addbibresource{bibliography/books.bib}
\addbibresource{bibliography/papers.bib}
\addbibresource{bibliography/notes.bib}
\addbibresource{bibliography/standards.bib}
\addbibresource{bibliography/plato.bib}
\addbibresource{bibliography/mathse.bib}
\addbibresource{bibliography/mathof.bib}
\addbibresource{bibliography/otherse.bib}
\addbibresource{bibliography/social.bib}
\addbibresource{bibliography/misc.bib}

% Document
\SetMetadata
  {
    title =    {Notebook},
    subtitle = {Personal notes on various topics in mathematics},
    author =   {Ianis Vasilev},
    url =      {https://github.com/v--/notebook},
    date =     {\today},
    commit =   {unspecified}
  }

\TryReadMetadataFile{} % This should update the date and commit id if such a file exists
\SetupPdfMetadata{}

\begin{document}
  \addcontentsline{toc}{chapter}{Cover}
  \input{text/title_page.tex}
  \input{text/preface.tex}

  \AddToHook{cmd/section/before}[clearpage]{\clearpage}
  % https://tex.stackexchange.com/a/686613
  \setuptoc{toc}{totoc}
  \tableofcontents
  \newpage

  \input{text/numbers.tex}
  \input{text/natural_numbers.tex}
  \input{text/integers.tex}
  \input{text/rational_numbers.tex}
  \input{text/real_numbers.tex}
  \input{text/complex_numbers.tex}
  \input{text/prime_numbers.tex}
  \input{text/positional_number_systems.tex}
  \input{text/digit_based_operations.tex}

  \input{text/real_analysis.tex}
  \input{text/topology_of_euclidean_spaces.tex}
  \input{text/real_valued_functions.tex}
  \input{text/real_convergence.tex}
  \input{text/real_differentiability.tex}
  \input{text/real_series.tex}
  \input{text/riemann_integration.tex}
  \input{text/total_variation.tex}
  \input{text/nonsmooth_derivatives.tex}
  \input{text/subdifferentials.tex}
  \input{text/clarke_gradients.tex}

  \input{text/complex_analysis.tex}
  \input{text/complex_functions.tex}
  \input{text/series.tex}
  \input{text/power_series.tex}
  \input{text/trigonometric_functions.tex}
  \input{text/exponential_function.tex}
  \input{text/trigonometric_polynomials.tex}
  \input{text/special_functions.tex}
  \input{text/norms.tex}

  \input{text/functional_analysis.tex}
  \input{text/topological_groups.tex}
  \input{text/topological_vector_spaces.tex}
  \input{text/hahn_banach.tex}
  \input{text/frechet_spaces.tex}
  \input{text/banach_spaces.tex}
  \input{text/hilbert_spaces.tex}
  \input{text/reflexive_spaces.tex}
  \input{text/asplund_spaces.tex}
  \input{text/minkowski_functionals.tex}
  \input{text/dentable_sets.tex}
  \input{text/differentiability.tex}
  \input{text/banach_space_interpolation.tex}

  \input{text/measure_theory.tex}
  \input{text/sigma_algebras.tex}
  \input{text/measures.tex}
  \input{text/finite_measures.tex}
  \input{text/lebesgue_measures.tex}

  \input{text/probability_theory.tex}

  \input{text/approximation_theory.tex}
  \input{text/lagrange_polynomials.tex}
  \input{text/bernstein_inequalities.tex}

  \input{text/convex_analysis.tex}
  \input{text/convex_functions.tex}

  \input{text/general_topology.tex}
  \input{text/topological_spaces.tex}
  \input{text/net_convergence.tex}
  \input{text/filter_convergence.tex}
  \input{text/function_convergence.tex}
  \input{text/topological_continuity.tex}
  \input{text/category_of_topological_spaces.tex}
  \input{text/separation_axioms.tex}
  \input{text/connected_spaces.tex}
  \input{text/compact_spaces.tex}
  \input{text/baire_spaces.tex}
  \input{text/uniform_spaces.tex}

  \input{text/metric_spaces.tex}
  \input{text/metric_topology.tex}
  \input{text/complete_metric_spaces.tex}
  \input{text/hausdorff_distance.tex}
  \input{text/totally_bounded_sets.tex}
  \input{text/noncompactness_measures.tex}
  \input{text/lipschitz_continuity.tex}
  \input{text/function_oscillation.tex}

  \input{text/geometry.tex}
  \input{text/affine_spaces.tex}
  \input{text/convex_sets.tex}
  \input{text/euclidean_spaces.tex}
  \input{text/parametric_curves.tex}
  \input{text/euclidean_plane.tex}
  \input{text/triangles.tex}
  \input{text/point_lattices.tex}
  \input{text/figurate_numbers.tex}
  \input{text/packing_and_tiling.tex}
  \input{text/affine_algebraic_sets.tex}
  \input{text/quadratic_plane_curves.tex}

  \input{text/group_theory.tex}
  \input{text/semigroups.tex}
  \input{text/groups.tex}
  \input{text/free_groups.tex}
  \input{text/group_actions.tex}
  \input{text/abelian_groups.tex}

  \input{text/ring_theory.tex}
  \input{text/semirings.tex}
  \input{text/semimodules.tex}
  \input{text/semiring_ideals.tex}
  \input{text/algebras_over_semirings.tex}
  \input{text/rings.tex}
  \input{text/modules.tex}
  \input{text/univariate_polynomials.tex}
  \input{text/algebras_over_rings.tex}
  \input{text/integral_domains.tex}
  \input{text/field_extensions.tex}
  \input{text/primitive_roots.tex}
  \input{text/polynomial_factorization.tex}

  \input{text/linear_algebra.tex}
  \input{text/matrices_over_rings.tex}
  \input{text/matrices_over_fields.tex}
  \input{text/bilinear_forms.tex}
  \input{text/diagonalization.tex}
  \input{text/algebraic_dual_spaces.tex}

  \input{text/formal_language_theory.tex}
  \input{text/formal_languages.tex}
  \input{text/regular_languages.tex}
  \input{text/syntax_trees.tex}

  \input{text/lambda_calculus.tex}
  \input{text/untyped_lambda_calculus.tex}
  \input{text/lambda_calculus_reductions.tex}
  \input{text/simply_typed_lambda_calculus.tex}

  \input{text/mathematical_logic.tex}
  \input{text/logical_frameworks.tex}
  \input{text/boolean_functions.tex}
  \input{text/propositional_logic.tex}
  \input{text/propositional_normal_forms.tex}
  \input{text/axiomatic_derivations.tex}
  \input{text/natural_deduction.tex}
  \input{text/propositional_completeness.tex}
  \input{text/higher_order_logic.tex}
  \input{text/first_order_logic.tex}
  \input{text/first_order_models.tex}
  \input{text/logical_theories.tex}

  \input{text/computability_theory.tex}

  \input{text/set_theory.tex}
  \input{text/naive_set_theory.tex}
  \input{text/relations.tex}
  \input{text/functions.tex}
  \input{text/zermelo_fraenkel_set_theory.tex}
  \input{text/ordinals.tex}
  \input{text/cardinals.tex}
  \input{text/transfinite_arithmetic.tex}
  \input{text/von_neumanns_cumulative_hierarchy.tex}
  \input{text/grothendieck_universes.tex}

  \input{text/category_theory.tex}
  \input{text/categories.tex}
  \input{text/functors.tex}
  \input{text/category_equivalences.tex}
  \input{text/category_adjunctions.tex}
  \input{text/categorical_limits.tex}

  \input{text/order_theory.tex}
  \input{text/preordered_sets.tex}
  \input{text/partially_ordered_sets.tex}
  \input{text/totally_ordered_sets.tex}
  \input{text/lattices.tex}
  \input{text/lattice_fixed_points.tex}
  \input{text/ordered_set_completion.tex}
  \input{text/heyting_algebras.tex}
  \input{text/boolean_algebras.tex}
  \input{text/boolean_rings.tex}

  \input{text/combinatorics.tex}
  \input{text/augmented_sets.tex}
  \input{text/binomial_coefficients.tex}
  \input{text/enumerative_combinatorics.tex}
  \input{text/recurrence_relations.tex}

  \input{text/graph_theory.tex}
  \input{text/graphs.tex}
  \input{text/graph_walks.tex}
  \input{text/graph_matrices.tex}
  \input{text/simple_undirected_graphs.tex}
  \input{text/graph_coloring.tex}
  \input{text/trees.tex}
  \input{text/simplicial_complexes.tex}
  \input{text/quotient_graphs.tex}
  \input{text/graph_embeddings.tex}

  \input{text/bibliography.tex}
\end{document}