Author:
Coquand Thierry,Lombardi Henri,Schuster Peter
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference46 articles.
1. Chicli, L.: Sur la formalisation des mathématiques dans le calcul des constructions inductives. Technical report, Université de Nice (2003)
2. Coquand, T.: Sur un théorème de Kronecker concernant les variétés algébriques. C. R. Math. Acad. Sci. Paris 338(4), 291–294 (2004)
3. Coquand, T.: On seminormality. J. Algebra 305, 577–584 (2006)
4. Coquand, T.: Space of valuations. Ann. Pure Appl. Logic 157, 97–109 (2009)
5. Coquand, T., Ducos, L., Lombardi, H., Quitté, C.: Constructive Krull dimension. I: integral extensions. J. Algebra Appl. 8, 129–138 (2009)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献