1. Hilbert's irreducibility theorem.

Bổ đề Zorn Định lý Hilbert

2. The ham sandwich theorem can be proved as follows using the Borsuk–Ulam theorem.

Định lý bánh mì dăm bông có thể được chứng minh bằng cách quy về định lý Borsuk–Ulam.

3. It is a special case of van Aubel's theorem and a square version of the Napoleon's theorem.

Định lý này là một trường hợp đặc biệt của định lý Van Aubel và là một phiên bản của định lý Napoleon cho tứ giác.

4. The Steiner–Lehmus theorem, a theorem in elementary geometry, was formulated by C. L. Lehmus and subsequently proved by Jakob Steiner.

Định lý Steiner-Lehmus, là một định lý trong lĩnh vực hình học phẳng, được phát hiện bởi C. L. Lehmus và chứng minh bởi Jakob Steiner.

5. The theorem is named after Lazare Carnot (1753–1823).

Trong lĩnh vực hình học phẳng, định lý Carnot đặt tên theo Lazare Carnot (1753–1823).

6. The reason is that Ehrenfest's theorem is closely related to Liouville's theorem of Hamiltonian mechanics, which involves the Poisson bracket instead of a commutator.

Lý do là định lý Ehrenfest có liên quan chặt chẽ với định lý Liouville trong cơ học Hamilton, liên quan tới ngoặc Poisson (Poisson bracket) thay vì giao hoán tử.

7. And we're gonna learn something called the Markov Convergence Theorem.

Và chúng ta sẽ học kỹ hơn về định lý hội tụ Markov.

8. Wine made from grapes needed no such additive.

Còn rượu được làm từ nho nên không cần phải thêm chất men.

9. This last result is sometimes called the weak Whitney immersion theorem.

Kết quả cuối cùng này được gọi là định lý nhúng (immersion)Whitney yếu.

10. It will then become a theorem, a truth, forever and ever.

Thì nó sẽ trở thành định lý, một sự thật, vĩnh viễn.

11. The revenue equivalence theorem remains the centrepiece of modern auction theory.

Định lý doanh thu tương đương vẫn là trung tâm của lý thuyết đấu giá hiện đại.

12. This chemical is used as an additive in cigarettes.

Hóa chất này được sử dụng làm chất phụ gia trong thuốc lá.

13. Assume n > 3 and the theorem is true for n − 1.

Giả sử n > 3 và định lý đúng cho n − 1.

14. This theorem was extended for terms of all orders by Lorentz in 1904.

Các phương trình được sử dụng để mô tả hiệu ứng này được tiếp tục phát triển bởi Lorentz cho đến năm 1904.

15. This theorem is of foundational importance to the modern field of information theory.

Định lý này là nền tảng quan trọng đối với ngành Lý thuyết thông tin hiện đại.

16. Additive manufacturing can be time consuming and create flawed structures.

Sản xuất bồi đắp có thể tốn thời gian và tạo ra các cấu trúc có thiếu sót.

17. According to the Noether theorem, isospin is conserved with respect to the strong interaction.

Theo định lý Noether, đại lượng isospin được bảo toàn ứng với tương tác mạnh.

18. Envelope theorem Jean Gaston Darboux at the Mathematics Genealogy Project Eisenhart, Luther P. (1918).

Định lý hình bao ^ Gaston Darboux tại Dự án Phả hệ Toán học ^ Eisenhart, Luther P. (1918).

19. Control engineering Derivation of the Routh array Nyquist stability criterion Routh–Hurwitz theorem Root locus Transfer function Jury stability criterion Bistritz stability criterion Kharitonov's theorem Liénard–Chipart criterion Routh, E. J. (1877).

Kỹ thuật điều khiển Phái sinh của mảng Routh Tiêu chuẩn ổn định Nyquist Định lý Routh-Hurwitz Quỹ đạo nghiệm số Hàm truyền Tiêu chuẩn ổn định Jury Tiêu chuẩn ổn định Bistritz Định lý Kharitonov Tiêu chuẩn Liénard–Chipart ^ Routh, E. J. (1877).

20. Sodium bisulfite is a food additive with E number E222.

Natri bisulfit là chất phụ gia có số E là E222.

21. The toxic effects are additive to those of alcohol and benzodiazepines.

Các tác dụng độc hại là phụ gia cho rượu và các chất benzodiazepin.

22. That's, in the additive, about 25 percent of our problem.

Tổng cộng lại chiếm khoảng 25% vấn đề của chúng ta.

23. The open mapping theorem points to the sharp difference between holomorphy and real-differentiability.

Định lý ánh xạ mở đưa ra điểm khác biệt rõ giữa holomorphy và khả vi thực (real-differentiability).

