On the Generation of Positivstellensatz Witnesses in Degenerate Cases-Reference-Cited by-同舟云学术

On the Generation of Positivstellensatz Witnesses in Degenerate Cases

Published:2011 Issue: Volume: Page:249-264
ISSN:0302-9743
Container-title:Interactive Theorem Proving
language:
Short-container-title:

Author:

Monniaux David,Corbineau Pierre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22863-6_19

Reference32 articles.

1. Adams, J., Saunders, B.D., Wan, Z.: Signature of symmetric rational matrices and the unitary dual of Lie groups. In: ISSAC 2005, pp. 13–20. ACM, New York (2005)

2. Basu, S., Pollack, R., Roy, M.-F.: On the combinatorial and algebraic complexity of quantifier elimination. Journal of the ACM (JACM) 43(6), 1002–1045 (1996)

3. Benson, S.J., Ye, Y.: DSDP5 user guide — software for semidefinite programming. technical memorandum 277. Argonne National Laboratory (2005)

4. Benson, S.J., Ye, Y.: Algorithm 875: DSDP5—software for semidefinite programming. ACM Transactions on Mathematical Software 34(3), 16:1–16:20 (2008)

5. Lecture Notes in Computer Science;F. Besson,2007

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ACL2 Proofs of Nonlinear Inequalities with Imandra;Electronic Proceedings in Theoretical Computer Science;2023-11-14

2. Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04

3. A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems;Mathematics;2018-09-11

4. VeriPhy: verified controller executables from verified cyber-physical system models;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11

5. Solving generic nonarchimedean semidefinite programs using stochastic game algorithms;Journal of Symbolic Computation;2018-03