{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:07Z","timestamp":1725489067403},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_18","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"205-220","source":"Crossref","is-referenced-by-count":0,"title":["Using Formal Concept Analysis in Mathematical Discovery"],"prefix":"10.1007","author":[{"given":"Simon","family":"Colton","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Colton, S.: Refactorable numbers - a machine invention. Journal of Integer Sequences, 2 (1999)"},{"key":"18_CR2","unstructured":"Colton, S., Dennis, L.: The numberswithnames program. In: Proceedings of the Seventh AI and Maths Symposium (2002)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Colton, S., Torres, P., Cairns, P., Sorge, V.: Managing automatically formed mathematical theories. In: Proceedings of the 5th International Conference on Mathematical Knowledge Management (2006)","DOI":"10.1007\/11812289_19"},{"key":"18_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0147-5","volume-title":"Automated Theory Formation in Pure Mathematics","author":"S. Colton","year":"2002","unstructured":"Colton, S.: Automated Theory Formation in Pure Mathematics. Springer, Heidelberg (2002)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0012-365X(88)90199-9","volume":"23","author":"S. Fajtlowicz","year":"1988","unstructured":"Fajtlowicz, S.: On conjectures of Graffiti. Discrete Mathematics 72,\u00a023, 113\u2013118 (1988)","journal-title":"Discrete Mathematics 72,"},{"key":"18_CR6","unstructured":"Fajtlowicz, S.: The writing on the wall. Unpublished preprint (1999), available from http:\/\/math.uh.edu\/~clarson\/"},{"key":"18_CR7","first-page":"101","volume-title":"chapter Contextual Attribute Logic of Many-Valued Attributes","author":"B. Ganter","year":"2005","unstructured":"Ganter, B.: Formal Concept Analysis. Foundations and Applications. In: chapter Contextual Attribute Logic of Many-Valued Attributes, pp. 101\u2013113. Springer, Heidelberg (2005)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-540-45091-7_6","volume-title":"Conceptual Structures for Knowledge Creation and Communication","author":"B. Ganter","year":"2003","unstructured":"Ganter, B., Kuznetsov, S.: Hypotheses and version spaces. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS, vol.\u00a02746, pp. 83\u201395. Springer, Heidelberg (2003)"},{"volume-title":"Formal Concept Analysis. Foundations and Applications","year":"2005","key":"18_CR9","unstructured":"Ganter, B., Stumme, G., Wille, R. (eds.): Formal Concept Analysis. Foundations and Applications. Springer, Heidelberg (2005)"},{"key":"18_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"issue":"1","key":"18_CR11","first-page":"3","volume":"98","author":"M. Hidalgo","year":"2004","unstructured":"Hidalgo, M., Martin-Mateos, F., Ruiz-Reina, J., Alonso, J.A., Borrego, J.: Verification of the Formal Concept Analysis. Rev. R. Acad. Cien. Serie A. Mat.\u00a098(1), 3\u201316 (2004)","journal-title":"Rev. R. Acad. Cien. Serie A. Mat."},{"key":"18_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-24651-0_25","volume-title":"Concept Lattices","author":"S. Kuznetsov","year":"2004","unstructured":"Kuznetsov, S.: Machine learning and formal concept analysis. In: Eklund, P.W. (ed.) ICFCA 2004. LNCS (LNAI), vol.\u00a02961, pp. 287\u2013312. Springer, Heidelberg (2004)"},{"key":"18_CR13","unstructured":"Liquiere, M., Sallantin, J.: Structural machine learning with galois lattice and graphs. In: International Conference on Machine Learning (1998)"},{"key":"18_CR14","unstructured":"Mohamadali, N.: A rational reconstruction of Graffiti. Master\u2019s thesis, Department of Computing, Imperial College, London (2003)"},{"key":"18_CR15","first-page":"72","volume-title":"chapter Conceptual Data Systems","author":"P. Scheich","year":"1992","unstructured":"Scheich, P., Skorsky, M., Vogt, F., Wachter, C., Wille, R.: Information and Classification - Concepts, Methods and Applications. In: chapter Conceptual Data Systems, pp. 72\u201384. Springer, Heidelberg (1992)"},{"issue":"1","key":"18_CR16","first-page":"1","volume":"1","author":"C. Schwarzweller","year":"2000","unstructured":"Schwarzweller, C.: Mizar formalization of concept lattices. Mechanized Mathematics and its Application\u00a01(1), 1\u201310 (2000)","journal-title":"Mechanized Mathematics and its Application"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Sloane, N.J.A.: My favorite integer sequences. In: Proceedings of the International Conference on Sequences and Applications (1998)","DOI":"10.1007\/978-1-4471-0551-0_7"},{"key":"18_CR18","unstructured":"Waterloo Maple. Maple Manual at, http:\/\/www.maplesoft.on.ca"},{"key":"18_CR19","unstructured":"Yevtushenko, S.: System of data analysis concept explorer. In: Proceedings of the 7th national conference on Artificial Intelligence KII, pp. 127\u2013134 (2000)"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:43Z","timestamp":1619517583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}