fricas.github.io/citation.html at master · fricas/fricas.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
<!DOCTYPE html>

<html lang="en" data-content_root="./">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />

    <title>Citation &#8212; FriCAS</title>
    <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=fa44fd50" />
    <link rel="stylesheet" type="text/css" href="_static/classic.css?v=2bf1fcf8" />
    <link rel="stylesheet" href="_static/style.css" type="text/css" />

    <script src="_static/documentation_options.js?v=37ccb8f4"></script>
    <script src="_static/doctools.js?v=9bcbadda"></script>
    <script src="_static/sphinx_highlight.js?v=dc90522c"></script>

    <link rel="index" title="Index" href="genindex.html" />
    <link rel="search" title="Search" href="search.html" />
    <link rel="next" title="History" href="history.html" />
    <link rel="prev" title="Contributors" href="contributors.html" />
  </head><body>
    <div class="related" role="navigation" aria-label="Related">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             accesskey="I">index</a></li>
        <li class="right" >
          <a href="history.html" title="History"
             accesskey="N">next</a> |</li>
        <li class="right" >
          <a href="contributors.html" title="Contributors"
             accesskey="P">previous</a> |</li>
        <li class="nav-item nav-item-0"><a href="index.html">FriCAS</a> &#187;</li>
        <li class="nav-item nav-item-this"><a href="">Citation</a></li>
      </ul>
    </div>

    <div class="document">
      <div class="documentwrapper">
        <div class="bodywrapper">
          <div class="body" role="main">

  <section id="citation">
