HandWiki
Encyclopedia of Knowledge
Home

Searching: "q.e.d."

  1. Q.E.D. [100%] (Computing) [Mathematical terminology] [Mathematical proofs] [Latin philosophical phrases] Abbreviation to indicate the completion of a mathematical or logical proof ...
  2. Gee Bee Q.E.D. [50%] (Engineering) [Racing aircraft] [Low-wing aircraft] [Single-engined tractor aircraft] This aircraft was being used to finance a new company based ...
  3. QED [100%] (redirect)
  4. QED [100%] (Physics) [Richard Feynman] Play; Play written by Peter Parnell ...
  5. QED [100%] (Software) [Line editor] Text editor; Line-oriented text editor for the SDS 940 ...
  6. QED manifesto [62%] (Computing) [Formal methods] Proposal for a computer-based database of all mathematical knowledge ...
  7. QED vacuum [62%] (Physics) [Quantum electrodynamics] [Concepts in physics] [Energy (physics)] Lowest energy state in quantum electrodynamics ...
  8. Precision tests of QED [50%] (Physics) [Electrodynamics] [Quantum electrodynamics] Verifying quantum electrodynamics via multiple measurements of the fine-structure constant ...
Searching 1020439 articles took 140 ms

Found in text:

  1. Gee Bee Q.E.D. [100%] (Engineering) [Racing aircraft] [Low-wing aircraft] [Single-engined tractor aircraft] ... delivery date. Design The Gee Bee Q.E.D. ... Development The Gee Bee Q.E.D. was started by ... The Gee Bee Q.E.D. ("Quod Erat ...
  2. Q.E.D. [55%] (Computing) [Mathematical terminology] [Mathematical proofs] [Latin philosophical phrases] ... Barrow in the form Q.E.D. , and ... abbreviation q.e.d. is used once in 1598 by ... Q.E.D. or QED is an initialism of the ...
  3. Proofs involving covariant derivatives [52%] (Computing) [Tensors] [Differential geometry] [Riemannian geometry] ... [math]\displaystyle{ x^a }[/math]. Q.E.D. (return to ... = 0, }[/math] Q.E.D. (return to article) ... \nabla_m R, }[/math] Q.E.D. (return to article) ...
  4. Bourbaki–Witt theorem [48%] (Computing) [Articles containing proofs] [Theorems in the foundations of mathematics] [Fixed-point theorems] ... Q.E.D. Applications The Bourbaki–Witt ...
  5. Levitzky's theorem [48%] (Computing) [Theorems in abstract algebra] [Ring theory] ... nilradical. Q.E.D. harvnb Herstein 1968 Theorem ...
  6. Tombstone [48%] (Computing) [Mathematical symbols] [Mathematical proofs] ... In mathematics, the tombstone , halmos , end-of-proof , or Q.E.D. symbol "∎" (or "□") is a symbol used to denote the ...
  7. Mathematical proofs [48%] (Category) [Proof theory] [Theorems] [Mathematics] ... Really Count Q Q.E.D. S Structural induction ...
  8. Latin philosophical phrases [48%] (Category) [Philosophical phrases] ... movens Q Q.E.D. Philosophy:Quae ipso usu ...
  9. Ipso facto [48%] (Philosophy) [Latin philosophical phrases] ... also List of Latin phrases Eo ipso Q.E.D. ...
  10. Ptolemy's theorem [47%] (Computing) [Euclidean plane geometry] [Articles containing proofs] ... Q.E.D. Proof by inversion Choose an ... above equation are equal to: Q.E.D. Here ... AC⋅BD = AB⋅CD + BC⋅DA, Q.E.D. The proof as ...
  11. Hölder's theorem [42%] (Computing) [Theorems in analysis] [Gamma and related functions] ... differentially algebraic. Q.E.D. Bank, Steven B. & ...
  12. Clausius–Duhem inequality [42%] (Physics) [Continuum mechanics] ... Therefore, : Rearranging, : Q.E.D. }} ...
  13. Mathematical terminology [42%] (Category) [Mathematics] [Academic terminology] ... Proportionality (mathematics) Q Q.E.D. Quadrature ...
  14. Pseudorandom generator theorem [36%] (Computing) [Theorems in computational complexity theory] [Pseudorandomness] ... and the hypothesis is contradicted. Q.E.D. ... Q.E.D. OWF → PRG For this case we prove a ... hypothesis. Q.E.D. Now, let's illustrate ...
  15. Viviani's theorem [36%] (Computing) [Articles containing proofs] ... can write:: and thus: Q.E.D. Converse The ...
  16. Ekeland's variational principle [36%] (Computing) [Variational principles] [Variational analysis] [Theorems in functional analysis] ... metric spaces are unique, Q.E.D. }}For ...
  17. Uncorrelated random variables [36%] (Computing) [Covariance and correlation] ... independent. Q.E.D. When uncorrelatedness ...
  18. Racing aircraft [36%] (Category) [Civil aircraft by type] [Aircraft by type] ... Bee Model Z Engineering:Gee Bee Q.E.D. ...
  19. Arbelos [34%] (Computing) [Geometric shapes] ... at E. Q.E.D. Archimedes' circles The ... angles, so it is a rectangle. Q.E.D. Tangents ...
  20. Dimension theory [33%] (Computing) [Commutative algebra] [Dimension] ... case. Q.E.D. Homological methods Regular ... follows . Q.E.D. Nagata's altitude ... going-down property. Q.E.D. Proof: If are a ...
  21. Ursescu theorem [31%] (Computing) [Theorems in functional analysis] ... y. }[/math] Q.E.D. Additional corollaries ... }[/math] Q.E.D. Open mapping theorem Open ... [math]\displaystyle{ x. }[/math] Q.E.D. ...
  22. Mathematical fallacy [31%] (Philosophy) [Proof theory] ... = AC. Q.E.D. As a corollary, one can ... sides::: : Q.E.D. The fallacy is in the ... Divide by the non-zero b #: : Q.E.D. The ...
  23. Granville Gee Bee R-6 [31%] (Engineering) [Racing aircraft] [Low-wing aircraft] [Single-engined tractor aircraft] ... Operational history Q.E.D. with race number 77 for the 1934 Bendix Q.E.D. during the ... Development Q.E.D. being prepared for the ...
  24. Peaucellier–Lipkin linkage [30%] (Computing) [Linear motion] [Articles containing proofs] [Linkages (mechanical)] ... circle passing through . Q.E.D. A typical ...
  25. Phragmén–Lindelöf principle [30%] (Computing) [Theorems in complex analysis] [Mathematical principles] ... that for all . Q.E.D. Phragmén–Lindelöf ...
  26. Plane at infinity [30%] (Computing) [Projective geometry] [Infinity] [Articles containing proofs] ... }[/math], as required. Q.E.D. Any pair ...
  27. Cauchy's functional equation [30%] (Computing) [Functional equations] ... putting things together,: , q.e.d. ...
  28. Kripke–Platek set theory [30%] (Computing) [Systems of set theory] ... union . Q.E.D. Metalogic The consistency ...
  29. Therefore sign [30%] (Computing) [Logical consequence] [Logic symbols] [Mathematical symbols] ... similar.[6] See also Q.E.D. List of ...
  30. Price of anarchy [30%] (Computing) [Game theory] ... \geq 0 }[/math]. Q.E.D. Theorem. The pure ... Q.E.D. Note that Fact 1 does not assume any ... [math]\displaystyle{ a }[/math]. Q.E.D. Claim. For each job ...
  31. Buttered toast phenomenon [30%] (Physics) [Physical phenomena] ... Q.E.D. found that when toast is tossed ...
  32. Nqthm [30%] (Software) [Theorem proving software systems] ... proof of *1. Q.E.D. [ 0.0 1.2 0.5 ] ...
  33. Bounded set [29%] (Computing) [Topological vector spaces] ... as desired. Q.E.D. Since every singleton ... \in H} h(C) is bounded in Q.E.D. Let be a ...
  34. Euclidean plane isometry [26%] (Computing) [Articles containing proofs] [Group theory] [Euclidean symmetries] ... 2(p q). Q.E.D. Nested group construction ... even isometry. Q.E.D. Since the even ... reproduce any plane isometry. Q.E.D. ...
  35. Interactions of actors theory [25%] (Computing) [Information theory] ... Doppelgangers. Q.E.D. A mechanical model ... TfA ≠ TfB Thus A ≠ B Q.E.D. Pask ...
  36. Arithmetic–geometric mean [24%] (Computing) [Articles containing proofs] [Elliptic functions] [Special functions] ... 1}^2}{g_{n}} = \frac{g^2}{g} = g Q.E.D. ...
  37. Euclid's lemma [24%] (Computing) [Theorems about prime numbers] [Articles containing proofs] ... b . Q.E.D. Harvnb Bajnok 2013 Theorem ...
  38. Lagrange's theorem [24%] (Computing) [Articles containing proofs] ... theorem is not necessarily true. Q.E.D. ...
  39. Second moment method [24%] (Computing) [Moment (mathematics)] [Articles containing proofs] [Probabilistic inequalities] ... Q.E.D. The method can also be used on ...
  40. Thales's theorem [24%] (Computing) [Articles containing proofs] [Euclidean plane geometry] ... Q.E.D. Second proof The theorem may also be ...
  41. Going up and going down [24%] (Computing) [Commutative algebra] ... complete. Q.E.D. References ↑ This ...
  42. Experimentum crucis [24%] (Computing) [Scientific method] ... Q.E.D. Scientific method Smoking gun ...
  43. Kleisli category [24%] (Computing) [Adjoint functors] ... Q.E.D. References ↑ Mac Lane (1998). ...
  44. Proof by exhaustion [24%] (Computing) [Problem solving methods] [Methods of proof] [Mathematical proofs] ... = 5 then n3 = 125 = 9×14 − 1. Q.E.D. ...
  45. Military Aircraft HM-1 [24%] (Engineering) [Racing aircraft] [Low-wing aircraft] [Single-engined tractor aircraft] ... earlier Gee Bee Q.E.D. design. The ...
  46. QED [24%] (Physics) [Richard Feynman] ... and Q.E.D. (), a phrase used at the end ...
  47. Bearing pressure [24%] (Physics) [Solid mechanics] [Mechanical engineering] [Bearings (mechanical)] ... }[/math] q.e.d. Case where the clearance ... }[/math] q.e.d. This calculation is similar ... therefore F = P × (D × L) q.e.d. The ...
  48. Bellanca 28-70 [24%] (Engineering) [Low-wing aircraft] [Single-engined tractor aircraft] [Racing aircraft] ... Q.E.D. Lockheed Model 8 Sirius Northrop ...
  49. Directional derivative [21%] (Computing) [Scalars] [Multivariable calculus] [Generalizations of the derivative] ... Q.E.D. Rotations The rotation operator also ... }[/math] Q.E.D. As a ...
  50. Jordan–Chevalley decomposition [21%] (Computing) [Matrix decompositions] [Algebraic groups] [Lie algebras] ... see that has coefficients in . Q.E.D. If ... decomposition of . Q.E.D. This proof, besides ...
  51. Bounded operator [21%] (Computing) [Theory of continuous functions] [Operator theory] [Linear operators] ... contradiction. Q.E.D. This proof readily ... Q.E.D. In topological vector spaces A ...
  52. Envelope theorem [21%] (Computing) [Theorems in analysis] [Economics theorems] [Calculus of variations] ... (4). Q.E.D. This result dispels the common ... equation (3). Q.E.D. While ...
  53. Position operator [21%] (Physics) [Quantum mechanics] ... \delta_{x_0} . }[/math] Q.E.D. Meaning of the ... [math]\displaystyle{ x_0 }[/math]. Q.E.D. The normalized ...
  54. Hahn decomposition theorem [21%] (Computing) [Articles containing proofs] [Theorems in measure theory] ... }[/math] this completes the proof. Q.E.D. ...
  55. Identity theorem [21%] (Computing) [Articles containing proofs] [Theorems in complex analysis] ... holds. Q.E.D. See also Analytic ...
  56. Lagrange's identity [21%] (Computing) [Articles containing proofs] [Multilinear algebra] [Mathematical identities] ... Q.E.D. Proof of Lagrange's identity for ...
  57. Mathematical induction [21%] (Computing) [Articles containing proofs] [Mathematical induction] ... }[/math] q.e.d. variants in practice, proofs ... natural number n. q.e.d. a trigonometric ...
  58. Menger's theorem [21%] (Computing) [Theorems in graph theory] [Network theory] [Graph connectivity] ... Q.E.D. Other proofs The directed edge ...
  59. Multi-index notation [21%] (Computing) [Articles containing proofs] [Mathematical notation] [Combinatorics] ... theorem follows. Q.E.D. See also Einstein ...
  60. Plücker coordinates [21%] (Computing) [Coordinate systems] [Geometric algebra] [Multilinear algebra] ... product of and must be zero. q.e.d. Point ...
  61. Normal matrix [21%] (Computing) [Matrices] ... 2 through n shows A is diagonal. Q.E.D. ...
  62. Sylvester equation [21%] (Computing) [Control theory] [Matrices] ... the theorem. Q.E.D. As an alternative to ...
  63. Proof that e is irrational [21%] (Computing) [Irrational numbers] [E (mathematical constant)] [Exponentials] ... Q.E.D. Alternate proofs Another proof[7] ...
  64. Elementary comparison testing [21%] (Computing) [Software testing] ... Q.E.D. Test-case design steps Identify ...
  65. Vickrey–Clarke–Groves auction [21%] (Computing) ... utility. Hence and q.e.d. von Ahn Luis ...
  66. Conservative force [21%] (Physics) [Force] ... equivalent, Q.E.D. (The equivalence of 1 ...
  67. Linkage principle [21%] (Finance) [Auction theory] ... x, Δ(x) ≥ 0. Q.E.D. To use this ...
  68. Granville Gee Bee Model A [21%] (Engineering) [Single-engined tractor aircraft] [Biplanes] ... exception of the Q.E.D. which is on display in ...
  69. Complemented subspace [20%] (Computing) [Functional analysis] ... map, and so closed. Q.E.D. ↑ Any sequence ... [math]\displaystyle{ Y }[/math]. Q.E.D. ↑ ...
  70. Maass wave form [18%] (Computing) [Automorphic forms] ... q.e.d. proposition. e is an eigenform of the ... }[/math]. q.e.d. even and odd maass ...
  71. Orthogonal complement [18%] (Computing) [Functional analysis] [Linear algebra] ... }[/math] Q.E.D. References ↑ Adkins & ...
  72. McNaughton's theorem [18%] (Computing) [Automata (computation)] ... automaton. Q.E.D. Other proofs Since ...
  73. Flashsort [18%] (Computing) [Sorting algorithms] ... implies Kb ≥ Kc ≥ i, Q.E.D. Incorporating ...
  74. Sum frequency generation spectroscopy [18%] (Physics) [Surface science] ... centrosymmetric media. Q.E.D. [Note 1: The ...

HandWiki ©