{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:20Z","timestamp":1740099140763,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_42","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T10:57:13Z","timestamp":1531479433000},"page":"352-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Francy - An Interactive Discrete Mathematics Framework for GAP"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Machado Martins","sequence":"first","affiliation":[]},{"given":"Markus","family":"Pfeiffer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"42_CR1","volume-title":"Visual Leap: A Step-by-Step Guide to Visual Learning for Teachers and Students","author":"J Berg","year":"2015","unstructured":"Berg, J.: Visual Leap: A Step-by-Step Guide to Visual Learning for Teachers and Students. Bibliomotion Incorporated, San Francsico (2015)"},{"key":"42_CR2","unstructured":"The GAP Group: Gap - groups, algorithms, and programming, version 4.9.1 (2018). https:\/\/www.gap-system.org\/"},{"key":"42_CR3","unstructured":"Neunh\u00f6ffer, M., Celler, F.: XGAP documentation, what is XGAP? (2018). https:\/\/www.gap-system.org\/Manuals\/pkg\/xgap-4.26\/htm\/CHAP002.htm"},{"key":"42_CR4","unstructured":"Neub\u00fcser, J., Felsch, V., Hippe, L.: ITC documentation, what is ITC? (2018). https:\/\/www.gap-system.org\/Manuals\/pkg\/itc\/htm\/CHAP001.htm"},{"key":"42_CR5","unstructured":"Woodroofe, R.: Introducing gap.app (2018). https:\/\/cocoagap.sourceforge.io\/"},{"key":"42_CR6","unstructured":"Jupyter Community: Project jupyter (2018). http:\/\/jupyter.org\/"},{"key":"42_CR7","unstructured":"OpenDreamKit Community: Project opendreamkit (2018). http:\/\/opendreamkit.org\/"},{"key":"42_CR8","unstructured":"Machado Martins, M.: Francy github page (2018). https:\/\/github.com\/mcmartins\/francy\/"},{"key":"42_CR9","doi-asserted-by":"publisher","unstructured":"De Beule, J., Jonu\u0161as, J., Mitchell, J.D., Torpey, M., Wilson, W.A.: Digraphs - gap package, version 0.12.1, April 2018. https:\/\/doi.org\/10.5281\/zenodo.596465","DOI":"10.5281\/zenodo.596465"},{"key":"42_CR10","doi-asserted-by":"crossref","DOI":"10.1201\/9780203494455","volume-title":"Computer Science Handbook","author":"AB Tucker","year":"2004","unstructured":"Tucker, A.B.: Computer Science Handbook, 2nd edn. CRC Press, New York (2004)","edition":"2"},{"key":"42_CR11","unstructured":"Crockford, D.: The Javascript object notation (JSON) data interchange format (2018). https:\/\/tools.ietf.org\/html\/rfc8259"},{"key":"42_CR12","unstructured":"Machado Martins, M.: Francy schema github page (2018). https:\/\/github.com\/mcmartins\/francy\/blob\/master\/gap\/schema\/francy.json"},{"key":"42_CR13","unstructured":"JSON Schema Community: JSON schema (2018). http:\/\/json-schema.org\/"},{"key":"42_CR14","unstructured":"Mozilla and individual contributors: Mime types (2018). https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/HTTP\/Basics_of_HTTP\/MIME_types"},{"key":"42_CR15","unstructured":"Jefferson, C.: JSON - reading and writing JSON (2018). https:\/\/www.gap-system.org\/Manuals\/pkg\/json-1.2.0\/doc\/chap0.html"},{"key":"42_CR16","unstructured":"Jupyter Community: Jupyter documentation, jupyter kernel gateway (2018). http:\/\/jupyter-kernel-gateway.readthedocs.io\/en\/latest\/"},{"key":"42_CR17","unstructured":"Pfeiffer, M.: Native Jupyter kernel for gap github page (2018). https:\/\/github.com\/gap-packages\/JupyterKernel"},{"key":"42_CR18","unstructured":"Bostock, M.: Data-driven documents, d3 (2018). https:\/\/d3js.org\/"},{"key":"42_CR19","unstructured":"Mozilla and individual contributors: Websockets (2018). https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/API\/WebSockets_API"},{"key":"42_CR20","unstructured":"Jeffrey, C.: tty.js github page (2018). https:\/\/github.com\/chjj\/tty.js"},{"key":"42_CR21","unstructured":"Garc\u00eda-S\u00e1nchez, P.A.: Francy monoids github page (2018). https:\/\/github.com\/pedritomelenas\/francy-monoids"},{"key":"42_CR22","unstructured":"Machado Martins, M.: Subgroup lattice github page (2018). https:\/\/github.com\/mcmartins\/subgroup-lattice"},{"key":"42_CR23","unstructured":"Machado Martins, M.: Interactive todd-coxeter github page (2018). https:\/\/github.com\/mcmartins\/interactive-todd-coxeter"},{"key":"42_CR24","unstructured":"Mozilla and individual contributors: Web workers API (2018). https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/API\/Web_Workers_API"},{"key":"42_CR25","unstructured":"Electron Community: Build cross platform desktop apps with Javascript, HTML, and CSS (2018). https:\/\/electronjs.org\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:55:32Z","timestamp":1604613332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}