When.com Web Search

Search results

1. Results From The WOW.Com Content Network

2. SymPy - Wikipedia

   en.wikipedia.org/wiki/SymPy

   SymPy includes features ranging from basic symbolic arithmetic to calculus, algebra, discrete mathematics, and quantum physics. It is capable of formatting the result of the computations as LaTeX code. [4] [5] SymPy is free software and is licensed under the 3-clause BSD. The lead developers are Ondřej Čertík and Aaron Meurer.

3. GeoGebra - Wikipedia

   en.wikipedia.org/wiki/GeoGebra

   GeoGebra (a portmanteau of geometry and algebra) is an interactive geometry, algebra, statistics and calculus application, intended for learning and teaching mathematics and science from primary school to university level.

4. SageMath - Wikipedia

   en.wikipedia.org/wiki/SageMath

   SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation" [3]) is a computer algebra system (CAS) with features covering many aspects of mathematics, including algebra, combinatorics, graph theory, group theory, differentiable manifolds, numerical analysis, number theory, calculus and statistics.

5. Automated theorem proving - Wikipedia

   en.wikipedia.org/wiki/Automated_theorem_proving

   E is a high-performance prover for full first-order logic, but built on a purely equational calculus, originally developed in the automated reasoning group of Technical University of Munich under the direction of Wolfgang Bibel, and now at Baden-Württemberg Cooperative State University in Stuttgart.

6. Microsoft Math Solver - Wikipedia

   en.wikipedia.org/wiki/Microsoft_Math_Solver

   Microsoft Math contains features that are designed to assist in solving mathematics, science, and tech-related problems, as well as to educate the user. The application features such tools as a graphing calculator and a unit converter. It also includes a triangle solver and an equation solver that provides step-by-step solutions to each problem.

7. Tensor software - Wikipedia

   en.wikipedia.org/wiki/Tensor_software

   The HEP package includes tools for Feynman diagrams calculation: Dirac and SU(N) algebra, Levi-Civita simplifications, tools for calculation of one-loop counterterms etc. Redberry is written in Java and provides extensive Groovy-based programming language. libxm [41] is a lightweight distributed-parallel tensor library written in C.