-
Lorentzian manifolds through experimentation (Karin Melnick) - Representation-theoretic methods in algebraic geometry (Karin Melnick & Pieter Belmans) - Computational experiments with 3-dimensional hyperbolic
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions