background preloader

Mathématiques

Facebook Twitter

Maths et tiques. Fiches d'Exercices des Mathématiques. Ressources pédagogiques en mathématiques. Practice mental arithmetic — the arithmetic game. Symbolab Math Solver - Step by Step calculator. Alpha: Computational Knowledge Engine. Sketchometry. GNU Dr. Geo, be a geometer!

TracenPoche le site. GeoGebra. Instrumenpoche, les instruments virtuels de géométrie. Beautiful, Free Math. Pyromaths, un générateur de fiches d’exercices. GraphThing Home Page. Grinvin - Welcome / Welkom. Gnuplot homepage. Welcome to Rmetrics. KAlgebra - Graph Calculator. Www.mathomatic.org. The Yacas computer algebra system. CoCoA System. Relational. Relational an educational tool to provide a workspace for experimenting with relational algebra, an offshoot of first-order logic.

Relational

It provides GUI that can be used for executing relational queries, and also provides a command line interface. Provides a standalone Python module that can be used for executing relational queries, parsing relational expressions and optimizing them. The UI now implements sessions and remembers where you left off the previous time. It was also redesigned to be able to fit smaller screens. The release also fixes some bugs in the parser and in the outher join functions. Windows installer can be found in the download page For Linux, check your distribution's packages, relational is available on Debian and Ubuntu. These are some valid queries. Maxima, a Computer Algebra System. PARI/GP Development Headquarters.

GAP System for Computational Discrete Algebra. Cantor - KDE Frontend to Mathematical Software. SageMath - Open-Source Mathematical Software System. Axiom Computer Algebra System. GNU Octave. GNU Octave is a high-level interpreted language, primarily intended for numerical computations.

GNU Octave

It provides capabilities for the numerical solution of linear and nonlinear problems, and for performing other numerical experiments. It also provides extensive graphics capabilities for data visualization and manipulation. Octave is normally used through its interactive command line interface, but it can also be used to write non-interactive programs. The Octave language is quite similar to Matlab so that most programs are easily portable.

Octave is distributed under the terms of the GNU General Public License. Gensim: Topic modelling for humans. The Coq Proof Assistant. Isabelle. KeY Project: Integrated Deductive Software Design. K3DSurf KDE-Apps.org. POV-Ray - The Persistence of Vision Raytracer. Actualité. Carmetal.org sera représenté aux Journées de l'APMEP de Bordeaux 2018.

Actualité

A prévoir(si possible) : Ordinateur portable avec CaRMetal 4.2.8 installé.Si ordinateur portable Mac ou Linux, disposer d'une version installée de DGPad.tablette (si pas de portable ou par préférence de l'utilisateur pour utiliser DGPad) Cela dit, tout pourra être fait sur place si nécessaire. C.a.R. - News. Compass and Ruler - Construct and Rule C.a.R. simulates constructions with a pair of compasses and a ruler on a computer.

C.a.R. - News

By moving basic points, students can experience changes in the construction, check the construction for correctness. Moreover, tracks of points or polar sets of lines can be generated to establish new conjectures and gain geometrical insights. Kig. Description Kig is a program for exploring geometric constructions.

Kig

It is meant as a better replacement for such free programs as KGeo, KSeg and Dr. Geo and commercial programs like Cabri. Kig is free software, as in "free speech". GEONExT: geonext.de. Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities. Christophe Geuzaine and Jean-François Remacle.

Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities

Polyhedron Search. Geomview. OpenEuclide Home Page. [news] [download] [screenshots] [documentation] Copyright © Fabien Coulon 2005.

OpenEuclide Home Page

KSEG. Update: May 1, 2007 -- Mongolian Batnasan sent me a translation into Mongolian.

KSEG

Update: Februrary 3, 2006 -- KSEG 0.403 and Traditional Chinese. GNUGEO - JFractionLab. KmPlot. Description KmPlot is a mathematical function plotter for the KDE-Desktop.

KmPlot

It has built in a powerfull parser. You can plot different functions simultaneously and combine their function terms to build new functions. KmPlot supports functions with parameters and functions in polar coordinates. Several grid modes are possible. Features powerful mathematical parser precise metric printing different plot types (functions, parametric, polar) highly configurable visual settings (plot line, axes, grid) export to bitmap format (BMP and PNG) and scalable vector graphics (SVG) save/load complete session in readable xml format trace mode: cross hair following plot, coordinates shown in the status bar support zooming ability to draw the 1st and 2nd derivative and the integral of a plot function support user defined constants and parameter values various tools for plot functions: find minium/maximum point, get y-value and draw the area between the function and the y-axis.

