FriCAS (German Wikipedia)

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

Last modified: 11:18:00, 12 July 2026 (UTC)

Ref.Un. Ref.Website

Global rank German rank

7,023^rd place

low place

2^nd place

3^rd place

low place

107^th place

5^th place

1,842^nd place

1,144^th place

doi.org (Global: 2^nd place; German: 3^rd place)

Erik Poll, Simon Thompson: Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Hélène Kirchner, Christophe Ringeissen (Hrsg.): Frontiers of Combining Systems. Third International Workshop, FroCoS 2000 (= Lecture Notes in Artificial Intelligence. Band 1794). Springer, Berlin 2000, ISBN 3-540-67281-8, S. 136–150, doi:10.1007/10720084_10 (kent.ac.uk [abgerufen am 27. Januar 2017]).
John Fitch: James Griesmer 1929–2011. In: ACM Commun. Comput. Algebra. Band 46, Nr. 1/2, 2012, ISSN 1932-2240, S. 10–11, doi:10.1145/2338496.2338499.

Erik Poll, Simon Thompson: Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. (Monograph) Abgerufen am 27. Januar 2017.
Erik Poll, Simon Thompson: Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: Hélène Kirchner, Christophe Ringeissen (Hrsg.): Frontiers of Combining Systems. Third International Workshop, FroCoS 2000 (= Lecture Notes in Artificial Intelligence. Band 1794). Springer, Berlin 2000, ISBN 3-540-67281-8, S. 136–150, doi:10.1007/10720084_10 (kent.ac.uk [abgerufen am 27. Januar 2017]).

Erik Poll, Simon Thompson: The Type System of Aldor. (Monograph) Abgerufen am 27. Januar 2017.

John Fitch: James Griesmer 1929–2011. In: ACM Commun. Comput. Algebra. Band 46, Nr. 1/2, 2012, ISSN 1932-2240, S. 10–11, doi:10.1145/2338496.2338499.