mmasdeu Goto Github PK

algebralineal

Apunts d'Àlgebra Lineal

answer_to_the_ultimate_question

Computes the Answer to the Ultimate Question.

apuntsalgebralineal

Apunts d'Àlgebra Lineal

apuntsaritmetica

Apunts del curs d'aritmètica (UAB)

argo

Lean Game for Argo Course 2023

arxiv-sanity-preserver

Web interface for browsing, search and filtering recent arxiv submissions

atrpoints

Numerical verification of conjecture of Darmon on ATR points.

barcelonaleanseminar

Exercises done during the weekly Lean seminar

biysc2021-notes

biysc2022

Proving the plane separation theorem in Lean

brouwerfixedpoint

Proving Brouwer's Fixed Point Theorem in Lean

btquotients

Computing with quotients of the Bruhat-Tits tree

cartan13

Code for the paper "Explicit Chabauty-Kim for the Split Cartan Modular Curve of Level 13"

cubicpoints

Sage scripts that compute archimedean cubic Darmon points.

darmonpoints

Sage package to compute Darmon points

ecnf-data

Raw data files for elliptic curves over number fields for upload to LMFDB

elk15_discoverthezenofpresenting

ELK15: Discover the Zen of Presenting -- Vorlesungsunterlagen (inkl. E-Books) mit Pandoc und LaTeX erstellen

elliptic_curve_tables

Tables of elliptic curves computed using p-adic overconvergent methods

ellipticstarkconjecture

p-adic iterated integrals in Sage

euler

Formalization of Euler summation formula

event-organiser

WordPress plug-in, Event Organiser, development repository

ewp

Edit Wordpress in Emacs

fonaments

Seminari de Fonaments 2023/24

formesmodulars

Apunts per tres (o quatre) xerrades

fundamental

Learn basic of LEAN and prove basic results from "Fonaments" class

fuzzy

Fuzzy sets

geometry

hilbert

Formalization of Hilbert's axioms for plane geometry in Lean

hilbertgame

Learn Lean with Hilbert's geometry

initio-robot

Python code for the 4tronix Initio Ultimate robot