FriCAS (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "FriCAS" in English language version.

refsWebsite
Global rank English rank
6,512th place
4,000th place
low place
low place
2nd place
2nd place
11th place
8th place
low place
low place
4,858th place
3,506th place
274th place
309th place
low place
low place
low place
low place

axiom-developer.org

doi.org

fricas.github.io

fricas.org

wiki.fricas.org

kent.ac.uk

kar.kent.ac.uk

  • Poll, Erik; Thompson, Simon (May 1998). "Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor" (Monograph). Retrieved 2017-01-27.
  • Poll, Erik; Thompson, Simon. "Integrating Computer Algebra and Reasoning through the Type System of Aldor". In Hélène Kirchner; Christophe Ringeissen (eds.). Frontiers of Combining Systems. 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000). Vol. 1794. Nancy, France: Springer-Verlag Berlin. pp. 136–150. ISBN 978-3-540-67281-4. Retrieved 2017-01-27.

cs.kent.ac.uk

nongnu.org

lists.nongnu.org

semanticscholar.org

api.semanticscholar.org

springer.com

udel.edu

eecis.udel.edu