{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:00:43Z","timestamp":1743109243176,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319986531"},{"type":"electronic","value":"9783319986548"}],"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-99639-4_20","type":"book-chapter","created":{"date-parts":[[2018,8,22]],"date-time":"2018-08-22T15:43:34Z","timestamp":1534952614000},"page":"288-303","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Purely Functional Computer Algebra System Embedded in Haskell"],"prefix":"10.1007","author":[{"given":"Hiromi","family":"Ishii","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,23]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 268\u2013279. ACM, New York (2000). https:\/\/doi.org\/10.1145\/351240.351266","DOI":"10.1145\/351240.351266"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-48167-2_3","volume-title":"Types for Proofs and Programs","author":"T Coquand","year":"1999","unstructured":"Coquand, T., Persson, H.: Gr\u00f6bner bases in type theory. In: Altenkirch, T., Reus, B., Naraschewski, W. (eds.) TYPES 1998. LNCS, vol. 1657, pp. 33\u201346. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48167-2_3"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Coutts, D., Leshchinskiy, R., Stewart, D.: Stream fusion. from lists to streams to nothing at all. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 (2007)","DOI":"10.1145\/1291151.1291199"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Eisenberg, R.A., Weirich, S.: Dependently typed programming with singletons. ACM SIGPLAN Not. 47(12), 117\u2013130 (2012). Haskell 2012","DOI":"10.1145\/2430532.2364522"},{"issue":"1","key":"20_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J-C Faug\u00e9re","year":"1999","unstructured":"Faug\u00e9re, J.-C.: A new efficient algorithm for computing Gr\u00f6bner bases ( $${F}_4$$ ). J. Pure Appl. Algebra 139(1), 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebra"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Faug\u00e9re, J.-C.: A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero ( $${F}_5$$ ). In: Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, pp. 75\u201383. ACM, Lille (2002)","DOI":"10.1145\/780506.780516"},{"key":"20_CR7","unstructured":"GHC Team: The Glasgow Haskell Compiler (2018). https:\/\/www.haskell.org\/ghc\/ . Accessed 2018"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Giovini, A., Mora, T., Niesi, G., Robbiano, L., Traverso, C.: \u201cOne sugar cube, please\u201d or selection strategies in the Buchberger algorithm. In: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC 1991, pp. 5\u20134. ACM (1991)","DOI":"10.1145\/120694.120701"},{"key":"20_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04963-1","volume-title":"A Singular Introduction to Commutative Algebra","author":"G-M Greuel","year":"2007","unstructured":"Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra, 2nd edn. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-662-04963-1","edition":"2"},{"key":"20_CR10","unstructured":"Haskell Committee: The Haskell Programming Language. http:\/\/haskell.org\/"},{"key":"20_CR11","unstructured":"Hypothesis: Most testing is ine ective - Hypothesis (2018). https:\/\/hypothesis.works . Accessed 06 May 2018"},{"key":"20_CR12","unstructured":"Ishii, H.: The computational-algebra package (2018). https:\/\/konn.github.io\/computational-algebra"},{"key":"20_CR13","unstructured":"Ishii, H.: The ghc-typelits-presburger package (2017). http:\/\/hackage.haskell.org\/package\/ghc-typelits-presburger"},{"key":"20_CR14","unstructured":"Ishii, H.: The type-natural package (2013). http:\/\/hackage.haskell.org\/package\/type-natural"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-02297-0_18","volume-title":"Computer Algebra in Scientific Computing","author":"R Jolly","year":"2013","unstructured":"Jolly, R.: Categories as type classes in the scala algebra system. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2013. LNCS, vol. 8136, pp. 209\u2013218. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-02297-0_18"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Keller, G., Chakravarty, M.M., Leshchinskiy, R., Peyton Jones, S., Lippmeier, B.: Regular, shape-polymorphic, parallel arrays in Haskell. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, pp. 261\u2013272. ACM, Baltimore (2010)","DOI":"10.1145\/1863543.1863582"},{"key":"20_CR17","unstructured":"Kmett, E.A.: The algebra package (2011). http:\/\/hackage.haskell.org\/package\/algebra . Accessed 2018"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15274-0_14","volume-title":"Computer Algebra in Scientific Computing","author":"H Kredel","year":"2010","unstructured":"Kredel, H., Jolly, R.: Generic, type-safe and object oriented computer algebra software. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol. 6244, pp. 162\u2013177. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15274-0_14"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Launchbury, J., Peyton Jones, S.L.: Lazy functional state threads. In: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, PLDI 1994, pp. 24\u201335. ACM, Orlando (1994)","DOI":"10.1145\/178243.178246"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-15274-0_15","volume-title":"Computer Algebra in Scientific Computing","author":"O Lobachev","year":"2010","unstructured":"Lobachev, O., Loogen, R.: Implementing data parallel rational multiple-residue arithmetic in Eden. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2010. LNCS, vol. 6244, pp. 178\u2013193. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15274-0_15"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Marlow, S.: Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming. O\u2019Reilly Media, Sebastopol (2013)","DOI":"10.1007\/978-3-642-32096-5_7"},{"key":"20_CR22","doi-asserted-by":"publisher","unstructured":"Marlow, S., Maier, P., Loidl, H.-W., Aswad, M.K., Trinder, P.: Seq no more: better strategies for parallel Haskell. In: Proceedings of the Third ACM Haskell Symposium on Haskell, Haskell 2010, pp. 91\u2013102. ACM, Baltimore (2010). https:\/\/doi.org\/10.1145\/1863523.1863535","DOI":"10.1145\/1863523.1863535"},{"key":"20_CR23","unstructured":"Mechveliani, S.D.: Computer algebra with Haskell: applying functional-categorial-\u201clazy\u201d programming. In: Proceedings of International Workshop CAAP, pp. 203\u2013211 (2001)"},{"key":"20_CR24","unstructured":"Mechveliani, S.D.: DoCon-A a Provable Algebraic Domain Constructor (2018). http:\/\/www.botik.ru\/pub\/local\/Mechveliani\/docon-A\/2.02\/manual.pdf . Accessed 06 May 2018"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Pan, S., Hu, Y., Wang, B.: The termination of the F5 algorithm revisited. In: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC 2013, pp. 291\u2013298. ACM, Boston (2013)","DOI":"10.1145\/2465506.2465520"},{"key":"20_CR26","doi-asserted-by":"publisher","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. In: Proceedings of the First ACM SIGPLAN Symposium on Haskell, Haskell 2008, pp. 37\u201348. ACM, Victoria (2008). https:\/\/doi.org\/10.1145\/1411286.1411292","DOI":"10.1145\/1411286.1411292"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Yorgey, B.A., Weirich, S., Cretin, J., Peyton Jones, S., Vytiniotis, D., Magalh\u00e3es, J.P.: Giving Haskell a promotion. In: Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI 2012, pp. 53\u201366. ACM, Philadelphia (2012)","DOI":"10.1145\/2103786.2103795"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99639-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T15:38:41Z","timestamp":1571758721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99639-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319986531","9783319986548"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99639-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}