Sophie Bernard

From MaRDI portal
Person:1687716

Available identifiers

zbMath Open bernard.sophieMaRDI QIDQ1687716

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61572492023-06-20Paper
Formalization of the Lindemann-Weierstrass theorem2018-01-04Paper

Research outcomes over time

This page was built for person: Sophie Bernard