<h1>Citation<a class="headerlink" href="#citation" title="Link to this heading">¶</a></h1>
<section id="how-to-cite-fricas">
<h2>How to cite FriCAS<a class="headerlink" href="#how-to-cite-fricas" title="Link to this heading">¶</a></h2>
<p>If you use FriCAS in your research, you should use the
following BibTeX entry to refer to FriCAS in any publication.</p>
<blockquote>
<div><div class="line-block">
<div class="line">&#64;Misc{FriCAS,</div>
<div class="line-block">
<div class="line">key =    {FriCAS},</div>
<div class="line">author = {{FriCAS team}},</div>
<div class="line">year =   {2026},</div>
<div class="line">title =  {{FriCAS} 1.3.13—an advanced computer algebra system},</div>
<div class="line">note =   {Available at \url{<a class="reference external" href="https://fricas.github.io">https://fricas.github.io</a>}}</div>
</div>
<div class="line">}</div>
</div>
</div></blockquote>
</section>
<section id="citations-of-fricas-in-articles-talks-websites-etc">
<h2>Citations of FriCAS in articles, talks, websites, etc.<a class="headerlink" href="#citations-of-fricas-in-articles-talks-websites-etc" title="Link to this heading">¶</a></h2>
<p>In the following we list publications mentioning FriCAS.</p>
<ul class="simple">
<li><p><strong>David Joyner</strong>
(2008):
<a class="reference external" href="https://doi.org/10.1145/1394042.1394046">Open Source Computer Algebra Systems: Axiom</a></p></li>
<li><p><strong>Waldemar Hebisch</strong> and <strong>Martin Rubey</strong>
(2010):
<a class="reference external" href="https://doi.org/10.1016/j.jsc.2011.01.004">Extended RATE, more GFUN</a></p></li>
<li><p><strong>Franz Lehner</strong> and <strong>Stephan Wagner</strong>
(2010):
<a class="reference external" href="https://arxiv.org/abs/1005.2347">Free Lamplighter Groups and a Question of Atiyah</a>
(DOI:<a class="reference external" href="https://doi.org/10.1353/ajm.2013.0029">10.1353/ajm.2013.0029</a>)</p></li>
<li><p><strong>Wilfried Huss</strong>, <strong>Ecaterina Sava</strong>
(2011):
<a class="reference external" href="https://doi.org/10.37236/711">Rotor-Router Aggregation on the Comb</a></p></li>
<li><p><strong>Waldek Hebisch</strong>
(2015):
<a class="reference external" href="https://doi.org/10.1145/2850449.2850460">Integration in terms of exponential integrals and incomplete gamma
functions</a></p>
</li>
<li><p><strong>E. G. Eferina</strong>, <strong>A. V. Korolkova</strong>, <strong>M. N. Gevorkyan</strong>, <strong>D. S.
Kulyabov</strong>, and <strong>L. A. Sevastyanov</strong>
(2015):
<a class="reference external" href="https://arxiv.org/abs/1503.07342">One-Step Stochastic Processes Simulation Software Package</a></p></li>
<li><p><strong>Hans Babovsky</strong> and <strong>Johannes Grabmeier</strong>
(2016):
<a class="reference external" href="http://doi.org/10.1063/1.4967672">Calculus and design of discrete velocity models using computer
algebra</a></p>
</li>
<li><p><strong>Paul-Olivier Dehaye</strong>, <strong>Michael Kohlhase</strong>, <strong>Alexander
Konovalov</strong>, <strong>Samuel Lelièvre</strong>, <strong>Markus Pfeiffer</strong>, <strong>Nicolas M.
Thiéry</strong>
(2016):
<a class="reference external" href="https://arxiv.org/abs/1603.06424">Interoperability in the OpenDreamKit Project: The Math-in-the-Middle
Approach</a>
(DOI:<a class="reference external" href="https://doi.org/10.1007/978-3-319-42547-4_9">10.1007/978-3-319-42547-4_9</a>)</p></li>
<li><p><strong>Waldek Hebisch</strong>
(2016):
<a class="reference external" href="https://fricas.org/~hebisch/other/icms.pdf">Integration in terms of exponential integrals and incomplete
gamma functions (slides)</a>
Talk at <a class="reference external" href="http://icms2016.zib.de/">ICMS</a></p></li>
<li><p><strong>Larry A. Lambe</strong>
(2016):
<a class="reference external" href="https://doi.org/10.1007/s40062-016-0156-9">An Algebraic Study of the Klein Bottle</a></p>
</li>
<li><p><strong>Setsuo Takato</strong>, <strong>José A. Vallejo</strong>, <strong>Masataka Kaneko</strong>
(2016):
<a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf">Interfacing KetCindy and CASs, and its Applications to
Scientific Problems Modeling</a>
Talk at <a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/">ACA</a></p></li>
<li><p><strong>Setsuo Takato</strong>, <strong>Alasdair McAndrew</strong>, <strong>Masataka Kaneko</strong>
(2016):
<a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf">Collaborative Use of KeTCindy and Free CASs for
Making Materials</a>
Talk at <a class="reference external" href="http://www.mathematik.uni-kassel.de/ACA2016/">ACA</a></p></li>
<li><p><strong>Konrad Schrempf</strong>
(2017):
<a class="reference external" href="https://arxiv.org/abs/1706.01806">On the Factorization of Non-Commutative Polynomials (in Free
Associative Algebras)</a></p></li>
<li><p><strong>Giedrius Alkauskas</strong>
(2017):
<a class="reference external" href="https://arxiv.org/abs/1512.02596v5">The modular group and words in its two generators</a>
(DOI: <a class="reference external" href="https://doi.org/10.1007/s10986-017-9339-2">10.1007/s10986-017-9339-2</a></p></li>
<li><p><strong>Ralf Hemmecke</strong>
(2018):
<a class="reference external" href="https://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf">Dancing Samba with Ramanujan Partition Congruences</a>
(DOI: <a class="reference external" href="https://doi.org/10.1016/j.jsc.2017.02.001">10.1016/j.jsc.2017.02.001</a>)</p></li>
<li><p><strong>Ralf Hemmecke</strong> and <strong>Silviu Radu</strong>
(2018):
<a class="reference external" href="https://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf">Construction of all Polynomial Relations among Dedekind Eta Functions
of Level $N$.</a>
(DOI: <a class="reference external" href="https://doi.org/10.1016/j.jsc.2018.10.001">10.1016/j.jsc.2018.10.001</a>)</p></li>
<li><p><strong>Samuel Miner</strong> and <strong>Jay Pantone</strong>
(2018):
<a class="reference external" href="https://arxiv.org/abs/1802.00483">Completing the Structural Analysis of the 2x4 Permutation Classes</a></p></li>
<li><p><strong>Waldemar Hebisch</strong>
(2018): (does not actually mention FriCAS, but relates to the
integration algorithms in FriCAS)
<a class="reference external" href="https://arxiv.org/abs/1802.05544">Integration in terms of exponential integrals and incomplete gamma
functions I</a></p></li>
<li><p><strong>Konrad Schrempf</strong>
(2018):
<a class="reference external" href="https://arxiv.org/abs/1809.05425">Free Fractions: An Invitation to (applied) Free Fields</a></p></li>
<li><p><strong>Konrad Schrempf</strong>
(2019):
<a class="reference external" href="https://www.ieja.net/files/papers/volume-28/2-V28-2020.pdf">A factorization theory for some free fields</a>
(DOI: <a class="reference external" href="https://doi.org/https://doi.org/10.24330/ieja.768114">10.24330/ieja.768114</a>)</p></li>
<li><p><strong>Ralf Hemmecke</strong>, <strong>Silviu Radu</strong>, and <strong>Liangjie Ye</strong>
(2019):
<a class="reference external" href="https://www.risc.jku.at/publications/download/risc_5719/thetarelations.pdf">The Generators of all Polynomial Relations Among Jacobi Theta
Functions</a>
(DOI: <a class="reference external" href="https://doi.org/10.1007/978-3-030-04480-0_11">10.1007/978-3-030-04480-0_11</a>)</p></li>
<li><p><strong>Ralf Hemmecke</strong>, <strong>Peter Paule</strong>, and  <strong>Silviu Radu</strong>
(2021):
<a class="reference external" href="https://doi.org/10.1080/10652469.2020.1806261">Construction of an Integral Basis for $M^\infty(121)$</a></p></li>
<li><p><strong>Thomas Hickman</strong>, <strong>Christian Pardillo Laursen</strong>, <strong>Simon Foster</strong>
(2021):
<a class="reference external" href="https://arxiv.org/abs/2102.02679">Certifying Differential Equation Solutions from Computer Algebra
Systems in Isabelle/HOL</a></p></li>
<li><p><strong>Konrad Schrempf</strong>
(2021):
<a class="reference external" href="https://arxiv.org/abs/1809.05425">Free (rational) derivations</a>
(DOI: <a class="reference external" href="https://doi.org/10.17398/2605-5686.36.1.25">10.17398/2605-5686.36.1.25</a>)</p></li>
<li><p><strong>Jan Dymara</strong>, <strong>Tadeusz Januszkiewicz</strong>
<a class="reference external" href="https://arxiv.org/abs/2307.05765v1">Tautological characteristic classes I</a></p></li>
<li><p><strong>Jan Dymara</strong>, <strong>Tadeusz Januszkiewicz</strong>
<a class="reference external" href="https://arxiv.org/abs/2403.05255v1">Tautological characteristic classes II: the Witt class</a></p></li>
<li><p><strong>Franz Lehner</strong>, <strong>Kamil Szpojankowski</strong>
(2024):
<a class="reference external" href="https://arxiv.org/abs/2311.04039">Free Integral Calculus I</a></p></li>
<li><p><strong>Hao Do</strong>, <strong>Yiman Gao</strong>, <strong>Wenquao Li</strong>, <strong>Ziming Li</strong>
(2025):
<a class="reference external" href="https://doi.org/10.1145/3747199.3747545">Complete Reduction for Derivatives in a Primitive Tower</a></p></li>
<li><p><strong>Frédéric Chapoton</strong>
(2025):
<a class="reference external" href="https://www.arxiv.org/pdf/2503.04247v2">On posets and polytopes attached to arbors</a>
(DOI: <a class="reference external" href="https://doi.org/10.7146/math.scand.a-159563">10.7146/math.scand.a-159563</a></p></li>
<li><p><strong>Ralf Hemmecke</strong>, <strong>Peter Paule</strong>, and  <strong>Silviu Radu</strong>
(2026):
<a class="reference external" href="https://doi.org/10.1007/s11139-025-01310-4">An Algorithm to Compute Algebraic Relations Between Modular Functions</a></p></li>
<li><p><strong>Ralf Hemmecke</strong>, <strong>Peter Paule</strong>, and  <strong>Silviu Radu</strong>
(2026):
<a class="reference external" href="https://doi.org/10.1007/s11139-026-01352-2">Computer-assisted Construction of Ramanujan-Sato Series for 1 over π,</a></p></li>
<li><p><a class="reference external" href="http://www.sagemath.org">Sage</a> provides an
<a class="reference external" href="http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/fricas.html">interface to FriCAS</a>.</p></li>
<li><p><a class="reference external" href="http://swmath.org/software/5860">swMath</a>
lists FriCAS</p></li>
<li><p><a class="reference external" href="http://www.12000.org/my_notes/CAS_integration_tests/index.htm">Computer Algebra Independent Integration Tests</a></p></li>
<li><p><a class="reference external" href="http://wiki.fricas.org/public/refs/articles.html">Old collection of online articles connected to FriCAS and Axiom</a></p></li>
</ul>
</section>
<section id="related-articles">
<h2>Related articles<a class="headerlink" href="#related-articles" title="Link to this heading">¶</a></h2>
<ul class="simple">
<li><p><strong>Erik Poll and Simon Thompson</strong>:
<a class="reference external" href="https://kar.kent.ac.uk/21662/2/Adding_the_axioms_to_Axiom_Towards_a_system_of_automated_reasoning_in_Aldor.pdf">Adding the axioms to Axiom</a></p></li>
<li><p><strong>Martin Dunstan, Tom Kelsey, Steve Linton, and Ursula Martin</strong>
(1999):
<a class="reference external" href="https://link.springer.com/content/pdf/10.1007/3-540-48118-4_43.pdf">Formal Methods for Extensions to CAS</a>
(DOI: <a class="reference external" href="https://doi.org/10.1007/3-540-48118-4_43">10.1007/3-540-48118-4_43</a>)</p></li>
<li><p><strong>Martin Dunstan, Tom Kelsey, Steve Linton, and Ursula Martin</strong>
<a class="reference external" href="https://doi.org/10.1145/281508.281560">Lightweight Formal Methods for Computer Algebra Systems</a></p></li>
</ul>
</section>
</section>


            <div class="clearer"></div>
          </div>
        </div>
      </div>
      <div class="sphinxsidebar" role="navigation" aria-label="Main">
        <div class="sphinxsidebarwrapper">
<h3><a href="index.html">Table of Contents</a></h3>
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="api/index.html">FriCAS API</a></li>
<li class="toctree-l1"><a class="reference internal" href="features.html">Features</a></li>
<li class="toctree-l1"><a class="reference internal" href="download.html">Download</a></li>
<li class="toctree-l1"><a class="reference internal" href="install.html">Installation Guide</a></li>
<li class="toctree-l1"><a class="reference internal" href="help.html">Help</a></li>
<li class="toctree-l1"><a class="reference internal" href="examples.html">Examples</a></li>
<li class="toctree-l1"><a class="reference internal" href="development.html">Development</a></li>
<li class="toctree-l1 current"><a class="current reference internal" href="#">Citation</a></li>
<li class="toctree-l1"><a class="reference internal" href="history.html">History</a></li>
</ul>

  <h3>This Page</h3>
  <ul class="this-page-menu">
    <li><a href="_sources/citation.rst.txt"
           rel="nofollow">Show Source</a></li>
    <li><a href="https://github.com/fricas/fricas/blob/r1.3.13/src/doc/sphinx/source/citation.rst"
           rel="nofollow">Show on GitHub</a></li>
    <li><a href="https://github.com/fricas/fricas/edit/r1.3.13/src/doc/sphinx/source/citation.rst"
           rel="nofollow">Edit on GitHub</a></li>
  </ul>
<search id="searchbox" style="display: none" role="search">
  <h3 id="searchlabel">Quick search</h3>
    <div class="searchformwrapper">
    <form class="search" action="search.html" method="get">
      <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
      <input type="submit" value="Go" />
    </form>
    </div>
</search>
<script>document.getElementById('searchbox').style.display = "block"</script>
        </div>
      </div>
      <div class="clearer"></div>
    </div>
    <div class="related" role="navigation" aria-label="Related">
      <h3>Navigation</h3>
      <ul>
        <li class="right" style="margin-right: 10px">
          <a href="genindex.html" title="General Index"
             >index</a></li>
        <li class="right" >
          <a href="history.html" title="History"
             >next</a> |</li>
        <li class="right" >
          <a href="contributors.html" title="Contributors"
             >previous</a> |</li>
        <li class="nav-item nav-item-0"><a href="index.html">FriCAS</a> &#187;</li>
        <li class="nav-item nav-item-this"><a href="">Citation</a></li>
      </ul>
    </div>
    <div class="footer" role="contentinfo">
    &#169; Copyright 2007-2026, FriCAS Team.
    </div>
  </body>
</html>