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
Old collection of online articles connected to FriCAS and Axiom