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

Second homework of MATH0024

Ordløshet: the inability to speak because meaning exceeds words.A collection of scripts and tools designed to support and streamline the process of learning a new language

project of SYST0002 ( signals and systems )

simple sketch recognition algorithm based on the Ramer-Douglas-Peucker polyline compression algorithm

This project has received funding from the European Union’s Horizon Europe Framework Programme under grant agreement No. 101056682 for the project “DIgital DEsign strategies to certify and mAnufacture Robust cOmposite sTructures (DIDEAROT)”. The contents of this publication are the sole responsibility of ULiege and do not necessarily reflect the opinion of the European Union. Neither the European Union nor the granting authority can be held responsible for them.

multi-purpose lens modeling software package

A symbolic executor