24. There is no exact analog of the mean value theorem for vector-valued functions.

Không có một sự tương tự chính xác của định lý giá trị trung bình cho hàm nhận giá trị vector.

25. No additive manufacturing today gets even close to this level of sophistication.

Hiện tại, không phương pháp gia công nào đạt được trình độ tinh xảo như vậy.

26. Pompeiu's theorem is a result of plane geometry, discovered by the Romanian mathematician Dimitrie Pompeiu.

Định lý Pompiu là một định lý trong lĩnh vực hình học phẳng, được phát hiện bởi nhà toán học Romanian Dimitrie Pompiu.

27. Colorants are another common additive, though their weight contribution is small.

Phẩm màu là các chất phụ gia phổ biến mặc dù trọng lượng của chúng chiếm tỉ lệ nhỏ.

28. This is a result of Galois theory (see Quintic equations and the Abel–Ruffini theorem).

Đó là kết quả của lý thuyết Galois (xem phương trình bậc năm và định lý Abel-Ruffini).

29. The Lorentz reciprocal theorem states a relationship between two Stokes flows in the same region.

Định lý thuận nghịch Lorentz nói về mối quan hệ giữa hai dòng chảy Stokes trong cùng một vùng.

30. Complete quadrangle Newton's theorem Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics.

Định lý Anne Tứ giác toàn phần ^ Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics.

31. It is assigned the International Numbering System (INS) food additive code 961.

Nó được chỉ định mã số 961 của Hệ thống mã số quốc tế (INS).

32. His model was based on another well-known feature of fluid mechanics, the Taylor–Proudman theorem.

Mô hình của ông dựa trên một tính chất nổi tiếng khác của cơ học chất lỏng, định lý Taylor-Proudman.

33. As a food additive (E574), it is now known as an acidity regulator.

Trong vai trò của một phụ gia thực phẩm (E574), nó là chất điều chỉnh độ chua.

34. Maltodextrin Maltodextrin is a short-chain starch sugar used as a food additive.

Maltodextrin Bài chi tiết: maltodextrin Maltodextrin là một loại tinh bột đường ngắn được sử dụng làm chất phụ gia thực phẩm.

35. Magnesium trisilicate is an inorganic compound that is used as a food additive.

Magiê trisilicat là một hợp chất vô cơ được sử dụng như một phụ gia thực phẩm.

36. Sodium ferrocyanide is a chemical additive known as E number E535 in the EU.

Natri ferroxianua là chất phụ gia hóa học dưới tên E 535.

37. Gum arabic is an important food additive obtained from the trunks of Acacia senegal trees.

Gôm arabic là một loại phụ gia thực phẩm quan trọng thu được từ thân cây Acacia senegal.

38. DMLS is also one of the few additive manufacturing technologies being used in production.

DMLS cũng là một trong số ít các công nghệ sản xuất bồi đắp được sử dụng trong sản xuất.

39. Manganese carbonate is widely used as an additive to plant fertilizers to cure manganese deficient crops.

Mangan cacbonat được sử dụng rộng rãi như một chất phụ gia cho phân bón thực vật để chữa bệnh thiếu mangan.

40. It is most often used as a motor fuel, mainly as a biofuel additive for gasoline.

Nó thường được sử dụng nhất là cho nhiên liệu động cơ, chủ yếu là chất phụ gia nguyên liệu sinh học cho xăng.

41. It is a food additive with the E number E219 which is used as a preservative.

Nó là một phụ gia thực phẩm với số E E219 dùng làm chất bảo quản.

42. The extreme value theorem states that for any real continuous function on a compact space its global maximum and minimum exist.

Định lý giá trị cực trị: một hàm trị thực liên tục trên một không gian compact có giá trị nhỏ nhất và giá trị lớn nhất.

43. Some additive manufacturing techniques are capable of using multiple materials in the course of constructing parts.

Một số kỹ thuật sản xuất chất phụ gia có khả năng sử dụng nhiều vật liệu trong quá trình xây dựng các bộ phận.

44. Pepsin was historically an additive of Beemans gum brand chewing gum by Dr. Edward E. Beeman.

Pepsin là lịch sử một chất phụ gia của Beemans gum thương hiệu kẹo cao su của Tiến sĩ Edward E. Beeman.

45. Independently, Adolf Hurwitz analyzed system stability using differential equations in 1877, resulting in what is now known as the Routh–Hurwitz theorem.

Một cách độc lập, Adolf Hurwitz đã phân tích sự ổn định của hệ thống sử dụng phương trình vi phân vào năm 1877, kết quả là ta có được định lý Routh-Hurwitz.

46. Carbon black from vegetable origin is used as a food coloring, known in Europe as additive E153.

