Author:
Gonzalez-Vega Laureano,Lombardi Henri,Mahé Louis
Subject
Algebra and Number Theory
Reference4 articles.
1. Géométrie Algébrique Réelle;Bochnak,1987
2. On the Pierce-Birkhoff conjecture over ordered fields;Delzell;Rocky Mountain J. Math.,1989
3. On the Pierce-Birkhoff conjecture;Mahé;Rocky Mountain J. Math,1984
4. Solutions of Equations and Systems of Equations;Ostrowski,1966
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A generalized Budan-Fourier approach to generalized Gaussian and exponential mixtures;AIMS Mathematics;2024
2. A constructive formalisation of Semi-algebraic sets and functions;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08
3. A constructive formalisation of Semi-algebraic sets and functions;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
4. Théories géométriques pour l’algèbre des
nombres réels;Ordered Algebraic Structures and Related
Topics;2017
5. Budan tables of real univariate polynomials;Journal of Symbolic Computation;2013-06