Citation
========

How to cite FriCAS
------------------

If you use |PACKAGE_NAME| in your research, you should use the
following BibTeX entry to refer to |PACKAGE_NAME| in any publication.

   | @Misc{FriCAS,
   |   key =    {FriCAS},
   |   author = {{FriCAS team}},
   |   year =   {|PACKAGE_YEAR|},
   |   title =  {{FriCAS} |PACKAGE_VERSION|---an advanced computer algebra system},
   |   note =   {Available at \\url{https://fricas.github.io}}
   | }


Citations of FriCAS in articles, talks, websites, etc.
------------------------------------------------------

In the following we list publications mentioning FriCAS.

* **David Joyner**
  (2008):
  `Open Source Computer Algebra Systems: Axiom
  <https://doi.org/10.1145/1394042.1394046>`_

* **Waldemar Hebisch** and **Martin Rubey**
  (2010):
  `Extended RATE, more GFUN
  <https://doi.org/10.1016/j.jsc.2011.01.004>`_

* **Franz Lehner** and **Stephan Wagner**
  (2010):
  `Free Lamplighter Groups and a Question of Atiyah
  <https://arxiv.org/abs/1005.2347>`_
  (DOI:`10.1353/ajm.2013.0029 <https://doi.org/10.1353/ajm.2013.0029>`_)

* **Wilfried Huss**, **Ecaterina Sava**
  (2011):
  `Rotor-Router Aggregation on the Comb
  <https://doi.org/10.37236/711>`_

* **Waldek Hebisch**
  (2015):
  `Integration in terms of exponential integrals and incomplete gamma
  functions
  <https://doi.org/10.1145/2850449.2850460>`_

  .. There is my ISSAC 2015 poster about integration, with shorter
     version which appeared in ACM Communications in Computer Algebra:

* **E. G. Eferina**, **A. V. Korolkova**, **M. N. Gevorkyan**, **D. S.
  Kulyabov**, and **L. A. Sevastyanov**
  (2015):
  `One-Step Stochastic Processes Simulation Software Package
  <https://arxiv.org/abs/1503.07342>`_

* **Hans Babovsky** and **Johannes Grabmeier**
  (2016):
  `Calculus and design of discrete velocity models using computer
  algebra
  <http://doi.org/10.1063/1.4967672>`_

  .. American Institute of Physics

* **Paul-Olivier Dehaye**, **Michael Kohlhase**, **Alexander
  Konovalov**, **Samuel Lelièvre**, **Markus Pfeiffer**, **Nicolas M.
  Thiéry**
  (2016):
  `Interoperability in the OpenDreamKit Project: The Math-in-the-Middle
  Approach
  <https://arxiv.org/abs/1603.06424>`_
  (DOI:`10.1007/978-3-319-42547-4_9
  <https://doi.org/10.1007/978-3-319-42547-4_9>`_)

* **Waldek Hebisch**
  (2016):
  `Integration in terms of exponential integrals and incomplete
  gamma functions (slides)
  <https://fricas.org/~hebisch/other/icms.pdf>`_
  Talk at `ICMS <http://icms2016.zib.de/>`_

* **Larry A. Lambe**
  (2016):
  `An Algebraic Study of the Klein Bottle
  <https://doi.org/10.1007/s40062-016-0156-9>`_

  .. Journal of Homotopy and Related Structures, 11(4), 885-891.

* **Setsuo Takato**, **José A. Vallejo**, **Masataka Kaneko**
  (2016):
  `Interfacing KetCindy and CASs, and its Applications to
  Scientific Problems Modeling
  <http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf>`_
  Talk at `ACA <http://www.mathematik.uni-kassel.de/ACA2016/>`_

* **Setsuo Takato**, **Alasdair McAndrew**, **Masataka Kaneko**
  (2016):
  `Collaborative Use of KeTCindy and Free CASs for
  Making Materials
  <http://www.mathematik.uni-kassel.de/ACA2016/docs/ACAproc.pdf>`_
  Talk at `ACA <http://www.mathematik.uni-kassel.de/ACA2016/>`_

* **Konrad Schrempf**
  (2017):
  `On the Factorization of Non-Commutative Polynomials (in Free
  Associative Algebras)
  <https://arxiv.org/abs/1706.01806>`_

* **Giedrius Alkauskas**
  (2017):
  `The modular group and words in its two generators
  <https://arxiv.org/abs/1512.02596v5>`_
  (DOI: `10.1007/s10986-017-9339-2
  <https://doi.org/10.1007/s10986-017-9339-2>`_

* **Ralf Hemmecke**
  (2018):
  `Dancing Samba with Ramanujan Partition Congruences
  <https://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf>`_
  (DOI: `10.1016/j.jsc.2017.02.001
  <https://doi.org/10.1016/j.jsc.2017.02.001>`_)

* **Ralf Hemmecke** and **Silviu Radu**
  (2018):
  `Construction of all Polynomial Relations among Dedekind Eta Functions
  of Level $N$.
  <https://www.risc.jku.at/publications/download/risc_5561/etarelations.pdf>`_
  (DOI: `10.1016/j.jsc.2018.10.001
  <https://doi.org/10.1016/j.jsc.2018.10.001>`_)

* **Samuel Miner** and **Jay Pantone**
  (2018):
  `Completing the Structural Analysis of the 2x4 Permutation Classes
  <https://arxiv.org/abs/1802.00483>`_

* **Waldemar Hebisch**
  (2018): (does not actually mention FriCAS, but relates to the
  integration algorithms in FriCAS)
  `Integration in terms of exponential integrals and incomplete gamma
  functions I <https://arxiv.org/abs/1802.05544>`_

* **Konrad Schrempf**
  (2018):
  `Free Fractions: An Invitation to (applied) Free Fields
  <https://arxiv.org/abs/1809.05425>`_

* **Konrad Schrempf**
  (2019):
  `A factorization theory for some free fields
  <https://www.ieja.net/files/papers/volume-28/2-V28-2020.pdf>`_
  (DOI: `10.24330/ieja.768114
  <https://doi.org/https://doi.org/10.24330/ieja.768114>`_)

* **Ralf Hemmecke**, **Silviu Radu**, and **Liangjie Ye**
  (2019):
  `The Generators of all Polynomial Relations Among Jacobi Theta
  Functions
  <https://www.risc.jku.at/publications/download/risc_5719/thetarelations.pdf>`_
  (DOI: `10.1007/978-3-030-04480-0_11
  <https://doi.org/10.1007/978-3-030-04480-0_11>`_)

* **Ralf Hemmecke**, **Peter Paule**, and  **Silviu Radu**
  (2021):
  `Construction of an Integral Basis for $M^\\infty(121)$
  <https://doi.org/10.1080/10652469.2020.1806261>`_

* **Thomas Hickman**, **Christian Pardillo Laursen**, **Simon Foster**
  (2021):
  `Certifying Differential Equation Solutions from Computer Algebra
  Systems in Isabelle/HOL
  <https://arxiv.org/abs/2102.02679>`_

* **Konrad Schrempf**
  (2021):
  `Free (rational) derivations
  <https://arxiv.org/abs/1809.05425>`_
  (DOI: `10.17398/2605-5686.36.1.25
  <https://doi.org/10.17398/2605-5686.36.1.25>`_)

* **Jan Dymara**, **Tadeusz Januszkiewicz**
  `Tautological characteristic classes I
  <https://arxiv.org/abs/2307.05765v1>`_

* **Jan Dymara**, **Tadeusz Januszkiewicz**
  `Tautological characteristic classes II: the Witt class
  <https://arxiv.org/abs/2403.05255v1>`_

* **Franz Lehner**, **Kamil Szpojankowski**
  (2024):
  `Free Integral Calculus I <https://arxiv.org/abs/2311.04039>`_

* **Hao Do**, **Yiman Gao**, **Wenquao Li**, **Ziming Li**
  (2025):
  `Complete Reduction for Derivatives in a Primitive Tower
  <https://doi.org/10.1145/3747199.3747545>`_

* **Frédéric Chapoton**
  (2025):
  `On posets and polytopes attached to arbors
  <https://www.arxiv.org/pdf/2503.04247v2>`_
  (DOI: `10.7146/math.scand.a-159563
  <https://doi.org/10.7146/math.scand.a-159563>`_

* **Ralf Hemmecke**, **Peter Paule**, and  **Silviu Radu**
  (2026):
  `An Algorithm to Compute Algebraic Relations Between Modular Functions
  <https://doi.org/10.1007/s11139-025-01310-4>`_

* **Ralf Hemmecke**, **Peter Paule**, and  **Silviu Radu**
  (2026):
  `Computer-assisted Construction of Ramanujan-Sato Series for 1 over π,
  <https://doi.org/10.1007/s11139-026-01352-2>`_

* `Sage <http://www.sagemath.org>`_ provides an
  `interface to FriCAS
  <http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/fricas.html>`_.

* `swMath
  <http://swmath.org/software/5860>`_
  lists FriCAS

* `Computer Algebra Independent Integration Tests
  <http://www.12000.org/my_notes/CAS_integration_tests/index.htm>`_

* `Old collection of online articles connected to FriCAS and Axiom
  <http://wiki.fricas.org/public/refs/articles.html>`_


Related articles
----------------

* **Erik Poll and Simon Thompson**:
  `Adding the axioms to Axiom
  <https://kar.kent.ac.uk/21662/2/Adding_the_axioms_to_Axiom_Towards_a_system_of_automated_reasoning_in_Aldor.pdf>`_


* **Martin Dunstan, Tom Kelsey, Steve Linton, and Ursula Martin**
  (1999):
  `Formal Methods for Extensions to CAS
  <https://link.springer.com/content/pdf/10.1007/3-540-48118-4_43.pdf>`_
  (DOI: `10.1007/3-540-48118-4_43
  <https://doi.org/10.1007/3-540-48118-4_43>`_)

* **Martin Dunstan, Tom Kelsey, Steve Linton, and Ursula Martin**
  `Lightweight Formal Methods for Computer Algebra Systems
  <https://doi.org/10.1145/281508.281560>`_
