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.
PyGeo is most fundamentally a framework for the creation of dynamic geometric constructions - i.e. constructions which embody defined and persistent geometric relationships responsive to real time on-screen interactivity.
PyGeo is, further, an implementation of this underlying abstract framework - exposing a range of geometric objects as the building blocks for virtual, dynamic geometric constructions.
The focus is away from Euclidian geometry and metrics, and toward later geometric and mathematical developments - particularly those connected with projective geometry of real space, and the geometry of complex numbers on the plane and on the unit (Riemann) sphere.
Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three-dimensional objects: you use the mouse to rotate, translate, zoom in and out, and so on. Geomview can be used as a standalone viewer for static objects or as a display engine for other programs which produce dynamically changing geometry. Geomview can display objects described in a variety of file formats. Geomview comes with a wide selection of example objects, and you can create your own objects too.
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.
OpenEuclide is a 2D geometry software: figures are defined dynamically by describing formal geometrical constraints. This project is a basic tool for educational or modeling purpose. It is distributed under the GNU GPL licence, free and multi-platform (up to now, GNU and windows).
KSEG is a Free (GPL) interactive geometry program for exploring Euclidean geometry. It runs on Unix-based platforms (according to users, it also compiles and runs on Mac OS X and should run on anything that Qt supports). You create a construction, such as a triangle with a circumcenter, and then, as you drag verteces of the triangle, you can see the circumcenter moving in real time. Of course, you can do a lot more than that--see the feature list below.
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.
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.
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.
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.
Geometrix 3.5 possède toutes les fonctionnalités des anciennes versions de Geometrix auxquelles s'ajoutent de nombreuses nouveautés comme la possibilité de créer des animations, de revenir pas à pas sur une construction, de créer des boîtes noires, un nouveau traceur de courbes. ... La version déclinée ici donne de plus accès au compilateur de création d'exercices de construction et de démonstration. Géométrix dispose maintenant d'un assistant de preuve permettant au professeur de générer des exercices de démonstration.
The Geometer's Sketchpad is a dynamic construction, demonstration, and exploration tool that adds a powerful dimension to the study of mathematics. You and your students can use this software program to build and investigate mathematical models, objects, figures, diagrams, and graphs.
Geometry Expressions is the first geometry software package that allows you to interact with your figure numerically and symbolically. This symbolic interaction brings together geometry and algebra for the first time in an interactive geometry system.
GeoGebra is a free interactive geometry software for education in schools. Its creator, Markus Hohenwarter, started the project in 2001 at the University of Salzburg and is continuing it at Florida Atlantic University. GeoGebra is written in Java and thus available for multiple platforms.
What is GCLC? GCLC (from "Geometry Constructions->LaTeX converter") is a tool for visualizing and teaching geometry, and for producing mathematical illustrations. Its basic purpose is converting descriptions of mathematical objects (written in the GCL language) into digital figures. GCLC provides easy-to-use support for many geometrical constructions, isometric transformations, conics, and parametric curves. The basic idea behind GCLC is that constructions are formal procedures, rather than drawings. Thus, in GCLC, producing mathematical illustrations is based on "describing figures" rather than of "drawing figures". This approach stresses the fact that geometrical constructions are abstract, formal procedures and not figures. A figure can be generated on the basis of abstract description, in the Cartesian model of a plane. These digital figures can be displayed and exported to LaTeX files (or some other format). WinGCLC is the Windows version of GCLC and provides a range of additional functionalities.