Author:
Lange Christoph,Kohlhase Michael
Publisher
Springer Berlin Heidelberg
Reference147 articles.
1. ActiveMath.
http://www.activemath.org
2. Alama J, Brink K, Mamane L, Urban J (2011) Large formal wikis: issues and solutions. In: [34], pp 133–148
3. American Mathematical Society.
http://www.ams.org/mathscinet/help/mr_lookup_help.html
4. American Mathematical Society. MathSciNet mathematical reviews on the net.
http://www.ams.org/mathscinet/
5. Ankolekar A, Krötzsch M, Tran T, Vrandečić D (2008) The two cultures: mashing up Web 2.0 and the semantic web. J Web Semant 6(1):70–75