leo-colisson / proof-at-the-end
This package aims to provide a way to easily move LaTeX proofs in appendix.
☆25Updated last year
Alternatives and similar repositories for proof-at-the-end:
Users that are interested in proof-at-the-end are comparing it to the libraries listed below
- LaTeX package for automatically putting proof environments in appendix☆23Updated 11 months ago
- A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.☆52Updated 3 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆40Updated last year
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆63Updated 8 months ago
- This tutorial is a basic guide to understanding the Zig-Zag Sampling method. This document is released with the aim of diffusion and shar…☆19Updated 5 years ago
- BibLaTeX bibliography support for publication lists☆40Updated 4 months ago
- Binaries for mathematicians☆9Updated last year
- Tufte-style beamer template with Julia integration☆127Updated last year
- An HTML+CSS template for making more accessible posters☆83Updated 2 years ago
- A LaTeX Beamer theme, forked from the metropolis theme☆111Updated last month
- Minimalist LaTeX template for academic presentations☆185Updated 2 months ago
- Generate a customised list of publications for your LaTeX CV using BibTeX entries.☆97Updated 2 years ago
- Bayesian entropy estimation in Python - via the Nemenman-Schafee-Bialek algorithm☆47Updated 4 years ago
- Algorithms inspired by graph Laplacians: linear equation solvers, sparsification, clustering, optimization, etc.☆222Updated 3 months ago
- Saarland Beamer Theme☆60Updated 6 years ago
- Python package to compute conditional and non-conditional causal effects.☆33Updated 2 years ago
- A Fast sketching based solver for large scale ridge regression☆17Updated 7 months ago
- LaTeX package for typesetting pseudocode.☆39Updated last year
- TikZ exporter ipelet☆35Updated 11 months ago
- Materials for ORIE 7191: Topics in Optimization for Machine Learning☆43Updated 5 years ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆97Updated last week
- Python utility for making PDFs out of scraps of LaTeX.☆15Updated 8 years ago
- eXercise Sheets IMproved☆69Updated 5 months ago
- Listing of online math seminars☆42Updated 4 months ago
- Automated Bayesian model discovery for time series data☆66Updated this week
- Lectures on Quantitative Economics Using JAX☆31Updated last month
- Code for the causal benchmark library☆11Updated 3 months ago
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 6 months ago
- This is an unofficial LaTeX Beamer presentation template for Stanford University.☆57Updated 6 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated 11 months ago