Explore projects

The evolving specification for Alethe, a flexible format for SMT proofs.

MATH0504-1 First Project: Implementation of Finite Element Methods (FEM) using Galerkin projection for solving elliptic PDEs

multi-purpose lens modeling software package

GBOML: Graph-Based Optimization Modeling Language

Test