{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:14:15Z","timestamp":1725459255462},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019200X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039182","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:19:45Z","timestamp":1138198785000},"page":"88-97","source":"Crossref","is-referenced-by-count":0,"title":["A symbolic manipulation system for combinatorial problems"],"prefix":"10.1007","author":[{"given":"P.","family":"Massazza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Righi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Torelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/0020-0190(79)90093-0","volume":"8","author":"A. Bertoni","year":"1979","unstructured":"Bertoni, A., Mauri, G., Torelli, M., Three efficient algorithms for counting problems, Inform. Proc. Lett., 8 (1979), 50\u201353","journal-title":"Inform. Proc. Lett."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF02576653","volume":"17","author":"A. Bertoni","year":"1980","unstructured":"Bertoni, A., Mauri, G., Torelli, M., Sulla complessit\u00e0 di alcuni problemi di conteggio, Calcolo, 17 (1980), 163\u2013174","journal-title":"Calcolo"},{"key":"10_CR3","unstructured":"Durand, E., Solutions num\u00e9rique des \u00e9quations alg\u00e9briques, vol. 1, Masson, 1960"},{"key":"10_CR4","unstructured":"Goulden, I.P., Jackson, D.M., Combinatorial Enumeration, Wiley, 1983"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Henrici, P., Applied and Computational Complex Analysis, vol.1, Wiley, 1974","DOI":"10.1090\/psapm\/020\/0349957"},{"key":"10_CR6","volume-title":"Un sistema di manipolazione simbolica per problemi combinatori: specifiche di strutture e soluzioni di problemi di conteggio","author":"P. Massazza","year":"1985","unstructured":"Massazza, P., Un sistema di manipolazione simbolica per problemi combinatori: specifiche di strutture e soluzioni di problemi di conteggio, Thesis, Dipartimento di Scienze dell'Informazione, Milano, 1985"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Mignotte, M., Some Useful Bounds, in Computer Algebra Symbolic and Algebraic Computation, B. Buchberger et al. Eds., Springer, 1983","DOI":"10.1007\/978-3-7091-7551-4_16"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Rich, A.D., Stoutemyer, D.R., Capabilities of the muMATH-79 Computer Algebra System for the Intel 8080 Microprocessor, EUROSAM 1979, 241\u2013248","DOI":"10.1007\/3-540-09519-5_76"},{"key":"10_CR9","volume-title":"Un sistema di manipolazione simbolica per problemi combinatori: specificazione del problema","author":"P. Righi","year":"1985","unstructured":"Righi, P., Un sistema di manipolazione simbolica per problemi combinatori: specificazione del problema, Thesis, Dipartimento di Scienze dell'Informazione, Milano, 1985"},{"key":"10_CR10","unstructured":"Stanley, P.R., Generating Functions, in Studies in Combinatorics, (G.C. Rota ed.), MAA Studies in Mathematics, vol.17, The Mathematical Association of America, 1978"}],"container-title":["Lecture Notes in Computer Science","Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039182.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:24:55Z","timestamp":1607552695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019200X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0039182","relation":{},"subject":[]}}