Search results
Results from the WOW.Com Content Network
Xcas/Giac is an open-source project developed at the Joseph Fourier University of Grenoble since 2000. Written in C++, maintained by Bernard Parisse's et al. and available for Windows, Mac, Linux and many others platforms.
Hermes Project: C++/Python library for rapid prototyping of space- and space-time adaptive hp-FEM solvers. IML++ is a C++ library for solving linear systems of equations, capable of dealing with dense, sparse, and distributed matrices. IT++ is a C++ library for linear algebra (matrices and vectors), signal processing and communications ...
Import PDF with multiple pages as layouts, export as a one-page PDF. All standard vector graphics editor features. LibreOffice: GNU LGPLv3 / MPLv2.0: Yes Yes Yes Yes Import from PDF (extension included by default), export as PDF including PDF/A. LibreOffice Draw: GNU LGPLv3 / MPLv2.0 Yes Yes Yes Yes Yes PDF viewing and limited editing ...
Cartopedia: The Ultimate World Reference Atlas; Celestia; Google Earth - (proprietary license); Gravit - a free (GPL) Newtonian gravity simulator; KGeography; KStars; NASA World Wind - free software (NASA open source)
Hales is using it for his project, Formal Abstracts. [15] Buzzard uses it for the Xena project. [16] One of the Xena Project's goals is to rewrite every theorem and proof in the undergraduate math curriculum of Imperial College London in Lean. Macbeth is using Lean to teach students the fundamentals of mathematical proof with instant feedback.
SymbolicC++ is a general purpose computer algebra system written in the programming language C++. It is free software released under the terms of the GNU General Public License. SymbolicC++ is used by including a C++ header file or by linking against a library.
While Karel is its own language, Karel++ is a version of Karel implemented in C++, while Karel J. Robot is a version of Karel implemented in Java. Kodu is a language that is simple and entirely icon based. It was developed by Microsoft Research as a project to encourage younger children, especially girls, to enjoy technology. Programs are ...
Number theory also studies the natural, or whole, numbers. One of the central concepts in number theory is that of the prime number, and there are many questions about primes that appear simple but whose resolution continues to elude mathematicians. List of algebraic number theory topics; List of number theory topics