Search results
Jump to navigation
Jump to search
Page title matches
- Besides Euclid's formula, many other '''formulas for generating [[Pythagorean triple]]s''' have been developed. ==Euclid's, Pythagoras', and Plato's formulas== ...29 KB (4,136 words) - 17:01, 26 January 2025
- This is a short list of some common mathematical shapes and figures and the formulas that describe them. ...ps://www.andlearning.org/geometry-formulas/|title = List of Basic Geometry Formulas|date = 27 May 2018}}</ref> ...7 KB (936 words) - 17:58, 16 June 2023
Page text matches
- ...be uniquely extended to an assignment of truth values to all propositional formulas. ...ique truth assignment for all [[sentence (mathematical logic)|sentences]] (formulas with no [[free variables]]) in the language. ...3 KB (412 words) - 15:06, 13 August 2024
- ...tructure_(mathematics)|substructures]] is exactly the set of ''universal'' formulas.<ref>{{citation | first1=Wilfrid | last1=Hodges | author-link=Wilfrid Hodge <math>\Phi(\bar{x})</math> a set of formulas of <math>L</math>. ...3 KB (384 words) - 19:17, 24 April 2023
- This is a short list of some common mathematical shapes and figures and the formulas that describe them. ...ps://www.andlearning.org/geometry-formulas/|title = List of Basic Geometry Formulas|date = 27 May 2018}}</ref> ...7 KB (936 words) - 17:58, 16 June 2023
- ...s. It provides a [[Software framework|framework]] that enables proving the formulas from the [[axiom]]s of program constructs such as assignment, iteration and ''formulas'' - i.e. expressions denoting the relations among elements of data structur ...3 KB (410 words) - 01:15, 1 August 2024
- ...d in [[elliptic curve cryptography]] to speed up the addition and doubling formulas and to have strongly unified arithmetic. In some operations (see the last s ...law|group law]] of the elliptic curve, defining the addition and doubling formulas (because the [[Power analysis#Simple power analysis|simple power analysis]] ...7 KB (1,032 words) - 20:45, 23 December 2024
- ==Formulas== ...λ'', plane coordinates ''x'' and ''y'' can be computed using the following formulas when ''λ'' ≤ {{sfrac|{{pi}}|2}}:<ref name="Snyder89" /> ...3 KB (473 words) - 00:46, 15 September 2024
- ...er known for his contributions to plasma science and engineering. Macheret formulas for [[endothermic]] exchange reactions and Macheret-Fridman model<ref>{{cit ===Macheret formulas=== ...4 KB (572 words) - 15:45, 5 February 2025
- ...évy hierarchy''', introduced by [[Azriel Lévy]] in 1965, is a hierarchy of formulas in the [[formal language]] of the [[Zermelo–Fraenkel set theory]], which is The first level of the Lévy hierarchy is defined as containing only formulas with no unbounded quantifiers and is denoted by <math>\Delta_0=\Sigma_0=\Pi ...10 KB (1,585 words) - 10:44, 4 October 2024
- ...remain untouched and the modal operators are transformed into first-order formulas according to their [[Kripke semantics|semantics]]. ...5 KB (782 words) - 18:32, 28 June 2023
- ...imitates the thought process of Ramanujan in his discovery of hundreds of formulas.<ref>{{cite web |title=The Ramanujan Machine |url=https://www.technion.ac.i ==Formulas discovered by the Ramanujan machine== ...5 KB (750 words) - 00:51, 30 November 2023
- ==Basic formulas== ...3 KB (442 words) - 19:53, 23 February 2024
- ==Formulas== ...λ'', plane coordinates ''x'' and ''y'' can be computed using the following formulas: ...3 KB (436 words) - 01:23, 1 September 2024
- ==Metric formulas== ...a right kite can be divided into two right triangles, the following metric formulas easily follow from well known properties of right triangles. In a right kit ...5 KB (708 words) - 21:43, 14 November 2024
- ...s. Sometimes "decision list" is used to refer to a 1-DL, where all of the formulas are either a variable or its [[negation]]. ...2 KB (325 words) - 17:31, 24 December 2022
- ...) springs in series or parallel behaves like a single Hookean spring. The formulas for combining their physical attributes are analogous to those that apply t ==Formulas== ...7 KB (1,025 words) - 18:10, 30 January 2025
- ...eometry|surface of a sphere]] and so have curved sides and do not obey the formulas for [[Triangle|plane triangle]]s.<ref>{{citation|title=Handbook of Mathemat ...<math>S = \tfrac12 (A+B+ C)</math> is half the sum of the angles. Two more formulas can be obtained for <math>b</math> and <math>c</math> by permuting the labe ...3 KB (537 words) - 17:32, 23 November 2023
- ...ably inseparable. The inseparability of the sets of provable and refutable formulas holds for many other formal theories of arithmetic (Smullyan 1958). ...4 KB (511 words) - 22:28, 18 January 2024
- ...l proof system]] whose proofs are [[sequence]]s of [[propositional formula|formulas]] derived using a finite set of [[soundness|sound]] and implicationally com ...''A<sub>k</sub>'' is a member of ''X'', or it is derived from some of the formulas ''A<sub>i</sub>'', ''i'' < ''k'', by a [[substitution (logic)|sub ...7 KB (1,093 words) - 07:05, 14 October 2024
- ==Formulas== ...λ'', plane coordinates ''x'' and ''y'' can be computed using the following formulas: ...4 KB (513 words) - 01:22, 1 September 2024
- == Formulas == ...3 KB (520 words) - 21:15, 17 March 2024