Z. Z. Ren

Este estudio examina cómo interactúan y se agrupan los nucleones en el neón.

La investigación sobre árboles de búsqueda de pruebas mejora los métodos de demostración automática de teoremas.