{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:48:49Z","timestamp":1725558529236},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141270"},{"type":"electronic","value":"9783642141287"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14128-7_15","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T06:45:36Z","timestamp":1277793936000},"page":"158-171","source":"Crossref","is-referenced-by-count":3,"title":["Formal Proof of SCHUR Conjugate Function"],"prefix":"10.1007","author":[{"given":"Franck","family":"Butelle","sequence":"first","affiliation":[]},{"given":"Florent","family":"Hivert","sequence":"additional","affiliation":[]},{"given":"Micaela","family":"Mayero","sequence":"additional","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Toumazet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Butelle, F., King, R., Toumazet, F.: SCHUR, an interactive program for calculating properties of Lie groups and symmetric functions, \n                    \n                      http:\/\/schur.sourceforge.net\n                    \n                    \n                   (Release 6.06)"},{"key":"15_CR2","unstructured":"MacDonald, I.G.: Symmetric Functions and Hall Polynomials. Clarendon Press, Oxford University Press (1979) (2nd edn. in 1998)"},{"key":"15_CR3","unstructured":"King, R.C., Bylicki, M., Karwowski, J. (eds.): Symmetry, Spectroscopy and SCHUR. Nicolaus Copernicus University Press (2006)"},{"key":"15_CR4","unstructured":"Correnson, L., Cuoq, P., Puccetti, A., Signoles, J.: Frama-C User Manual, Beryllium release, \n                    \n                      http:\/\/frama-c.cea.fr"},{"key":"15_CR5","unstructured":"March\u00e9, C., Moy, Y.: Jessie Tutorial, Release 2.21 \n                    \n                      http:\/\/frama-c.cea.fr\/jessie\/jessie-tutorial.pdf"},{"key":"15_CR6","unstructured":"Baudin, P., Cuoq, P., Filli\u00e2tre, J.C., March\u00e9, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI\/ISO C Specification Language, \n                    \n                      http:\/\/frama-c.cea.fr\/download\/acsl-implementation-Beryllium-20090902.pdf"},{"key":"15_CR7","unstructured":"Filli\u00e2tre, J.C., March\u00e9, C., Moy, Y., Hubert, T., Rousset, N.: Why is a software verification platform, Release 2.21, \n                    \n                      http:\/\/why.lri.fr"},{"issue":"10","key":"15_CR8","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580, 583 (1969)","journal-title":"Communications of the ACM"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1066100.1066102","volume":"52","author":"D. Detlefs","year":"2005","unstructured":"Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: a theorem prover for program checking. J. ACM\u00a052(3), 365\u2013473 (2005)","journal-title":"J. ACM"},{"key":"15_CR10","unstructured":"Conchon, S., Contejean, E., Bobot, F., Lescuyer, S.: Alt-Ergo is an automatic theorem prover dedicated to program verification, Release 0.9., \n                    \n                      http:\/\/ergo.lri.fr"},{"key":"15_CR11","unstructured":"Microsoft Research: Z3 An Efficient SMT Solver, Release 2.4., \n                    \n                      http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-73368-3_34","volume-title":"Computer Aided Verification","author":"C. Barrett","year":"2007","unstructured":"Barrett, C., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 298\u2013302. Springer, Heidelberg (2007), \n                    \n                      http:\/\/cs.nyu.edu\/acsys\/cvc3"},{"key":"15_CR13","series-title":"Texts in Theoretical Computer Science","volume-title":"EATCS","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive Theorem Proving and Program Development: Coq\u2019Art: The Calculus of Inductive Constructions. In: EATCS. Texts in Theoretical Computer Science, Springer, Heidelberg (2004)"},{"key":"15_CR14","unstructured":"Shankar, N., Owre, S., Rushby, J.M., Stringer-Calvert, D.W.J.: PVS prover guide, \n                    \n                      http:\/\/pvs.csl.sri.com\/doc\/pvs-prover-guide.pdf"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.:Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic, LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"15_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608650","volume-title":"The theory of partitions","author":"G.E. Andrews","year":"1984","unstructured":"Andrews, G.E.: The theory of partitions. Cambridge University Press, Cambridge (1984)"},{"key":"15_CR17","first-page":"360","volume":"22","author":"C.G.J. Jacobi","year":"1884","unstructured":"Jacobi, C.G.J.: De functionibus alternantibus earumque divisione per productum e differentiis elementorum conflatum. Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal)\u00a022, 360\u2013371 (1841); Reprinted in Gesammelten Werke III, G. Reimer, Berlin (1884)","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal)"},{"key":"15_CR18","volume-title":"The Theory of Group Characters","author":"D.E. Littlewood","year":"1950","unstructured":"Littlewood, D.E.: The Theory of Group Characters, 2nd edn. Oxford University Press, Oxford (1950)","edition":"2"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"4105","DOI":"10.1088\/0305-4470\/21\/22\/014","volume":"21","author":"A. Lascoux","year":"1988","unstructured":"Lascoux, A., Pragacz, P.: S-function series. J. Phys. A: Math. Gen.\u00a021, 4105\u20134118 (1988)","journal-title":"J. Phys. A: Math. Gen."},{"key":"15_CR20","unstructured":"Newell, M.J.: On the representations of the orthogonal and symplectic groups. In: Proc. Roy. Irish Acad., Section A: Mathematical and Physical Sciences, vol.\u00a054, pp. 143\u2013152 (1951)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14128-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:19:11Z","timestamp":1619770751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14128-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141270","9783642141287"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14128-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}