共 50 条
- [2] BUDAN-FOURIER THEOREM FOR SPLINE FUNCTIONS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A210 - A210
- [3] BUDAN-FOURIER THEOREM FOR GENERAL POLYNOMIAL MONOSPLINES ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1979, 59 (06): : 217 - 223
- [7] On an Analog of Descartes' Rule of Signs and the Budan-Fourier Theorem for Entire Functions JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2018, 11 (03): : 317 - 321
- [8] THE BUDAN-FOURIER THEOREM FOR L-SPLINES AND ITS APPLICATION KEXUE TONGBAO, 1983, 28 (05): : 599 - 601
- [9] Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 52 - 64