{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T21:55:45Z","timestamp":1768773345408,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319522333","type":"print"},{"value":"9783319522340","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-52234-0_20","type":"book-chapter","created":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T04:52:06Z","timestamp":1484110326000},"page":"367-385","source":"Crossref","is-referenced-by-count":15,"title":["Efficient Elimination of Redundancies in Polyhedra by Raytracing"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Mar\u00e9chal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"P\u00e9rin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,12]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719604","volume-title":"LAPACK Users\u2019 Guide","author":"E Anderson","year":"1999","unstructured":"Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK Users\u2019 Guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia (1999)","edition":"3"},{"issue":"46","key":"20_CR2","doi-asserted-by":"crossref","first-page":"4672","DOI":"10.1016\/j.tcs.2009.07.033","volume":"410","author":"R Bagnara","year":"2009","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theoret. Comput. Sci. 410(46), 4672\u20134691 (2009)","journal-title":"Theoret. Comput. Sci."},{"issue":"1\u20132","key":"20_CR3","first-page":"259","volume":"5","author":"F Benoy","year":"2005","unstructured":"Benoy, F., King, A., Mesnard, F.: Computing convex hulls with a linear solver. TPLP: Theory Pract. Log. Program. 5(1\u20132), 259\u2013271 (2005)","journal-title":"TPLP: Theory Pract. Log. Program."},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1016\/0041-5553(68)90115-8","volume":"8","author":"NV Chernikova","year":"1968","unstructured":"Chernikova, N.V.: Algorithm for discovering the set of all the solutions of a linear programming problem. USSR Comput. Math. Math. Phys. 8, 282\u2013293 (1968)","journal-title":"USSR Comput. Math. Math. Phys."},{"key":"20_CR5","series-title":"Series of Books in the Mathematical Sciences","volume-title":"Linear Programming","author":"V Chvatal","year":"1983","unstructured":"Chvatal, V.: Linear Programming. Series of Books in the Mathematical Sciences. W. H. Freeman, New York (1983)"},{"key":"20_CR6","first-page":"1581","volume-title":"Encyclopedia of Parallel Computing","author":"P Feautrier","year":"2011","unstructured":"Feautrier, P., Lengauer, C.: Polyhedron model. In: Padua, D. (ed.) Encyclopedia of Parallel Computing, vol. 1, pp. 1581\u20131592. Springer, Berlin (2011)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Fouilh\u00e9, A., Monniaux, D., P\u00e9rin, M.: Efficient certificate generation for the abstract domain of polyhedra. In: Static Analysis Symposium (2013)","DOI":"10.1007\/978-3-642-38856-9_19"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-61576-8_77","volume-title":"Combinatorics and Computer Science","author":"K Fukuda","year":"1996","unstructured":"Fukuda, K., Prodon, A.: Double description method revisited. In: Deza, M., Euler, R., Manoussakis, I. (eds.) CCS 1995. LNCS, vol. 1120, pp. 91\u2013111. Springer, Heidelberg (1996). doi: 10.1007\/3-540-61576-8_77"},{"key":"20_CR9","series-title":"Annals of Mathematics Studies","first-page":"19","volume-title":"Linear Inequalities and Related Systems","author":"AJ Goldman","year":"1956","unstructured":"Goldman, A.J., Tucker, A.W.: Polyhedral convex cones. In: Kuhn, H.W., Tucker, A.W. (eds.) Linear Inequalities and Related Systems. Annals of Mathematics Studies, vol. 38, pp. 19\u201340. Princeton University Press, Princeton (1956)"},{"key":"20_CR10","unstructured":"Halbwachs, N.: D\u00e9termination automatique de relations lin\u00e9aires v\u00e9rifi\u00e9es par les variables d\u2019un programme. Ph.D. thesis, Universit\u00e9 scientifique et m\u00e9dicale de Grenoble, (in French) (1979)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/978-3-642-02658-4_52","volume-title":"Computer Aided Verification","author":"B Jeannet","year":"2009","unstructured":"Jeannet, B., Min\u00e9, A.: Apron: a library of numerical abstract domains for static analysis. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 661\u2013667. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02658-4_52"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Jourdan, J.-H., Laporte, V., Blazy, S., Leroy, X., Pichardie, D.: A formally-verified C static analyzer. In: ACM Principles of Programming Languages (POPL), pp. 247\u2013259. ACM Press, January 2015","DOI":"10.1145\/2676726.2676966"},{"key":"20_CR13","unstructured":"Lassez, J.-L., Huynh, T., McAloon, K.: Simplification and elimination of redundant linear arithmetic constraints. In: Constraint Logic Programming, pp. 73\u201387. MIT Press, Cambridge (1993)"},{"key":"20_CR14","unstructured":"Le Verge, H.: A note on Chernikova\u2019s algorithm. Research report RR-1662, INRIA (1992)"},{"key":"20_CR15","unstructured":"Mar\u00e9chal, A., P\u00e9rin, M.: Efficient elimination of redundancies in polyhedra using raytracing. Technical report TR-2016-6, Verimag, Universit\u00e9 Grenoble-Alpes, October 2016"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Motzkin, T.S., Raiffa, H., Thompson, G.L., Thrall, R.M.: The double description method. In: Contributions to the Theory of Games. Annals of Mathematics Studies, vol. 2, pp. 51\u201373. Princeton University Press, Princeton (1953)","DOI":"10.1515\/9781400881970-004"},{"key":"20_CR17","series-title":"Wiley-Interscience Series in Discrete Mathematics and Optimization","volume-title":"Theory of Linear and Integer Programming","author":"A Schrijver","year":"1999","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley-Interscience Series in Discrete Mathematics and Optimization. Wiley, Hoboken (1999)"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11547662_23","volume-title":"Static Analysis","author":"A Simon","year":"2005","unstructured":"Simon, A., King, A.: Exploiting sparsity in polyhedral analysis. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 336\u2013351. Springer, Heidelberg (2005). doi: 10.1007\/11547662_23"},{"key":"20_CR19","unstructured":"Wilde, D.K.: A library for NG polyhedral operations. Master\u2019s thesis, Oregon State University, Corvallis, Oregon, December 1993. Also Published as IRISA Technical report PI 785, Rennes, France (1993)"},{"issue":"1","key":"20_CR20","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1134\/S0965542512010162","volume":"52","author":"NY Zolotykh","year":"2012","unstructured":"Zolotykh, N.Y.: New modification of the double description method for constructing the skeleton of a polyhedral cone. Comput. Math. Math. Phys. 52(1), 146\u2013156 (2012)","journal-title":"Comput. Math. Math. Phys."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52234-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T07:53:55Z","timestamp":1498377235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52234-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522333","9783319522340"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52234-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}