Précédent : Abstract Remonter : Abstract Suivant : 2. Proof and Logic

1. Algorithmics

This concerns the study and creation of algorithms for symbolic computation. Research is conducted into both the theoretical properties and complexity of algorithms and applications to the study of genetic codes.