Mathwar download. GNU XaoS - GNU XaoS. XaoS is an interactive fractal zoomer.

GNU XaoS - GNU XaoS

It allows the user to continuously zoom in or out of a fractal in a fluid, continuous motion. This capability makes XaoS great for exploring fractals, and it’s fun! If you don’t know what fractals are, don’t worry. XaoS includes many animated tutorials that make learning about fractals fun and easy. These tutorials are also a great introduction to all of XaoS’s features. XaoS can display many different fractal types, including Mandelbrot, Barnsley, Newton, Phoenix, and many more. XaoS currently runs on Windows, Mac OS X, Linux, and other Unix-like systems. XaoS is free software, licensed under the GPL. Gretl. PSPP. GNU PSPP is a program for statistical analysis of sampled data. It is a Free replacement for the proprietary program SPSS, and appears very similar to it with a few exceptions. The most important of these exceptions are, that there are no “time bombs”; your copy of PSPP will not “expire” or deliberately stop working in the future. Neither are there any artificial limits on the number of cases or variables which you can use.

There are no additional packages to purchase in order to get “advanced” functions; all functionality that PSPP currently supports is in the core package. Freefem++ Home Page (October 2012) TOCHNOG - a free explicit/implicit finite element program. Home - Scilab. GraphMonkey. Genius Mathematics Tool and the GEL Language. [What is it] [Genius in Use] [Manual/Documentation] [Wiki] [Help out with Genius] [News] [Mailing List] [Requirements] [Download] [Screenshots] What is it Genius is a general purpose calculator program similar in some aspects to BC, Matlab, Maple or Mathematica. It is useful both as a simple calculator and as a research or educational tool. The syntax is very intuitive and is designed to mimic how mathematics is usually written.

GEL is the name of its extension language, it stands for Genius Extension Language, clever isn't it? What can it do? Arbitrary precision integers, multiple precision floats. Grace Home. Grace is a WYSIWYG 2D plotting tool for the X Window System and M*tif. Grace runs on practically any version of Unix-like OS. As well, it has been successfully ported to VMS, OS/2, and Win9*/NT/2000/XP (some minor functionality may be missing, though). Grace is a descendant of ACE/gr, also known as Xmgr. Grace features at a glance: Please refer to the Grace User's Guide for more detailed description. GLE - Graphics Layout Engine: Quality Graphs, Plots, Diagrams, and Figures. Veusz - A Scientific Plotting Package.

Plotting of mathematical functions. XmdvTool Home Page: Overview. News Professor Matthew Ward wins IEEE VPG Award !!! PLplot Home Page - Main. Kanagram - Letter Order Game. KDE Utilities - KCalc. KCalc is a calculator which offers many more mathematical functions than meet the eye on a first glance. Please study the section on keyboard accelerators and modes in the handbook to learn more about the many functions available. The latest stable release is version 2.11, included in KDE SC 4.9. KCalc is a free and open source software, available for Linux and similar operating systems under the GNU General Public License (GPL), Version 2. In addition to the usual functionality offered by most scientific calculators, KCalc offers a number of features, which I think are worthwhile pointing out: KCalc provides trigonometric functions, logic operations, and it is able to do statistical calculations.

RpCalc - News. ATCalc. GraphCalc The Ultimate Windows 2D/3D Graphing Calculator Software. Details of package junior-math in wheezy. SciDAVis. Mayavi - 3D scientific data visualization and plotting. The Mayavi project includes two related packages for 3-dimensional visualization: Mayavi: A tool for easy and interactive visualization of data, with seamless integration with Python scientific libraries. TVTK: A Traits-based wrapper for the Visualization Toolkit, a popular open-source visualization library. These libraries operate at different levels of abstraction. TVTK manipulates visualization objects, while Mayavi lets you operate on your data, and then see the results. Most users either use the Mayavi user interface or program to its scripting interface; you probably don't need to interact with TVTK unless you want to create a new Mayavi module. Extrema. Extrema is a powerful visualization and data analysis tool that enables researchers to quickly distill their large, complex data sets into meaningful information.

Its flexibility, sophistication, and power allow you to easily develop your own commands and create highly customized graphs. Earlier versions of Extrema have been released by TRIUMF under the product name Physica. The Extrema Advantage. Fityk — curve fitting and peak fitting software. FreeMat. Scicraft wiki. VisIt. About VisIt VisIt is an Open Source, interactive, scalable, visualization, animation and analysis tool. From Unix, Windows or Mac workstations, users can interactively visualize and analyze data ranging in scale from small (<101 core) desktop-sized projects to large (>105 core) leadership-class computing facility simulation campaigns.

Users can quickly generate visualizations, animate them through time, manipulate them with a.