Search results
Results From The WOW.Com Content Network
SageMath is designed partially as a free alternative to the general-purpose mathematics products Maple and MATLAB. It can be downloaded or used through a web site. SageMath comprises a variety of other free packages, with a common interface and language. SageMath is developed in Python.
Laws of Form (hereinafter LoF) is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems : The primary arithmetic (described in Chapter 4 of LoF ), whose models include Boolean arithmetic ;
Z-Library (abbreviated as z-lib, formerly BookFinder) is a shadow library project for file-sharing access to scholarly journal articles, academic texts and general-interest books. It began as a mirror of Library Genesis , but has expanded dramatically.
Mathematics, Form and Function, a book published in 1986 by Springer-Verlag, is a survey of the whole of mathematics, including its origins and deep structure, by the American mathematician Saunders Mac Lane.
Visualization of powers of two from 1 to 1024 (2 0 to 2 10) as base-2 Dienes blocks. A power of two is a number of the form 2 n where n is an integer, that is, the result of exponentiation with number two as the base and integer n as the exponent. In the fast-growing hierarchy, 2 n is exactly equal to ().
An integral quadratic form has integer coefficients, such as x 2 + xy + y 2; equivalently, given a lattice Λ in a vector space V (over a field with characteristic 0, such as Q or R), a quadratic form Q is integral with respect to Λ if and only if it is integer-valued on Λ, meaning Q(x, y) ∈ Z if x, y ∈ Λ.
Some of the major book retailers and multiple third-party developers offer free (and in some third-party cases, premium paid) e-reader software applications (apps) for the Mac and PC computers as well as for Android, Blackberry, iPad, iPhone, Windows Phone and Palm OS devices to allow the reading of e-books and other documents independently of ...
A solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem.A solver takes problem descriptions in some sort of generic form and calculates their solution.