Sage is a free open-source mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a common Python-based interface. Mission: Creating a viable free open source alternative to Magma, Maple, Mathematica and Matlab.
Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data in two and three dimensions.Maxima is a descendant of Macsyma, the legendary computer algebra system developed in the late 1960s at the Massachusetts Institute of Technology. It is the only system based on that effort still publicly available and with an active user community, thanks to its open source nature. Macsyma was revolutionary in its day, and many later systems, such as Maple and Mathematica, were inspired by it.
TheBrain provides advanced Mind Mapping Software and Knowledge Management Software that uses visualization and intuitive concept maps to enable intuitive searching, browsing, and organization of information. Disparate data sources are integrated and connected into an associative knowledge network to enable recall, understanding, and communication.
S. Ceri, E. Valle, D. Pedreschi, and R. Trasarti. Conceptual Modeling, volume 7532 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)
C. Hedeler, and N. Paton. Advances in Databases, volume 7051 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-24577-0_11.(2011)
S. Döweling, and A. Nolte. Workshop-Proceedings der Tagung Mensch & Computer 2011. überMEDIEN|ÜBERmorgen, page 63-68. Chemnitz, Universitätsverlag Chemnitz, (2011)
A. Dattolo, F. Ferrara, and C. Tasso. Proc. of the 3rd International Conference on Human System Interaction - HSI'2010, page 548-555. Rzeszow, Poland, IEEE press, (May 2010)
S. Bethard, and D. Jurafsky. Proceedings of the 19th ACM international conference on Information and knowledge management, page 609--618. New York, NY, USA, ACM, (2010)
Y. Li, G. Kennedy, F. Davies, and J. Hunter. Proceedings of the role of digital libraries in a time of global change, and 12th international conference on Asia-Pacific digital libraries, page 179--188. Berlin, Heidelberg, Springer-Verlag, (2010)
P. Talukdar, Z. Ives, and F. Pereira. Proceedings of the 2010 international conference on Management of data, page 387--398. New York, NY, USA, ACM, (2010)
K. Eckert. Semantic Web & Linked Data - Elemente zukünftiger Informationsinfrastrukturen, 1. DGI Konferenz, 62. Jahrestagung der DGI, Frankfurt am Main, 7. bis 9. Oktober 2010, page 231-236. Deutsche Gesellschaft für Informationswissenschaft und Informationspraxis, Frankfurt, (2010)
N. Kuicheu, W. Ning, F. Narcisse, X. De, and F. Siewe. Information Science and Engineering (ICISE), 2009 1st International Conference on, page 2288 -2291. (December 2009)