Muội than có nguồn gốc dầu thực vật được sử dụng như làm phẩm màu thực phẩm, ở châu Âu được gọi là chất phụ gia E152.

47. As a food additive it is used as a preservative under the E number E225 (INS number 225).

Kali sunfit có tác dụng như một phụ gia thực phẩm, được dùng làm chất bảo quản với số E là E225 (Số INS là 225).

48. As a food additive, it is used under the E number E311 as an antioxidant and preservative.

Là một phụ gia thực phẩm được sử dụng theo E số E311 như là một chất chống oxy hoá và chất bảo quản.

49. In Japan, elderberry juice is listed as an approved "natural color additive" under the Food and Sanitation Law.

Tại Nhật Bản, nước ép cơm cháy được liệt kê là "phụ gia màu tự nhiên" được phê chuẩn theo Luật Thực phẩm và Vệ sinh.

50. One can arrive at the Pythagorean theorem by studying how changes in a side produce a change in the hypotenuse and employing calculus.

Có thể đi đến định lý Pytago bằng cách nghiên cứu sự thay đổi của một cạnh kề tạo ra thay đổi như thế nào đối với cạnh huyền và áp dụng phương pháp vi tích phân.

51. Compost that is ready to be used as an additive is dark brown or even black with an earthy smell.

Phân hữu cơ được sẵn sàng để được sử dụng như là một chất dinh dưỡng có màu nâu tối hoặc màu đen với một mùi giống đất.

52. Serge Lang in Analysis I uses the mean value theorem, in integral form, as an instant reflex but this use requires the continuity of the derivative.

Serge Lang, trong quyển Analysis I đã sử dụng định lý giá trị trung bình dạng tích phân, nhưng cách này yêu cầu tính liên tục của đạo hàm.

53. He introduces his discussion with an example where interchange of integration leads to two different answers because the conditions of Theorem II below are not satisfied.

Ông giới thiệu thảo luận của mình bằng một ví dụ mà việc hoán đổi phép lấy tích phân dẫn đến hai đáp án khác nhau, vì những điều kiện của Định lý II dưới đây không thỏa mãn.

54. Few have fully committed the concept of using additive manufacturing (AM) to create manufacturing tools (fixturing, clamps, molds, dies, patterns, negatives, etc.).

Rất ít người đã cam kết hoàn toàn khái niệm sử dụng sản xuất bồi đắp (AM) để tạo ra các công cụ sản xuất (đồ gá cố định, kẹp, khuôn ép, khuôn dập, mẫu, âm bản, vv).

55. Anne's theorem, named after the French mathematician Pierre-Leon Anne (1806–1850), is a statement from Euclidean geometry, which describes an equality of certain areas within a convex quadrilateral.

Định lý Anne, đặt theo tên nhà toán học Pháp Pierre-Leon Anne (1806–1850), là một định lý trong lĩnh vực hình học Euclid, nói về một tính chất diện tích bằng nhau trong một tứ giác lồi.

56. In addition, new developments in RepRap technology allow the same device to perform both additive and subtractive manufacturing by swapping magnetic-mounted tool heads.

Ngoài ra, những phát triển mới trong công nghệ RepRap cho phép cùng một thiết bị thực hiện cả sản xuất đắp dần và cắt gọt bằng cách hoán đổi đầu công cụ gá lắp bằng từ tính.

57. The use of MSG as a food additive and the natural level of glutamic acid in foods are not toxicological concerns in humans.

Do đó, việc ăn vào bột ngọt như một chất điều vị và mức độ glutamat tồn tại tự nhiên trong thực phẩm không gây độc hại cho con người.

58. The analytical Marxist John Roemer challenges what he calls the "fundamental Marxian theorem" (after Michio Morishima) that the existence of surplus labour is the necessary and sufficient condition for profits.

Nhà phân tích chủ nghĩa Marx John Roemer không thừa nhận cái mà ông ấy gọi là “định nghĩa cơ bản của chủ nghĩa Marx” (sau Michio Morishima): sự tồn tại của lao động thặng dư là cần thiết và là điều kiện đủ cho lợi nhuận.

59. While the additive is not part of a person's official name, it may be used in a postal address, on an election register or in newspaper reports.

Mặc dù cụm bổ sung không phải là một phần của tên riêng thức của một người, nhưng nó có thể được sử dụng trong địa chỉ bưu điện, trên một sổ bản đăng ký bầu cử hoặc trong các bản tin của báo chí.

60. Since 2000, a team of researchers at the NASA LaRC have led the fundamental research and development of this technique for additive manufacturing for metallic aerospace structures.

Kể từ năm 2000, một nhóm các nhà nghiên cứu ở NASA LaRC đã được cho phép nghiên cứu cơ bản và phát triển kĩ thuật này dùng sản xuất bồi đắp cho các cấu trúc kim loại trong không gian.

