publiée le 9 décembre 2025
[1245] Model theory, differential algebra and functional transcendence
De Amador Martin-Pizarro
Apparaît dans la collection : 2014 - T2 - Semantics of proofs and certified mathematics
« Semantics of proofs and certified mathematics » trimester presentation