Z. Z. Ren

Diese Studie untersucht, wie Nukleonen interagieren und sich in Neon clustering.

Forschung zu Beweisbaum-Suchen verbessert automatisierte Theorembeweis-Methoden.