Search results

...hematical proof|mathematical]] objects and concrete [[Geometry|geometric]] objects. It has slightly different meanings in different contexts. See: ...

* [[Automated theorem proving]], the proving of mathematical theorems by a computer program ...software for manipulating mathematical expressions and other mathematical objects ...

...matical discoveries and sometimes leads to the development of entirely new mathematical disciplines, such as [[statistics]] and [[game theory]]. Mathematicians als ...

{{Short description|Mathematical concept}} ...roup]]s. In the context of the theory of [[simplicial set]]s, the fibrant objects are known as '''Kan complexes''' after [[Daniel Kan]]. They are the [[Kan f ...

{{Short description|Branch of mathematical physics}} '''Supermathematics''' is the branch of [[mathematical physics]] which applies the mathematics of [[Lie superalgebra]]s to the [[s ...

In [[mathematics]], an '''axiom of countability''' is a property of certain [[mathematical object]]s that asserts the existence of a [[countable|countable set]] with ...include:<ref>{{citation|title=Modern General Topology|series=North-Holland Mathematical Library|first=J.-I.|last=Nagata|edition=3rd|publisher=Elsevier|year=1985|is ...

...l rigidity]], a mathematical theory of the stiffness of ensembles of rigid objects connected by hinges *[[Rigidity (mathematics)]], a property of a collection of mathematical objects (for instance sets or functions) ...

In [[mathematical morphology]], a '''structuring element''' is a shape, used to probe or int ...uring element, one sets a way of differentiating some objects (or parts of objects) from others, according to their shape or spatial orientation. ...

...procept''' is an amalgam of three components: a "process" which produces a mathematical "object" and a "symbol" which is used to represent either process or object ...cal objects are formed by encapsulating processes, that is to say that the mathematical object 3 is formed by an encapsulation of the process of counting: 1,2,3... ...

{{short description|Network representation of the relationships between objects in a program}} ...of objects are referred to as '''object graphs''', after the mathematical objects called [[Graph (discrete mathematics)|graphs]] studied in [[graph theory]]. ...

In [[mathematical logic|logic]], a '''predicate''' is a symbol that represents a property or ...ege]], the meaning of a predicate is exactly a function from the domain of objects to the [[truth value]]s "true" and "false". ...

...sult of generalization, removal of properties, or distancing of ideas from objects. * [[Abstraction (linguistics)]], use of terms for concepts removed from the objects to which they were originally attached ...

{{about|a concept in mathematical logic|the concept from chemistry|chemical formula}} {{Short description|Mathematical logic concept}} ...

...eni|first3=Ping|last3=Zhang|author3-link=Ping Zhang (graph theorist)|title=Mathematical Proofs / A Transition to Advanced Mathematics|edition=2nd|publisher=Pearson ...nger | series = NATO ASI Series F: Computer and Systems Sciences | title = Mathematical Methods in Program Development | url = https://www.cs.utexas.edu/~EWD/ewd12 ...

...shape of astronomical objects such as nebulae, galaxies, or other extended objects *[[Mathematical morphology]], a theoretical model based on lattice theory, used for digital ...

In [[mathematical morphology]], the '''closing ''' of a set ([[binary image]]) ''A'' by a [[s ...rse of morphological [[signal noise|noise]] removal. Opening removes small objects, while closing removes small holes. ...

{{short description|Describes the objects of a given type, up to some equivalence}} ...ification theorem''' answers the [[classification]] problem: "What are the objects of a given type, up to some [[Equivalence relation|equivalence]]?". It give ...

...designed for development of complex, computationally intensive scientific, mathematical and engineering applications. ...of MATLAB, such as non-numeric [[data type]]s (structures, cell arrays and objects), [[error handling]] with try/catch, and [[Nested function|nested]] and [[a ...

..., an '''abstract structure''' is a way of describing a set of mathematical objects and the relationships between them, focusing on the essential rules and pro ...ps. These structures are studied in their own right, revealing fundamental mathematical principles. While a real-world object or computer program might ''represent ...

{{Short description|Non-obvious mathematical equivalence}} In [[mathematics]], two objects, especially systems of axioms or semantics for them, are called '''cryptomo ...