Sequent calculus template
A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.
Tatu Pössi
A region \(R\) of space-time produced by field \(\Phi_{\mu}\)
A sketch of the region \(R\) of space-time produced by field \(\Phi_{\mu}\). The figure is inspired in figure 3.3 of the book ``Quantum Field Theory'' by Lewis H. Ryder.
Alexsandro Lucena Mota
Program Correctness: Example
An example that shows how to write proof outlines in LaTeX.
Hans-Dieter Hiep
Homework Template
Homework Template.
Note: This is a modified version of the original template by Dana Ernst.
Sarah Wright (based on the a original by Dana Ernst)
Quadratic Function
A leaflet created for a Math class that I conduct during this term.
Maciej
Matrices
Matrices
Example Matrix usage
Spanish homework of precepts for Linear Algebra
Vago sin Voz
Álgebra
Ejercicios de álgebra tomados del Baldor (edición 1980).
Algebra exercises from Baldor (1980 edition)
Alberto Ordonez
Two-Column Proof Example
An example of a geometry two-column proof template.
LianTze Lim