Articles — Tutorial

Presentation for JEEC Workshop

Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP. Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.

My guide to logarithms.

This article aims to be a model LaTeX document while teaching you the basics of what it is and how to use it. It contains all of the basic constructs you are likely to encounter as you write your first papers and articles. This article will not go into detail about how to get started with a local installation of LaTeX.

This is a tutorial on how to use rich text format and markdown for publishing using Overleaf and similar web based LaTeX authoring systems.

upnmthesis is a LaTeX class for authoring theses that fulfill formatting specifications required by Universiti Pertahanan Nasional Malaysia (UPNM). This class and template was commissioned by the university's Centre of Graduate Studies in April, 2016, for both undergraduate and postgraduate theses. A sample file sample-thesis.tex, as well as relevant sample chapters, are included in the package. upnmthesis is available as a template on Overleaf which I recommend you modify for your own thesis write-up. (You can rename it, but I'll stick with the file name sample-thesis.tex throughout this guide.) The latest version of this template can also be downloaded from my website.

How to derive the Taylor series for the Lambert W function. The Lambert W function is the inverse of the function x ↦ xex.

Questions for Manny

This is a simple step by step on how to do mathematical induction.