Cited By
View all- Liang HLu JTsakiris MZhi L(2024)Unlabeled Sensing Using Rank-One Moment Matrix CompletionProceedings of the 2024 International Symposium on Symbolic and Algebraic Computation10.1145/3666000.3669674(46-55)Online publication date: 16-Jul-2024
- Yang ZZhao HZhi L(2023)VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and InequalitiesJournal of Systems Science and Complexity10.1007/s11424-023-1406-736:2(866-883)Online publication date: 18-Feb-2023
- Ni XWu YXia B(2023)Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic VerificationDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-99-8664-4_10(171-188)Online publication date: 15-Dec-2023
- Show More Cited By