Concepedia

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Enric Rodríguez-Carbonell, Deepak Kapur

Science of Computer Programming · 2006 · 100 citations · 22 references

DOI

Concepts

References

22

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

Proceedings of the 19th International Joint Conference on Artificial Intelligence

Josep M. Pujol, Jordi Delgado, Ramón Sangüesa et al. · International Joint Conference on Artificial Intelligence · 2005 · 5.8K citations

, , +11

The Art of Computer Programming. Volume 2: Seminumerical Algorithms.

Olga Taussky, Donald E. Knuth · American Mathematical Monthly · 1970 · 3.9K citations

, , +13

The Art of Computer Programming

W.J. Worlton · Nuclear Science and Engineering · 1968 · 2.3K citations

, , +7

Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra

Choice Reviews Online · 1993 · 2.1K citations

, , +17