Rings: An efficient Java/Scala library for polynomial rings
In this paper we briefly discuss Rings — an efficient lightweight library for commutative algebra. Polynomial arithmetic, GCDs, polynomial factorization and Gröbner bases are implemented with the use of modern asymptotically fast algorithms. Rings can be easily interacted or embedded in applications...
Uložené v:
| Vydané v: | Computer physics communications Ročník 235; s. 400 - 413 |
|---|---|
| Hlavný autor: | |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier B.V
01.02.2019
|
| Predmet: | |
| ISSN: | 0010-4655, 1879-2944 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | In this paper we briefly discuss Rings — an efficient lightweight library for commutative algebra. Polynomial arithmetic, GCDs, polynomial factorization and Gröbner bases are implemented with the use of modern asymptotically fast algorithms. Rings can be easily interacted or embedded in applications in high-energy physics and other research areas via a simple API with fully typed hierarchy of algebraic structures and algorithms for commutative algebra. The use of the Scala language brings a quite novel powerful, strongly typed functional programming model allowing to write short, expressive, and fast code for applications. At the same time Rings shows one of the best performances among existing software for algebraic calculations.
Program Title:Rings
Program Files doi:http://dx.doi.org/10.17632/2k79hftjy9.1
Licensing provisions: Apache 2.0
Programming language: Java, Scala
Nature of problem: Fast methods for rational function arithmetic, simplification of polynomial expressions, Gröbner bases and other related computer algebra methods naturally arising in physical applications
Solution method: Efficient implementation of modern asymptotically fast algorithms in Java language
External routines: Java 8 and higher, Scala 2.11 or 2.12
Additional comments: project page: https://github.com/PoslavskySV/rings,
documentation: http://rings.readthedocs.io/en/latest/ |
|---|---|
| AbstractList | In this paper we briefly discuss Rings — an efficient lightweight library for commutative algebra. Polynomial arithmetic, GCDs, polynomial factorization and Gröbner bases are implemented with the use of modern asymptotically fast algorithms. Rings can be easily interacted or embedded in applications in high-energy physics and other research areas via a simple API with fully typed hierarchy of algebraic structures and algorithms for commutative algebra. The use of the Scala language brings a quite novel powerful, strongly typed functional programming model allowing to write short, expressive, and fast code for applications. At the same time Rings shows one of the best performances among existing software for algebraic calculations.
Program Title:Rings
Program Files doi:http://dx.doi.org/10.17632/2k79hftjy9.1
Licensing provisions: Apache 2.0
Programming language: Java, Scala
Nature of problem: Fast methods for rational function arithmetic, simplification of polynomial expressions, Gröbner bases and other related computer algebra methods naturally arising in physical applications
Solution method: Efficient implementation of modern asymptotically fast algorithms in Java language
External routines: Java 8 and higher, Scala 2.11 or 2.12
Additional comments: project page: https://github.com/PoslavskySV/rings,
documentation: http://rings.readthedocs.io/en/latest/ |
| Author | Poslavsky, Stanislav |
| Author_xml | – sequence: 1 givenname: Stanislav orcidid: 0000-0003-3236-1452 surname: Poslavsky fullname: Poslavsky, Stanislav email: stvlpos@mail.ru organization: Institute for high-energy physics NRC “Kurchatov Institute”, 142281 Protvino, Russia |
| BookMark | eNp90M1qwzAMwHEzOljb7QF2ywsklRM7TtZTKfukMNjH2aiKPFzSpDih0LdfQnfaoSedfkJ_zcSkaRsW4l5CIkHmi11CB0pSkEUCZQKgr8RUFqaM01KpiZgCSIhVrvWNmHXdDgCMKbOpWH745qd7iFZNxM558tz00RsecfFJWGNU-23AcIpcG6JDW5-adu-xjsKobsW1w7rju785F99Pj1_rl3jz_vy6Xm1iSkvTx1hgpik3bGDLFRVK5gVutYJqOI1UpqWCVDtCplxxhqrSmJnKASskTjGbC3neS6HtusDOHoLfD1dZCXastzs71Nux3kJph_rBmH-GfI-9b5s-oK8vyuVZ8pB09BxsN36FuPKBqbdV6y_oX8KXdqs |
| CitedBy_id | crossref_primary_10_1088_1742_6596_1525_1_012020 crossref_primary_10_1088_1742_6596_1525_1_012006 |
| Cites_doi | 10.1006/jabr.2000.8586 10.1145/1089220.1089228 10.1007/JHEP04(2017)006 10.1007/978-1-4612-0913-3 10.1016/j.cpc.2012.03.025 10.1016/S0022-4049(99)00005-5 10.1090/S0025-5718-1981-0606517-5 10.1090/S0025-5718-03-01501-1 10.1016/S0747-7171(88)80048-8 10.1016/j.physletb.2015.03.029 10.1007/BF01457454 10.1006/jsco.1995.1055 10.1007/JHEP06(2017)040 10.1007/BF01933667 10.1006/jsco.1996.0056 10.1006/jsco.2001.0494 10.1016/j.cpc.2012.12.028 10.1145/1940475.1940521 10.1016/S0747-7171(89)80053-7 10.1016/0022-314X(80)90084-0 10.1016/S0747-7171(02)00140-2 10.1016/S0022-314X(01)92763-5 10.1088/1126-6708/2008/10/107 10.1017/S0305004100049252 10.1145/1088216.1088219 10.1016/j.cpc.2017.08.025 10.1006/jsco.1995.1052 10.1145/321662.321664 |
| ContentType | Journal Article |
| Copyright | 2018 Elsevier B.V. |
| Copyright_xml | – notice: 2018 Elsevier B.V. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.cpc.2018.09.005 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Physics |
| EISSN | 1879-2944 |
| EndPage | 413 |
| ExternalDocumentID | 10_1016_j_cpc_2018_09_005 S0010465518303199 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29F 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARLI AAXUO AAYFN ABBOA ABFNM ABMAC ABNEU ABQEM ABQYD ABXDB ABYKQ ACDAQ ACFVG ACGFS ACLVX ACNNM ACRLP ACSBN ACZNC ADBBV ADECG ADEZE ADJOM ADMUD AEBSH AEKER AENEX AFKWA AFTJW AFZHZ AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AIVDX AJBFU AJOXV AJSZI ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG ATOGT AVWKF AXJTR AZFZN BBWZM BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FLBIZ FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HLZ HME HMV HVGLF HZ~ IHE IMUCA J1W KOM LG9 LZ4 M38 M41 MO0 N9A NDZJH O-L O9- OAUVE OGIMB OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SCB SDF SDG SES SEW SHN SPC SPCBC SPD SPG SSE SSK SSQ SSV SSZ T5K TN5 UPT VH1 WUQ ZMT ~02 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c297t-a8a35c67e70bedc84168ab540d944c43514025fcaec64e3a4d5a37df0e4ace2a3 |
| ISICitedReferencesCount | 5 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000451491100038&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0010-4655 |
| IngestDate | Sat Nov 29 07:00:38 EST 2025 Tue Nov 18 21:44:06 EST 2025 Fri Feb 23 02:49:14 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Commutative algebra Polynomial arithmetic Computer algebra |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c297t-a8a35c67e70bedc84168ab540d944c43514025fcaec64e3a4d5a37df0e4ace2a3 |
| ORCID | 0000-0003-3236-1452 |
| PageCount | 14 |
| ParticipantIDs | crossref_primary_10_1016_j_cpc_2018_09_005 crossref_citationtrail_10_1016_j_cpc_2018_09_005 elsevier_sciencedirect_doi_10_1016_j_cpc_2018_09_005 |
| PublicationCentury | 2000 |
| PublicationDate | February 2019 2019-02-00 |
| PublicationDateYYYYMMDD | 2019-02-01 |
| PublicationDate_xml | – month: 02 year: 2019 text: February 2019 |
| PublicationDecade | 2010 |
| PublicationTitle | Computer physics communications |
| PublicationYear | 2019 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Brown (b34) 1971; 18 Crandall, Pomerance (b32) 2006 Pollard (b29) 1975; 15 Monagan, Pearce (b44) 2011; 44 von Manteuffel, Schabinger (b4) 2015; B744 B. Ruijl, T. Ueda, J. Vermaseren, FORM version 4.2, 2017. Granlund, the GMP development team (b22) 2017 R. Lewis, Computer algebra system fermat, 2018. Langemyr, McCallum (b35) 1989; 8 Kaltofen, Monagan (b48) 1999 T. Daly, Axiom: The scientific computation system, 2018. Faugère (b20) 2010 Traverso (b60) 1996; 22 A. Raichev, Leinartas’s partial fraction decomposition, arxiv e-prints, 2012. Trager (b43) 1976 Kaltofen (b50) 1985 Miller (b27) 1975 . Rabin (b28) 1980; 12 Kuipers, Ueda, Vermaseren, Vollinga (b11) 2013; 184 Acar, Aksu, Selcuk Uluagac, Conti (b5) 2017; abs/1704.03578 Zippel (b45) 1979 W. Decker, G.-M. Greuel, G. Pfister, H. Schönemann Shoup (b38) 1995; 4 Bauer, Frink, Kreckel (b10) 2002; 33 Pomerance (b31) 1982 Faugère, Lachartre (b58) 2010 van Hoeij (b41) 2002; 95 Joux, Vitse (b59) 2011 Larsen, Rietkerk (b2) 2018; 222 Gebauer, Möller (b55) 1988; 6 Cantor, Zassenhaus (b37) 1981; 36 Smirnov (b13) 2008; 10 von zur Gathen, Gerhard (b17) 2003 Zippel (b40) 1993 Becker, Weispfenning, Kredel (b56) 1993 Buchberger (b61) 1976; 10 Pollard (b30) 1974; 76 Giovini, Mora, Niesi, Robbiano, Traverso (b64) 1991 Encarnación (b36) 1995; 20 Meyer (b3) 2017; 04 A. von Manteuffel, C. Studerus, Reduze 2 - Distributed Feynman Integral Reduction, 2012. Bernardin (b53) 1999 Fog (b25) 2017 Cox, Little, O’Shea (b63) 2008 Barrett (b24) 1987 Faugére (b57) 1999; 139 Moses, Yun (b49) 1973 Lee (b51) 2013 4-1-0 —A computer algebra system for polynomial computations, 2016. Knuth (b23) 1997 Arnold (b62) 2003; 35 T. Coladon, V. Vitse, A. Joux, OpenF4 implementation, 2018. V. Shoup, NTL: A library for doing number theory, 2018. Larsen, Zhang (b1) 2016; D93 Bernardin, Monagan (b52) 1997 W. Hart, F. Johansson, S. Pancratz, FLINT: Fast library for number theory, 2018. Atkin, Bernstein (b33) 2004; 73 Wang (b47) 1980 Geddes, Czapor, Labahn (b39) 1992 Lenstra, Lenstra, Lovász (b42) 1982; 261 Kondor (b6) 2008 Feng (b18) 2012; 183 Gao (b54) 2001; 237 de Kleine, Monagan, Wittkopf (b46) 2005 Warren (b26) 2012 Granlund (10.1016/j.cpc.2018.09.005_b22) 2017 Pomerance (10.1016/j.cpc.2018.09.005_b31) 1982 Geddes (10.1016/j.cpc.2018.09.005_b39) 1992 Lee (10.1016/j.cpc.2018.09.005_b51) 2013 Warren (10.1016/j.cpc.2018.09.005_b26) 2012 Wang (10.1016/j.cpc.2018.09.005_b47) 1980 van Hoeij (10.1016/j.cpc.2018.09.005_b41) 2002; 95 Becker (10.1016/j.cpc.2018.09.005_b56) 1993 Fog (10.1016/j.cpc.2018.09.005_b25) 2017 Bernardin (10.1016/j.cpc.2018.09.005_b52) 1997 Faugére (10.1016/j.cpc.2018.09.005_b57) 1999; 139 Kondor (10.1016/j.cpc.2018.09.005_b6) 2008 Langemyr (10.1016/j.cpc.2018.09.005_b35) 1989; 8 Cox (10.1016/j.cpc.2018.09.005_b63) 2008 Giovini (10.1016/j.cpc.2018.09.005_b64) 1991 Faugère (10.1016/j.cpc.2018.09.005_b58) 2010 Bernardin (10.1016/j.cpc.2018.09.005_b53) 1999 Kuipers (10.1016/j.cpc.2018.09.005_b11) 2013; 184 Crandall (10.1016/j.cpc.2018.09.005_b32) 2006 Atkin (10.1016/j.cpc.2018.09.005_b33) 2004; 73 Pollard (10.1016/j.cpc.2018.09.005_b29) 1975; 15 Encarnación (10.1016/j.cpc.2018.09.005_b36) 1995; 20 Zippel (10.1016/j.cpc.2018.09.005_b40) 1993 Kaltofen (10.1016/j.cpc.2018.09.005_b48) 1999 Lenstra (10.1016/j.cpc.2018.09.005_b42) 1982; 261 Barrett (10.1016/j.cpc.2018.09.005_b24) 1987 Cantor (10.1016/j.cpc.2018.09.005_b37) 1981; 36 de Kleine (10.1016/j.cpc.2018.09.005_b46) 2005 Larsen (10.1016/j.cpc.2018.09.005_b2) 2018; 222 Zippel (10.1016/j.cpc.2018.09.005_b45) 1979 Buchberger (10.1016/j.cpc.2018.09.005_b61) 1976; 10 Bauer (10.1016/j.cpc.2018.09.005_b10) 2002; 33 Brown (10.1016/j.cpc.2018.09.005_b34) 1971; 18 10.1016/j.cpc.2018.09.005_b21 Knuth (10.1016/j.cpc.2018.09.005_b23) 1997 Miller (10.1016/j.cpc.2018.09.005_b27) 1975 Rabin (10.1016/j.cpc.2018.09.005_b28) 1980; 12 Traverso (10.1016/j.cpc.2018.09.005_b60) 1996; 22 Smirnov (10.1016/j.cpc.2018.09.005_b13) 2008; 10 Larsen (10.1016/j.cpc.2018.09.005_b1) 2016; D93 von zur Gathen (10.1016/j.cpc.2018.09.005_b17) 2003 Meyer (10.1016/j.cpc.2018.09.005_b3) 2017; 04 Monagan (10.1016/j.cpc.2018.09.005_b44) 2011; 44 Shoup (10.1016/j.cpc.2018.09.005_b38) 1995; 4 Arnold (10.1016/j.cpc.2018.09.005_b62) 2003; 35 Kaltofen (10.1016/j.cpc.2018.09.005_b50) 1985 Pollard (10.1016/j.cpc.2018.09.005_b30) 1974; 76 10.1016/j.cpc.2018.09.005_b15 Joux (10.1016/j.cpc.2018.09.005_b59) 2011 10.1016/j.cpc.2018.09.005_b16 10.1016/j.cpc.2018.09.005_b19 Feng (10.1016/j.cpc.2018.09.005_b18) 2012; 183 Gao (10.1016/j.cpc.2018.09.005_b54) 2001; 237 Faugère (10.1016/j.cpc.2018.09.005_b20) 2010 10.1016/j.cpc.2018.09.005_b12 Trager (10.1016/j.cpc.2018.09.005_b43) 1976 10.1016/j.cpc.2018.09.005_b14 Gebauer (10.1016/j.cpc.2018.09.005_b55) 1988; 6 10.1016/j.cpc.2018.09.005_b7 Moses (10.1016/j.cpc.2018.09.005_b49) 1973 10.1016/j.cpc.2018.09.005_b8 10.1016/j.cpc.2018.09.005_b9 von Manteuffel (10.1016/j.cpc.2018.09.005_b4) 2015; B744 Acar (10.1016/j.cpc.2018.09.005_b5) 2017; abs/1704.03578 |
| References_xml | – year: 2006 ident: b32 publication-title: Prime Numbers: A Computational Perspective – start-page: 89 year: 2010 end-page: 97 ident: b58 publication-title: Proceedings of the 4th International Workshop on Parallel and Symbolic Computation – volume: 261 start-page: 515 year: 1982 end-page: 534 ident: b42 publication-title: Math. Ann. – year: 1997 ident: b23 article-title: The Art of Computer Programming, Volume 2 (3rd Ed.): Seminumerical Algorithms – volume: 22 start-page: 355 year: 1996 end-page: 376 ident: b60 publication-title: J. Symbolic Comput. – volume: 18 start-page: 478 year: 1971 end-page: 504 ident: b34 publication-title: J. ACM – reference: V. Shoup, NTL: A library for doing number theory, 2018. – start-page: 59 year: 1999 end-page: 66 ident: b48 publication-title: Proceeding of ISSAC’99 – reference: B. Ruijl, T. Ueda, J. Vermaseren, FORM version 4.2, 2017. – volume: 95 start-page: 167 year: 2002 end-page: 189 ident: b41 publication-title: J. Number Theory – volume: B744 start-page: 101 year: 2015 end-page: 104 ident: b4 publication-title: Phys. Lett. – volume: 4 start-page: 363 year: 1995 end-page: 397 ident: b38 publication-title: J. Symbolic Comput. – start-page: 159 year: 1973 end-page: 166 ident: b49 publication-title: Proceeding of ACM Annual Conference – year: 1993 ident: b56 publication-title: Graduate Texts in Mathematics – volume: 139 start-page: 61 year: 1999 end-page: 88 ident: b57 publication-title: J. Pure Appl. Algebra – volume: D93 start-page: 041701 year: 2016 ident: b1 publication-title: Phys. Rev. – volume: 8 start-page: 429 year: 1989 end-page: 448 ident: b35 publication-title: J. Symbolic Comput. – start-page: 49 year: 1991 end-page: 54 ident: b64 publication-title: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation – reference: R. Lewis, Computer algebra system fermat, 2018. – year: 2008 ident: b63 publication-title: Undergraduate Texts in Mathematics – volume: 36 start-page: 587-592 year: 1981 ident: b37 publication-title: Math. Comp. – reference: T. Daly, Axiom: The scientific computation system, 2018. – start-page: 219 year: 1976 end-page: 226 ident: b43 publication-title: Proceedings of the Third ACM Symposium on Symbolic and Algebraic Computation – year: 2003 ident: b17 article-title: Modern Computer Algebra – start-page: 216 year: 1979 end-page: 226 ident: b45 publication-title: Proceedings of the International Symposiumon on Symbolic and Algebraic Computation EUROSAM’79 – volume: 12 start-page: 128 year: 1980 end-page: 138 ident: b28 publication-title: J. Number Theory – year: 2017 ident: b22 article-title: GNU MP: The GNU Multiple Precision Arithmetic Library – volume: 20 start-page: 299 year: 1995 end-page: 313 ident: b36 publication-title: J. Symbolic Comput. – volume: 183 start-page: 2158 year: 2012 end-page: 2164 ident: b18 publication-title: Comput. Phys. Comm. – reference: A. von Manteuffel, C. Studerus, Reduze 2 - Distributed Feynman Integral Reduction, 2012. – year: 1999 ident: b53 article-title: Factorization of Multivariate Polynomials over Finite Fields – volume: 237 start-page: 501 year: 2001 end-page: 520 ident: b54 publication-title: J. Algebra – year: 1993 ident: b40 article-title: Effective Polynomial Computation – start-page: 50 year: 1980 end-page: 60 ident: b47 publication-title: ACM SIGSAM Bull. – volume: 184 start-page: 1453 year: 2013 end-page: 1467 ident: b11 publication-title: Comput. Phys. Comm. – volume: abs/1704.03578 year: 2017 ident: b5 publication-title: CoRR – year: 2017 ident: b25 article-title: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs – start-page: 234 year: 1975 end-page: 239 ident: b27 publication-title: Proceedings of the Seventh Annual ACM Symposium on Theory of Computing – start-page: 356 year: 2011 end-page: 375 ident: b59 publication-title: Topics in Cryptology –CT-RSA 2011 – start-page: 311 year: 1987 end-page: 323 ident: b24 publication-title: Advances in Cryptology —CRYPTO’ 86: Proceedings – volume: 15 start-page: 331 year: 1975 end-page: 334 ident: b29 publication-title: BIT Numer. Math. – start-page: 84 year: 2010 end-page: 87 ident: b20 publication-title: Mathematical Software –ICMS 2010 – year: 2013 ident: b51 article-title: Factorization of Multivariate Polynomials – start-page: 15 year: 1997 end-page: 28 ident: b52 publication-title: Proceeding of AAECC’97, vol. 1255 – volume: 10 start-page: 107 year: 2008 ident: b13 publication-title: J. High Energy Phys. – volume: 10 start-page: 19 year: 1976 end-page: 29 ident: b61 publication-title: SIGSAM Bull. – volume: 6 start-page: 275 year: 1988 end-page: 286 ident: b55 publication-title: J. Symbolic Comput. – volume: 04 start-page: 006 year: 2017 ident: b3 publication-title: J. High Energy Phys. – year: 1982 ident: b31 publication-title: Mathematisch Centrum Computational Methods in Number Theory – volume: 76 start-page: 521 year: 1974 end-page: 528 ident: b30 publication-title: Math. Proc. Camb. Phil. Soc. – year: 2008 ident: b6 article-title: Group Theoretical Methods in Machine Learning – volume: 73 start-page: 1023 year: 2004 end-page: 1030 ident: b33 publication-title: Math. Comp. – start-page: 124 year: 2005 end-page: 131 ident: b46 publication-title: Proceeding of ISSAC’05 – volume: 33 start-page: 1 year: 2002 end-page: 12 ident: b10 publication-title: J. Symbolic Comput. – year: 2012 ident: b26 article-title: Hacker’s Delight – reference: T. Coladon, V. Vitse, A. Joux, OpenF4 implementation, 2018. – start-page: 4 year: 1985 end-page: 17 ident: b50 publication-title: Proceeding of EUROCAL’85, vol. 2 – reference: . – volume: 222 start-page: 250 year: 2018 end-page: 262 ident: b2 publication-title: Comput. Phys. Comm. – reference: W. Hart, F. Johansson, S. Pancratz, FLINT: Fast library for number theory, 2018. – volume: 44 start-page: 205 year: 2011 end-page: 209 ident: b44 publication-title: ACM Commun. Comput. Algebra – reference: A. Raichev, Leinartas’s partial fraction decomposition, arxiv e-prints, 2012. – reference: W. Decker, G.-M. Greuel, G. Pfister, H. Schönemann, – reference: 4-1-0 —A computer algebra system for polynomial computations, 2016. – year: 1992 ident: b39 article-title: Algorithms for computer algebra – volume: 35 start-page: 403 year: 2003 end-page: 419 ident: b62 publication-title: J. Symbolic Comput. – start-page: 216 year: 1979 ident: 10.1016/j.cpc.2018.09.005_b45 – start-page: 15 year: 1997 ident: 10.1016/j.cpc.2018.09.005_b52 – volume: 237 start-page: 501 issue: 2 year: 2001 ident: 10.1016/j.cpc.2018.09.005_b54 publication-title: J. Algebra doi: 10.1006/jabr.2000.8586 – start-page: 50 issue: 14 year: 1980 ident: 10.1016/j.cpc.2018.09.005_b47 publication-title: ACM SIGSAM Bull. doi: 10.1145/1089220.1089228 – ident: 10.1016/j.cpc.2018.09.005_b9 – volume: 04 start-page: 006 year: 2017 ident: 10.1016/j.cpc.2018.09.005_b3 publication-title: J. High Energy Phys. doi: 10.1007/JHEP04(2017)006 – start-page: 124 year: 2005 ident: 10.1016/j.cpc.2018.09.005_b46 – year: 2008 ident: 10.1016/j.cpc.2018.09.005_b6 – year: 2013 ident: 10.1016/j.cpc.2018.09.005_b51 – year: 1993 ident: 10.1016/j.cpc.2018.09.005_b56 doi: 10.1007/978-1-4612-0913-3 – ident: 10.1016/j.cpc.2018.09.005_b14 – start-page: 89 year: 2010 ident: 10.1016/j.cpc.2018.09.005_b58 – volume: 183 start-page: 2158 year: 2012 ident: 10.1016/j.cpc.2018.09.005_b18 publication-title: Comput. Phys. Comm. doi: 10.1016/j.cpc.2012.03.025 – volume: 139 start-page: 61 issue: 1 year: 1999 ident: 10.1016/j.cpc.2018.09.005_b57 publication-title: J. Pure Appl. Algebra doi: 10.1016/S0022-4049(99)00005-5 – volume: 36 start-page: 587-592 issue: 154 year: 1981 ident: 10.1016/j.cpc.2018.09.005_b37 publication-title: Math. Comp. doi: 10.1090/S0025-5718-1981-0606517-5 – volume: 73 start-page: 1023 year: 2004 ident: 10.1016/j.cpc.2018.09.005_b33 publication-title: Math. Comp. doi: 10.1090/S0025-5718-03-01501-1 – volume: 6 start-page: 275 issue: 2 year: 1988 ident: 10.1016/j.cpc.2018.09.005_b55 publication-title: J. Symbolic Comput. doi: 10.1016/S0747-7171(88)80048-8 – volume: B744 start-page: 101 year: 2015 ident: 10.1016/j.cpc.2018.09.005_b4 publication-title: Phys. Lett. doi: 10.1016/j.physletb.2015.03.029 – year: 2006 ident: 10.1016/j.cpc.2018.09.005_b32 – volume: 261 start-page: 515 issue: 4 year: 1982 ident: 10.1016/j.cpc.2018.09.005_b42 publication-title: Math. Ann. doi: 10.1007/BF01457454 – start-page: 234 year: 1975 ident: 10.1016/j.cpc.2018.09.005_b27 – volume: 4 start-page: 363 issue: 20 year: 1995 ident: 10.1016/j.cpc.2018.09.005_b38 publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1995.1055 – year: 1993 ident: 10.1016/j.cpc.2018.09.005_b40 – ident: 10.1016/j.cpc.2018.09.005_b12 doi: 10.1007/JHEP06(2017)040 – start-page: 59 year: 1999 ident: 10.1016/j.cpc.2018.09.005_b48 – volume: 15 start-page: 331 issue: 3 year: 1975 ident: 10.1016/j.cpc.2018.09.005_b29 publication-title: BIT Numer. Math. doi: 10.1007/BF01933667 – start-page: 159 year: 1973 ident: 10.1016/j.cpc.2018.09.005_b49 – volume: 22 start-page: 355 issue: 4 year: 1996 ident: 10.1016/j.cpc.2018.09.005_b60 publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1996.0056 – volume: 33 start-page: 1 issue: 1 year: 2002 ident: 10.1016/j.cpc.2018.09.005_b10 publication-title: J. Symbolic Comput. doi: 10.1006/jsco.2001.0494 – volume: 184 start-page: 1453 year: 2013 ident: 10.1016/j.cpc.2018.09.005_b11 publication-title: Comput. Phys. Comm. doi: 10.1016/j.cpc.2012.12.028 – start-page: 311 year: 1987 ident: 10.1016/j.cpc.2018.09.005_b24 – volume: 44 start-page: 205 issue: 3/4 year: 2011 ident: 10.1016/j.cpc.2018.09.005_b44 publication-title: ACM Commun. Comput. Algebra doi: 10.1145/1940475.1940521 – volume: D93 start-page: 041701 issue: 4 year: 2016 ident: 10.1016/j.cpc.2018.09.005_b1 publication-title: Phys. Rev. – volume: 8 start-page: 429 issue: 5 year: 1989 ident: 10.1016/j.cpc.2018.09.005_b35 publication-title: J. Symbolic Comput. doi: 10.1016/S0747-7171(89)80053-7 – volume: 12 start-page: 128 issue: 1 year: 1980 ident: 10.1016/j.cpc.2018.09.005_b28 publication-title: J. Number Theory doi: 10.1016/0022-314X(80)90084-0 – volume: 35 start-page: 403 issue: 4 year: 2003 ident: 10.1016/j.cpc.2018.09.005_b62 publication-title: J. Symbolic Comput. doi: 10.1016/S0747-7171(02)00140-2 – volume: abs/1704.03578 year: 2017 ident: 10.1016/j.cpc.2018.09.005_b5 publication-title: CoRR – ident: 10.1016/j.cpc.2018.09.005_b19 – year: 1992 ident: 10.1016/j.cpc.2018.09.005_b39 – ident: 10.1016/j.cpc.2018.09.005_b7 – start-page: 219 year: 1976 ident: 10.1016/j.cpc.2018.09.005_b43 – volume: 95 start-page: 167 issue: 2 year: 2002 ident: 10.1016/j.cpc.2018.09.005_b41 publication-title: J. Number Theory doi: 10.1016/S0022-314X(01)92763-5 – ident: 10.1016/j.cpc.2018.09.005_b16 – volume: 10 start-page: 107 year: 2008 ident: 10.1016/j.cpc.2018.09.005_b13 publication-title: J. High Energy Phys. doi: 10.1088/1126-6708/2008/10/107 – volume: 76 start-page: 521 issue: 3 year: 1974 ident: 10.1016/j.cpc.2018.09.005_b30 publication-title: Math. Proc. Camb. Phil. Soc. doi: 10.1017/S0305004100049252 – year: 2003 ident: 10.1016/j.cpc.2018.09.005_b17 – year: 1999 ident: 10.1016/j.cpc.2018.09.005_b53 – ident: 10.1016/j.cpc.2018.09.005_b21 – start-page: 4 year: 1985 ident: 10.1016/j.cpc.2018.09.005_b50 – year: 2017 ident: 10.1016/j.cpc.2018.09.005_b25 – start-page: 356 year: 2011 ident: 10.1016/j.cpc.2018.09.005_b59 – ident: 10.1016/j.cpc.2018.09.005_b8 – year: 2008 ident: 10.1016/j.cpc.2018.09.005_b63 – year: 2012 ident: 10.1016/j.cpc.2018.09.005_b26 – volume: 10 start-page: 19 issue: 3 year: 1976 ident: 10.1016/j.cpc.2018.09.005_b61 publication-title: SIGSAM Bull. doi: 10.1145/1088216.1088219 – year: 2017 ident: 10.1016/j.cpc.2018.09.005_b22 – start-page: 49 year: 1991 ident: 10.1016/j.cpc.2018.09.005_b64 – ident: 10.1016/j.cpc.2018.09.005_b15 – year: 1997 ident: 10.1016/j.cpc.2018.09.005_b23 – year: 1982 ident: 10.1016/j.cpc.2018.09.005_b31 publication-title: Mathematisch Centrum Computational Methods in Number Theory – start-page: 84 year: 2010 ident: 10.1016/j.cpc.2018.09.005_b20 – volume: 222 start-page: 250 year: 2018 ident: 10.1016/j.cpc.2018.09.005_b2 publication-title: Comput. Phys. Comm. doi: 10.1016/j.cpc.2017.08.025 – volume: 20 start-page: 299 issue: 3 year: 1995 ident: 10.1016/j.cpc.2018.09.005_b36 publication-title: J. Symbolic Comput. doi: 10.1006/jsco.1995.1052 – volume: 18 start-page: 478 issue: 4 year: 1971 ident: 10.1016/j.cpc.2018.09.005_b34 publication-title: J. ACM doi: 10.1145/321662.321664 |
| SSID | ssj0007793 |
| Score | 2.299836 |
| Snippet | In this paper we briefly discuss Rings — an efficient lightweight library for commutative algebra. Polynomial arithmetic, GCDs, polynomial factorization and... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 400 |
| SubjectTerms | Commutative algebra Computer algebra Polynomial arithmetic |
| Title | Rings: An efficient Java/Scala library for polynomial rings |
| URI | https://dx.doi.org/10.1016/j.cpc.2018.09.005 |
| Volume | 235 |
| WOSCitedRecordID | wos000451491100038&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-2944 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0007793 issn: 0010-4655 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3fa9swEBZdssFeSrsftOsP9LCnDW-qLVtW-xRKShdGCFsGeTOyLENCcEKShe6_750kO1mzjXWwF-OYKA73yafz6b7vCHlbmhx17lggYl0EXOVxoJCNlqesKBOB2riWKPxZ9PvpaCQHvof70rYTEFWV3t3J-X-FGq4B2EidfQTczY_CBTgH0OEIsMPxr4D_grlvn-8zViACt_t7aq1w1xQgUe996saWGM5n0x9ITUaB_yZrXksX-JYPPv-xxAL0DZ2kicYHM5hXa5-FxbbEY_y8nU9ACtNPtRm7RBfnOMFdo9SaWzacr0yFDELp5BtrZxpG8ZY75IxtrazcsU53nLbLH0w-6DlqSl6kVniWxZsVqqkb_GrlhBJUkYuQfiWfkHYoYpm2SLvzqTvqNYuwEF5v2f_vekPblvY9uNGvQ5KtMGN4QPb9-wHtOFwPyZ6pXpBnA2f_l-TKontJOxVtsKWI7UeLLPXIUkCWbpClFtlX5NtNd3h9G_j-F4EOpVgFKlVRrBNhBMtNoXGDOIWHibMCjK45cjAgYi21MjrhJlK8iFUkipIZrrDPW_SatKpZZY4INajxI_IcXlZLrqJEgquOLopCCSmNyfUxYbUJMu3F4bFHyTSrqwAnGVgtQ6tlTGZgtWPyrhkyd8oof_oyr-2a-dDOhWwZTILfD3vzb8NOyPPNzD4lrdXiuzkjT_V6NV4uzv1UuQfbDHBH |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Rings%3A+An+efficient+Java%2FScala+library+for+polynomial+rings&rft.jtitle=Computer+physics+communications&rft.au=Poslavsky%2C+Stanislav&rft.date=2019-02-01&rft.pub=Elsevier+B.V&rft.issn=0010-4655&rft.eissn=1879-2944&rft.volume=235&rft.spage=400&rft.epage=413&rft_id=info:doi/10.1016%2Fj.cpc.2018.09.005&rft.externalDocID=S0010465518303199 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0010-4655&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0010-4655&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0010-4655&client=summon |