61. The use of additive manufacturing for serialized production of orthopedic implants (metals) is also increasing due to the ability to efficiently create porous surface structures that facilitate osseointegration.

Việc sử dụng sản xuất đắp dần cho sản xuất hàng loạt trong cấy ghép chỉnh hình (kim loại) cũng đang tăng lên do khả năng tạo ra các cấu trúc bề mặt xốp có hiệu quả, tạo điều kiện cho quá trình thẩm thấu.

62. Six colors suffice to color any map on the surface of a Klein bottle; this is the only exception to the Heawood conjecture, a generalization of the four color theorem, which would require seven.

Sáu màu sắc đủ để tô màu bất kỳ bản đồ trên bề mặt của một chai Klein, đây là ngoại lệ duy nhất để phỏng đoán Heawood, một dạng tổng quát của định lý bốn màu, nhưng sẽ yêu cầu đến bảy màu.

63. In the United States the purity requirements for citric acid as a food additive are defined by the Food Chemicals Codex, which is published by the United States Pharmacopoeia (USP).

Tại Hoa Kỳ, độ tinh khiết của axit citric cần thiết để làm phụ gia thực phẩm được định nghĩa bởi Food Chemical Codex (FCC), được công bố trong Dược điển Hoa Kỳ (USP).

64. The Lorentz reciprocal theorem can also be used to relate the swimming speed of a microorganism, such as cyanobacterium, to the surface velocity which is prescribed by deformations of the body shape via cilia or flagella.

Định lý thuận nghịch Lorentz cũng được sử dụng để tìm mối liên hệ giữa tốc độ bơi của một vi sinh vật, chẳng hạn như vi khuẩn cyanobacterium, với vận tốc bề mặt gây ra bởi các biến dạng của hình dạng cơ thể thông qua long mao (cilia) hay lông roi (flagella).

65. Beeswax may also be used as a food additive E901, in small quantities acting as a glazing agent, which serves to prevent water loss, or used to provide surface protection for some fruits.

Sáp ong cũng có thể được dùng như chất phụ gia thực phẩm E901, với lượng nhỏ hoạt động như tác nhân tráng men, giúp ngăn ngừa mất nước hoặc dùng bảo vệ bề mặt một số loại trái cây.

66. As a food additive, ammonium sulfate is considered generally recognized as safe (GRAS) by the U.S. Food and Drug Administration, and in the European Union it is designated by the E number E517.

Là một phụ gia thực phẩm,Amoni sunfat được Cục Quản lý Thực phẩm và Dược phẩm Hoa Kỳ coi là an toàn (GRAS), và tại Liên minh Châu Âu, nó được chỉ định bởi số E517.

67. Coumarin has been used as an aroma enhancer in pipe tobaccos and certain alcoholic drinks, although in general it is banned as a flavorant food additive, due to concerns regarding its hepatotoxicity in animal models.

Coumarin đã được sử dụng như một chất tăng cường hương thơm trong thuốc lá và một số đồ uống có cồn, mặc dù nói chung nó bị cấm làm phụ gia thực phẩm có hương vị, do lo ngại về độc tính gan của nó trong mô hình động vật.

68. Selective laser sintering (SLS) is an additive manufacturing (AM) technique that uses a laser as the power source to sinter powdered material (typically nylon/polyamide), aiming the laser automatically at points in space defined by a 3D model, binding the material together to create a solid structure.

Thiêu kết laser chọn lọc (SLS) là một kỹ thuật sản xuất bồi đắp (AM) sử dụng một laser như nguồn năng lượng để thiêu kết vật liệu bột (như nylon / polyamide), định hướng laser tự động tại các điểm trong không gian nhờ một mô hình 3D, kết nối vật liệu lại với nhau để tạo ra một kết cấu vững chắc.

69. In December 2006, Beijing authorities again inspected cellophane noodles produced by the Yantai Deshengda Longkou Vermicelli Co. Ltd. in Siduitou village, Zhangxing town, Zhaoyuan city, Yantai, this time determining that sodium formaldehyde sulfoxylate, a toxic and possibly carcinogenic industrial bleach that is an illegal food additive in China, had been used in the production of the noodles.

Tháng 12 năm 2006, nhà chức trách Bắc Kinh một lần nữa kiểm tra sản phẩm bún tàu của Công ty sản xuất Bún tàu Yantai Deshengda tại làng Siduitou, trấn Zhangxing, thị xã Chiêu Viễn, địa cấp thị Yên Đài và họ đã tìm thấy chất sodium formaldehyde sulfoxylate được sử dụng trong quy trình sản xuất bún tàu.