A

algebra

Projects with this topic

Renato Reis Leme / heytinget

Find intuitionistic counter-models for classical tautologies.

logic mathematics heyting
+ 1 more

0

Updated Jan 13, 2021

0 0 0 0

Updated Jan 13, 2021
Fernando Porres / funwithmaths

Python math algebra

0

Updated Jul 08, 2019

0 0 0 0

Updated Jul 08, 2019
Gilles Bellot / MagmaNeighbours

The goal of this project is to implement TwoNeighbours (TN) by B. Hemkemeier and HermitianNeighbours (HN) by A. Schiemann in MAGMA.

mathematics algebra number theory
+ 2 more

Archived 0

Updated Apr 04, 2019

Archived 0 0

Updated Apr 04, 2019