There are three main activities you can do within Pearltrees: organize, share and discover.
Easily organize what you've found on the web. The simple and intuitive interface makes sorting your interests, your passions and your ideas easy. Pearltrees allows you to give a precise meaning to the content you've archived making retrieval and reuse a pleasure.
You can also instantly share the content you've organized. In Pearltrees, everything is public. All other users can see what you've organized and you can see everything that others have collected. This lets you easily find users with common interests and when you do, you can team up with them and curate a topic together.
Pearltrees also lets you discover a web organized by others. Do you like discovering a city with a friend who already lives there? With Pearltrees, you can enjoy a similar though digital experience and learn about a new topic, a newsworthy issue or anything else that captures your attention, all curated by other people just like you.
Kig is a program for exploring geometric constructions.
It is meant as a better replacement for such free programs as KGeo, KSeg and Dr. Geo and commercial programs like Cabri.
Eukleides is a Euclidean geometry drawing language. Two softwares are related to it. First, eukleides, a compiler which allows to typeset geometric figures within a (La)TeX document. This program is also useful to convert such figures in EPS format or in various other vector graphic formats. Second, xeukleides, a GUI front-end which makes possible to create interactive geometric figures. This program is also useful to edit and tune some Eukleides code.
KGeo is a program for interactive Geometry just like programs such as Euklid, Zirkel und Lineal or Kseg. It was my wish to write an open source version of this software that is free for schools and combines the best of both (all) worlds.
Until now three-dimensional geometry was difficult to teach – the complexity of designs in perspective, models that are difficult and time-consuming to construct… Cabri 3D is the only program that enables you to alleviate these construction difficulties and that also contains the benefits of interactive geometry.
The dynamic mathematics software establishes new ways of teaching and learning mathematics. It offers opportunities of visualisation that can't be realised on paper or blackboard and with traditional construction tools.
I posted an updated tech demo of RhNav - Rhizome Navigation visualizing user behavior of this blog. The graph is now centered around the page where most time is spent. Noise created by search engine robots is filtered which should clear things up quite a
This program is an interactive geometry software with proof related features.
The project consist in producing an interactive proof software for geometry.
GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems.
CaRMetal is based on C.a.R. : it includes all of its functionalities - or almost - but follows a different approach from the graphical interface point of view. It's not just a different design - which would not make sense - but instead it gives another way to reach functionnalities.