FriCAS (German Wikipedia)

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

refsWebsite

Global rank German rank

6,512^th place

low place

2^nd place

3^rd place

low place

123^rd place

6^th place

1,669^th place

1,214^th place

doi.org

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.