Recherche
-
Improved CRT Algorithm for Class Polynomials in Genus $2$
Communication dans un congrès -
Specimens: "most of" generic NPs in a contextually flexible type theory
Communication dans un congrès -
Semi-intrusive and non-intrusive stochastic methods for aerospace applications
Communication dans un congrès -
Semi-intrusive and non-intrusive stochastic methods for aerospace applications
Communication dans un congrès -
Automated Code Generation for Lattice Quantum Chromodynamics and beyond
Communication dans un congrès -
Development of a collision force model for ice impact within a level set method
Communication dans un congrès