Citation

How to cite FriCAS

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

@Misc{FriCAS,

key = {FriCAS},

author = {{FriCAS team}},

year = {2026},

title = {{FriCAS} 1.3.13—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

• Waldemar Hebisch and Martin Rubey (2010): Extended RATE, more GFUN

• Franz Lehner and Stephan Wagner (2010): Free Lamplighter Groups and a Question of Atiyah (DOI:10.1353/ajm.2013.0029)

• Wilfried Huss, Ecaterina Sava (2011): Rotor-Router Aggregation on the Comb

• Waldek Hebisch (2015): Integration in terms of exponential integrals and incomplete gamma functions

• E. G. Eferina, A. V. Korolkova, M. N. Gevorkyan, D. S. Kulyabov, and L. A. Sevastyanov (2015): One-Step Stochastic Processes Simulation Software Package

• Hans Babovsky and Johannes Grabmeier (2016): Calculus and design of discrete velocity models using computer algebra

• 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 (DOI:10.1007/978-3-319-42547-4_9)

• Waldek Hebisch (2016): Integration in terms of exponential integrals and incomplete gamma functions (slides) Talk at ICMS

• Larry A. Lambe (2016): An Algebraic Study of the Klein Bottle

• Setsuo Takato, José A. Vallejo, Masataka Kaneko (2016): Interfacing KetCindy and CASs, and its Applications to Scientific Problems Modeling Talk at ACA

• Setsuo Takato, Alasdair McAndrew, Masataka Kaneko (2016): Collaborative Use of KeTCindy and Free CASs for Making Materials Talk at ACA

• Konrad Schrempf (2017): On the Factorization of Non-Commutative Polynomials (in Free Associative Algebras)

• Giedrius Alkauskas (2017): The modular group and words in its two generators (DOI: 10.1007/s10986-017-9339-2

• Ralf Hemmecke (2018): Dancing Samba with Ramanujan Partition Congruences (DOI: 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$. (DOI: 10.1016/j.jsc.2018.10.001)

• Samuel Miner and Jay Pantone (2018): Completing the Structural Analysis of the 2x4 Permutation Classes

• 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

• Konrad Schrempf (2018): Free Fractions: An Invitation to (applied) Free Fields

• Konrad Schrempf (2019): A factorization theory for some free fields (DOI: 10.24330/ieja.768114)

• Ralf Hemmecke, Silviu Radu, and Liangjie Ye (2019): The Generators of all Polynomial Relations Among Jacobi Theta Functions (DOI: 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)$

• Thomas Hickman, Christian Pardillo Laursen, Simon Foster (2021): Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL

• Konrad Schrempf (2021): Free (rational) derivations (DOI: 10.17398/2605-5686.36.1.25)

• Jan Dymara, Tadeusz Januszkiewicz Tautological characteristic classes I

• Jan Dymara, Tadeusz Januszkiewicz Tautological characteristic classes II: the Witt class

• Franz Lehner, Kamil Szpojankowski (2024): Free Integral Calculus I

• Hao Do, Yiman Gao, Wenquao Li, Ziming Li (2025): Complete Reduction for Derivatives in a Primitive Tower

• Frédéric Chapoton (2025): On posets and polytopes attached to arbors (DOI: 10.7146/math.scand.a-159563

• Ralf Hemmecke, Peter Paule, and Silviu Radu (2026): An Algorithm to Compute Algebraic Relations Between Modular Functions

• Ralf Hemmecke, Peter Paule, and Silviu Radu (2026): Computer-assisted Construction of Ramanujan-Sato Series for 1 over π,

• Sage provides an interface to FriCAS.

• swMath lists FriCAS

• Computer Algebra Independent Integration Tests

• Old collection of online articles connected to FriCAS and Axiom

Related articles

• Erik Poll and Simon Thompson: Adding the axioms to Axiom

• Martin Dunstan, Tom Kelsey, Steve Linton, and Ursula Martin (1999): Formal Methods for Extensions to CAS (DOI: 10.1007/3-540-48118-4_43)

• Martin Dunstan, Tom Kelsey, Steve Linton, and Ursula Martin Lightweight Formal Methods for Computer Algebra Systems