Search Results: Univalent relation
Redirect to:
- To a section: This is a redirect from a topic that does not have its own page to a section of a page on the subject. For redirects to embedded anchors on a page, use {{R to anchor}} instead.
Univalent
Selasa, 2021-09-28 02:46:57Univalent may refer to: Univalent function – an injective holomorphic function on an open subset of the complex plane Univalent foundations – a type-based...
Click to read more »Univalent function
Minggu, 2026-05-17 11:24:44plane is called univalent if it is injective. The function f : z ↦ 2 z + z 2 {\displaystyle f\colon z\mapsto 2z+z^{2}} is univalent in the open unit...
Click to read more »Univalent foundations
Rabu, 2026-06-03 07:18:49Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called types. Types...
Click to read more »Homotopy type theory
Kamis, 2026-08-06 23:14:44between the work referred to as homotopy type theory, and that called the univalent foundations project. Although neither is precisely delineated, and the...
Click to read more »Vladimir Voevodsky
Jumat, 2026-07-24 08:48:35the Milnor conjecture and motivic Bloch–Kato conjectures and for the univalent foundations of mathematics and homotopy type theory. Vladimir Voevodsky's...
Click to read more »Grunsky's theorem
Sabtu, 2026-04-25 05:02:58concerning holomorphic univalent functions defined on the unit disk in the complex numbers. The theorem states that a univalent function defined on the...
Click to read more »Thorsten Altenkirch
Selasa, 2026-06-30 03:55:35homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs...
Click to read more »LowerUnivalents
Jumat, 2026-07-31 18:55:40mathematical logic, LowerUnivalents is an algorithm used for the compression of propositional resolution proofs. LowerUnivalents is a generalised algorithm...
Click to read more »Koenigs function
Minggu, 2026-05-17 11:02:04Gabriel Koenigs, it gives a canonical representation as dilations of a univalent holomorphic mapping, or a semigroup of mappings, of the unit disk in the...
Click to read more »Extensionality
Jumat, 2026-07-24 16:52:55equality Type theory Univalence axiom The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton, NJ:...
Click to read more »Loewner differential equation
Minggu, 2026-05-31 13:49:20generalizes the notion of a univalent semigroup. The Loewner differential equation has led to inequalities for univalent functions that played an important...
Click to read more »Koebe quarter theorem
Minggu, 2026-05-17 11:01:252 z − 2 + ⋯ {\displaystyle g(z)=z+b_{1}z^{-1}+b_{2}z^{-2}+\cdots } is univalent in | z | > 1 {\displaystyle |z|>1} . Then ∑ n = 1 ∞ n | b n | 2 ≤ 1. {\displaystyle...
Click to read more »Adolph Winkler Goodman
Minggu, 2025-12-28 16:51:26mathematician who contributed to number theory, graph theory and to the theory of univalent functions: The conjecture on the coefficients of multivalent functions...
Click to read more »Binary relation
Jumat, 2026-07-24 19:08:191} to 0 {\displaystyle 0} ). Functional (also called right-unique or univalent): for all x ∈ X {\displaystyle x\in X} and all y , z ∈ Y , {\displaystyle...
Click to read more »Arene complexes of univalent gallium, indium, and thallium
Senin, 2026-06-22 22:53:17Arene complexes of univalent gallium, indium, and thallium are complexes featuring the centric (η6) coordination of the metal to the arene. Although arene...
Click to read more »Nevanlinna's criterion
Selasa, 2024-04-23 13:12:44holomorphic univalent functions on the unit disk which are starlike. Nevanlinna used this criterion to prove the Bieberbach conjecture for starlike univalent functions...
Click to read more »Grunsky matrix
Minggu, 2026-05-24 03:10:17the univalent function itself. The Grunsky matrix and its associated inequalities were originally formulated in a more general setting of univalent functions...
Click to read more »Nitryl
Selasa, 2023-07-18 23:26:33nitrogen dioxide (NO2) moiety when it occurs in a larger compound as a univalent fragment. Examples include nitryl fluoride (NO2F) and nitryl chloride...
Click to read more »Alum
Kamis, 2026-08-06 11:37:32the alums, which are dodecahydrates, double sulfates and selenates of univalent and trivalent cations occur with other degrees of hydration. These materials...
Click to read more »Michael Shulman (mathematician)
Jumat, 2026-07-17 20:07:30Special Year on Univalent Foundations of Mathematics. Shulman was one of the principal authors of the book Homotopy type theory: Univalent foundations of...
Click to read more »Institute for Advanced Study
Sabtu, 2026-07-25 21:07:37format "Univalent Foundations of Mathematics – Events | Institute for Advanced Study". www.ias.edu. October 21, 2010. "Homotopy Type Theory: Univalent Foundations...
Click to read more »Carathéodory kernel theorem
Senin, 2025-11-10 21:32:30The uniform convergence on compact sets of a sequence of holomorphic univalent functions, defined on the unit disk in the complex plane and fixing 0...
Click to read more »Riemann mapping theorem
Senin, 2026-07-27 20:59:47of univalent holomorphic functions on an open domain has a uniform limit on compacta, then either the limit is constant or the limit is univalent. If...
Click to read more »Direct thrombin inhibitor
Jumat, 2025-11-14 18:29:31(hirudin and analogs) bind both to the active site and exosite 1, while univalent DTIs bind only to the active site. The third class of inhibitors, which...
Click to read more »Synthetic mathematics
Selasa, 2026-07-14 05:09:01become applicable to multiple different models. For example, reasoning in univalent foundations yields theorems about arbitrary (∞, 1)-toposes. Furthermore...
Click to read more »Valence (chemistry)
Rabu, 2026-06-10 14:21:52the compound. Valence is defined by the IUPAC as: The maximum number of univalent atoms (originally hydrogen or chlorine atoms) that may combine with an...
Click to read more »Isaak Moiseevich Milin
Jumat, 2025-10-17 19:30:06seriously improved the known coefficient estimate for univalent functions. Milin’s monograph “Univalent functions and orthonormal systems” (1971) includes...
Click to read more »André Joyal
Minggu, 2026-01-04 20:48:02Advanced Study in 2013, where he was invited to join the Special Year on Univalent Foundations of Mathematics. He discovered Kripke–Joyal semantics, the...
Click to read more »De Branges's theorem
Senin, 2026-05-11 01:32:15statement concerns the Taylor coefficients a n {\displaystyle a_{n}} of a univalent function, i.e., a one-to-one holomorphic function that maps the unit disk...
Click to read more »Fekete–Szegő inequality
Minggu, 2026-03-22 13:31:16the Fekete–Szegő inequality is an inequality for the coefficients of univalent analytic functions found by Fekete and Szegő (1933), related to the Bieberbach...
Click to read more »Set theory
Senin, 2026-07-27 06:10:25nLab Homotopy Type Theory: Univalent Foundations of Mathematics Archived 2021-01-22 at the Wayback Machine. The Univalent Foundations Program. Institute...
Click to read more »Isoxazole
Senin, 2026-03-16 10:18:00is also the class of compounds containing this ring. Isoxazolyl is the univalent functional group derived from isoxazole. Isoxazole rings are found in...
Click to read more »Walter Hayman
Rabu, 2026-04-29 18:33:02Editrice, pp. 119–125, MR 1249093, Zbl 0851.42009. Hayman, W. K. (2002), "Univalent and Multivalent Functions", in Kuhnau, Reiner (ed.), Geometric Function...
Click to read more »Monadic
Rabu, 2022-09-28 20:47:20type, or function related to a monad (functional programming) Monadic or univalent, a chemical valence Monadic, in theology, a religion or philosophy possessing...
Click to read more »Blakers–Massey theorem
Jumat, 2026-05-01 11:56:07Theory, Homotopy Theory and Univalent Foundations)". 2013. The Univalent Foundations Program (2013). Homotopy type theory: Univalent foundations of mathematics...
Click to read more »Fields Medal
Kamis, 2026-07-30 13:54:57Institute for Advanced Study, US "Major contributions in the primes, in univalent functions and the local Bieberbach conjecture, in theory of functions...
Click to read more »Vertical bar
Selasa, 2026-07-14 07:21:47Wolfram MathWorld. Retrieved 2020-08-24. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (GitHub version)...
Click to read more »Discovery and development of direct thrombin inhibitors
Jumat, 2025-12-19 07:08:47site and exosite 1 and act as competitive inhibitors of fibrin, while univalent DTIs block only the active site and can therefore both inhibit unbound...
Click to read more »Goodman's conjecture
Sabtu, 2026-07-25 15:08:02where P {\displaystyle P} is a polynomial and ϕ {\displaystyle \phi } is univalent. Goodman, A. W. (1948). "On some determinants related to 𝑝-valent functions"...
Click to read more »Zeev Nehari
Kamis, 2026-01-29 10:33:51February 1915 – 1978) was a mathematician who worked on Complex Analysis, Univalent Functions Theory, and Differential and Integral Equations. He was a student...
Click to read more »Geometric function theory
Senin, 2024-01-22 22:31:53holomorphic function on an open subset of the complex plane is called univalent if it is injective. One can prove that if G {\displaystyle G} and Ω {\displaystyle...
Click to read more »Ambivalence
Rabu, 2026-03-25 05:17:15validity affects how the interpretation is perceived. If a successful univalent attitude is achieved, final evaluations are labelled as either true or...
Click to read more »Schwarzian derivative
Rabu, 2026-07-01 04:10:04hypergeometric functions. It plays an important role in the theory of univalent functions, conformal mapping and Teichmüller spaces. It is named after...
Click to read more »Carathéodory's theorem (conformal mapping)
Sabtu, 2026-04-25 04:18:09of Carathéodory's results on prime ends and the boundary behaviour of univalent holomorphic functions. The first proof of Carathéodory's theorem presented...
Click to read more »Thallium poisoning
Sabtu, 2026-07-25 09:42:23thallium's high toxicity is that when present in aqueous solution as the univalent thallium(I) ion (Tl+) it exhibits some similarities with essential alkali...
Click to read more »Substituted cathinone
Sabtu, 2026-06-13 06:00:15whether or not further substituted in the phenyl ring by one or more other univalent substituents; (ii) by substitution at the 3-position with an alkyl substituent;...
Click to read more »Uniform limit theorem
Jumat, 2026-07-03 14:50:58uses the terms 'simple' and 'schlicht' (function) in place of 'univalent'. Univalent means holomorphic and injective. James Munkres (1999). Topology...
Click to read more »Polynomial functor (type theory)
Selasa, 2026-04-07 07:19:1417. ISBN 9783939897873. S2CID 15020752. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for...
Click to read more »Tosyl group
Minggu, 2026-06-14 16:57:50chemistry, a toluenesulfonyl group (tosyl group, abbreviated Ts or Tos) is a univalent functional group with the chemical formula −SO2−C6H4−CH3. It consists...
Click to read more »Cubical type theory
Kamis, 2026-04-30 17:12:23a flavor of type theory which gives a computational interpretation to univalent foundations (also known as homotopy type theory). In cubical type theory...
Click to read more »Behnke–Stein theorem on Stein manifolds
Rabu, 2025-05-28 09:34:17states that there is a nonconstant single-valued holomorphic function (univalent function) on such a Riemann surface. It is a generalization of the Runge...
Click to read more »Empty type
Senin, 2025-12-08 03:02:29both are denoted ⊥ {\displaystyle \bot } . Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for...
Click to read more »Alkene
Kamis, 2026-08-06 15:27:422420580122. PMC 12002291. PMID 40127274. Rule A-3. Unsaturated Compounds and Univalent Radicals IUPAC Blue Book. Rule A-4. Bivalent and Multivalent Radicals...
Click to read more »Valence electron
Jumat, 2026-08-07 07:02:14Four covalent bonds. Carbon has four valence electrons and here a valence of four. Each hydrogen atom has one valence electron and is univalent....
Click to read more »ISO 31-8
Rabu, 2025-11-26 18:08:13amount-of-substance concentration of hydrogen ion H+ and y1 denotes the activity coefficient of a typical uni-univalent electrolyte in the solution....
Click to read more »Glycosyl
Sabtu, 2025-05-24 23:45:49In organic chemistry, a glycosyl group is a univalent free radical or substituent structure obtained by removing the hydroxyl (−OH) group from the hemiacetal...
Click to read more »Non-random segregation of chromosomes
Minggu, 2026-06-21 03:11:23chromosome pairs (bivalents) or single chromosomes without mating partners (univalents), or even whole sets of chromosomes, in that these are separated according...
Click to read more »Gheorghe Călugăreanu
Sabtu, 2024-09-07 19:20:54the theory of functions of a complex variable (meromorphic functions, univalent functions, analytic extension invariants), as well as differential geometry...
Click to read more »Langbeinites
Minggu, 2026-08-02 21:34:44structure of langbeinite with general formula M2M'2(SO4)3, where M is a large univalent cation (such as potassium, rubidium, caesium, or ammonium), and M' is...
Click to read more »Transitive relation
Sabtu, 2026-08-08 07:04:31xRaR^{T}yRbR^{T}z.} Since R is univalent, yRb and aRTy imply a=b. Therefore xRaRTz, hence xR;RTz and R;RT is transitive. Corollary: If R is univalent, then R;RT is an...
Click to read more »Product type
Selasa, 2025-11-18 09:41:26type product type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study...
Click to read more »Schwarz lemma
Senin, 2026-06-15 13:03:13injective; that is, univalent. The Koebe 1/4 theorem provides a related estimate in the case that f {\displaystyle f} is univalent. Nevanlinna–Pick interpolation...
Click to read more »Function (mathematics)
Kamis, 2026-07-30 01:26:02Sarikaya, Deniz (eds.). Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Synthese Library. Vol. 407...
Click to read more »Surreal number
Kamis, 2026-07-09 11:00:15(paperback), ISBN 0-7456-3878-3 (hardcover). The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton, NJ:...
Click to read more »Homotopy groups of spheres
Sabtu, 2026-07-25 06:10:11v226.n2.a2, S2CID 119303902. Homotopy type theory—univalent foundations of mathematics, The Univalent Foundations Program and Institute for Advanced Study...
Click to read more »Algebraic logic
Minggu, 2026-04-19 10:00:03is the identity on the domain of R. But a univalent relation is only a partial function, while a univalent total relation is a function. The formula for...
Click to read more »Hurwitz's theorem (complex analysis)
Senin, 2025-11-10 05:38:33univalent functions on a connected open set G that converge uniformly on compact subsets of G to a holomorphic function f, then either f is univalent...
Click to read more »Patrick Brendan Kennedy
Rabu, 2026-04-01 17:25:45bounded characteristic". With J. B. Twomey, "Some properties of bounded univalent functions and related classes of functions". "Fourier series with gaps"...
Click to read more »Converse relation
Minggu, 2026-06-21 22:25:17Q is called univalent. When the identity relation on the domain of Q is contained in QQT, then Q is called total. When Q is both univalent and total then...
Click to read more »Function type
Selasa, 2025-09-23 02:13:18function type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study...
Click to read more »Semigroupoid
Jumat, 2026-08-07 06:01:41lemma in semicategories". ncatlab.org. The Univalent Foundations Program (2013). "Homotopy Type Theory: Univalent Foundations of Mathematics". Homotopy Type...
Click to read more »Equivalent (chemistry)
Sabtu, 2026-03-28 14:25:45of a human is defined between 3.5 and 5.0 mEq/L. A certain amount of univalent ions provides the same amount of equivalents while the same amount of...
Click to read more »Mkhitar Djrbashian
Minggu, 2026-03-08 06:08:49analytic functions and a fundamental contribution to the classical theory of univalent analytic functions. He was born in Yerevan in a family of refugees from...
Click to read more »Diminished seventh chord
Senin, 2026-06-22 03:08:23Heinrich Schenker. He explained that although there is a kinship between all univalent chords rising out of the fifth degree, the dominant ninth chord is not...
Click to read more »Distinctive feature
Kamis, 2026-07-30 00:06:03the existence of single-valued features. These features, called unary, univalent, or privative features, can only describe the classes of segments that...
Click to read more »Herbert Grötzsch
Rabu, 2026-03-04 21:47:32mathematician known primarily for his work on complex analysis, specifically univalent functions and conformal mappings, and graph theory. He was the first to...
Click to read more »Equivalent definitions of mathematical structures
Sabtu, 2026-01-17 09:09:12Pudlák 2013, page 13 Pudlák 2013, page 22 The Univalent Foundations Program 2013, Subsection "Univalent foundations" of Introduction Pudlák 2013, page...
Click to read more »Rosa canina
Rabu, 2026-07-22 22:47:19only seven bivalents are formed leaving the other chromosomes as univalents. Univalents are included in egg cells, but not in pollen. Similar processes...
Click to read more »List of complex analysis topics
Rabu, 2026-02-11 06:46:56functions are analytic Schwarzian derivative Analytic capacity Disk algebra Univalent function Ahlfors theory Bieberbach conjecture Borel–Carathéodory theorem...
Click to read more »Calcium
Kamis, 2026-05-28 19:05:36always divalent in its compounds, which are usually ionic. Hypothetical univalent salts of calcium would be stable with respect to their elements, but not...
Click to read more »Crown ether
Kamis, 2026-07-16 12:56:32(February 1971). "Stability constants of cyclic polyether complexes with univalent cations". Journal of the American Chemical Society. 93 (3): 600–606. Bibcode:1971JAChS...
Click to read more »Inductive type
Minggu, 2026-03-15 16:29:25deprecated parameter |citeseerx= (help) Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for...
Click to read more »Thorium
Rabu, 2026-08-05 10:28:20prepared by heating thorium tetrachloride with limiting KC5H5 used (other univalent metal cyclopentadienyls can also be used). The alkyl and aryl derivatives...
Click to read more »Michael Dorff
Jumat, 2026-02-06 03:57:41University Thesis The Inner Mapping Radius And Construction Of Harmonic, Univalent Mappings Of The Unit Disk (1997) Doctoral advisor Ted Joe Suffridge...
Click to read more »Albert Baernstein II
Jumat, 2025-12-19 14:55:111090/S0002-9947-1974-0344468-7. Baernstein, Albert (1974). "Integral means, univalent functions and circular symmetrization". Acta Mathematica. 133 (1): 139–169...
Click to read more »Littlewood subordination theorem
Senin, 2025-11-10 09:15:06operator theory and complex analysis. It states that any holomorphic univalent self-mapping of the unit disk in the complex numbers that fixes 0 induces...
Click to read more »Carathéodory's theorem
Rabu, 2025-03-19 21:43:44kernel theorem, a geometric criterion for local uniform convergence of univalent functions Borel–Carathéodory theorem, about the boundedness of a complex...
Click to read more »Operation (mathematics)
Kamis, 2026-06-11 04:18:47domain is that a relation that corresponds to a binary operation is a univalent relation. Hyperoperation Infix notation Operator (mathematics) Order of...
Click to read more »21-Crown-7
Jumat, 2025-07-18 20:39:24February 1971). "Stability constants of cyclic polyether complexes with univalent cations". Journal of the American Chemical Society. 93 (3): 600–606. doi:10...
Click to read more »Identity type
Jumat, 2026-04-24 23:01:36208–212. doi:10.1109/LICS.1994.316071. ISBN 0-8186-6310-3. S2CID 19496198. Univalent Foundations Program (12 March 2013). Homotopy Type Theory. Institute for...
Click to read more »Tutton's salt
Kamis, 2025-10-02 16:38:17cations, M+ and M'2+ crystallized in the same regular ionic lattice. The univalent cation can be potassium, rubidium, caesium, ammonium (NH4), deuterated...
Click to read more »List of Guggenheim Fellowships awarded in 1966
Sabtu, 2026-07-18 05:18:41Washington University in St. Louis Geometric studies in the theory of univalent functions Louis Nirenberg New York University Also won 1975 Gerald Enoch...
Click to read more »Borneol
Senin, 2026-04-06 21:16:26group is a univalent radical C10H17 derived from borneol by removal of hydroxyl and is also known as 2-bornyl. Isobornyl is the univalent radical C10H17...
Click to read more »Conformal welding
Minggu, 2025-10-26 05:20:09their boundary circles. This problem can be reduced to that of finding univalent holomorphic maps f, g of the unit disk and its complement into the extended...
Click to read more »Bispecific monoclonal antibody
Senin, 2026-04-06 11:56:26required) Nisonoff A, Rivers MM (May 1961). "Recombination of a mixture of univalent antibody fragments of different specificity". Archives of Biochemistry...
Click to read more »Vaccine
Minggu, 2026-07-26 10:31:54or antigens.[citation needed] Vaccines may be monovalent (also called univalent) or multivalent (also called polyvalent). A monovalent vaccine is designed...
Click to read more »Peter Duren
Senin, 2026-05-11 07:31:32of H p {\displaystyle H^{p}} -Spaces, Academic Press, Dover 2000 1983: Univalent Functions, Grundlehren der mathematischen Wissenschaften, Springer Verlag...
Click to read more »Lebedev–Milin inequality
Selasa, 2025-04-15 04:13:28"Logarithmic Geometry, Exponentiation, and Coefficient Bounds in the Theory of Univalent Functions and Nonoverlapping Domains", in Kuhnau, Reiner (ed.), Geometric...
Click to read more »Relation (mathematics)
Minggu, 2026-02-15 18:52:26and 1 to 0). Functional (also called right-unique, right-definite or univalent) For all x, y, z ∈ X, if xRy and xRz then y = z. Such a relation is called...
Click to read more »Charles Jencks
Minggu, 2026-07-19 08:58:45postmodern architecture, claiming that modern architecture concentrates on univalent forms such as right angles and square buildings often resembling office...
Click to read more »Pseudohalogen
Jumat, 2026-07-10 00:22:30Conversely, if the class of pseudohalogen groups is widened to include any univalent group possessing several of the properties above, it becomes extremely...
Click to read more »Peter Henrici (mathematician)
Kamis, 2026-07-23 03:17:52Discrete Fourier analysis—Cauchy integrals—construction of conformal maps—univalent functions. Wiley. ISBN 0-471-08703-3. Golub, Gene H.; Varga, Richard S...
Click to read more »Christian Pommerenke
Senin, 2024-09-02 22:11:54of 1992 original){{cite book}}: CS1 maint: postscript (link) Univalent Functions. Vandenhoeck & Ruprecht. 1975. ISBN 978-3525401330. With Gerd...
Click to read more »Lambda calculus
Minggu, 2026-08-09 06:43:08Languages, p. 273, Benjamin C. Pierce "Scott's Representation Theorem and the Univalent Karoubi Envelope" (PDF). Dagstuhl Publishing. Retrieved 2026-05-19. Pierce...
Click to read more »Whitehead theorem
Minggu, 2026-04-19 19:42:35and Whitehead's principle.". Homotopy Type Theory: Univalent Foundations of Mathematics. The Univalent Foundations Program Institute for Advanced Study...
Click to read more »Petru Mocanu
Minggu, 2026-01-18 13:26:11Gheorghe Călugăreanu, was titled Variational methods in the theory of univalent functions. He continued as faculty at Babeș-Bolyai University, rising...
Click to read more »Acetylene
Minggu, 2026-08-09 19:58:50August 2024. Acyclic Hydrocarbons. Rule A-3. Unsaturated Compounds and Univalent Radicals Archived 10 October 2000 at the Wayback Machine, IUPAC Nomenclature...
Click to read more »Conformal radius
Senin, 2026-06-29 01:11:14found in Lawler, Schramm & Werner (2002). Pommerenke, Christian (1975). Univalent functions. Studia Mathematica/Mathematische Lehrbücher. Vol. Band XXV...
Click to read more »Janiszewski's theorem
Minggu, 2026-03-15 18:00:29American Mathematical Society, ISBN 0-8218-1040-5 Pommerenke, C. (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia...
Click to read more »Positive harmonic function
Rabu, 2026-04-08 02:04:4695–115, doi:10.1007/bf01449883, S2CID 116695038 Duren, P. L. (1983), Univalent functions, Grundlehren der Mathematischen Wissenschaften, vol. 259, Springer-Verlag...
Click to read more »Steve Awodey
Rabu, 2026-04-15 18:46:40Steve Awodey". YouTube. Institute for Advanced Study. August 12, 2016. "Univalent Foundations Seminar - Steve Awodey". YouTube. Institute for Advanced Study...
Click to read more »Type theory
Selasa, 2026-08-04 21:38:13doi:10.1007/BF00484985. ISSN 1573-0964. The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Homotopy Type...
Click to read more »Space (mathematics)
Jumat, 2026-07-10 08:23:13three-dimensional Euclidean space. In Bourbaki's terms, the corresponding theory is univalent. In contrast, topological spaces are generally non-isomorphic; their theory...
Click to read more »Schramm–Loewner evolution
Minggu, 2026-04-05 05:22:45Introduction to Schramm–Loewner evolutions (PDF) Pommerenke, Christian (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia...
Click to read more »Partial function
Sabtu, 2026-06-13 05:28:55of the first set at most one element of the second set; it is thus a univalent relation. This generalizes the concept of a (total) function by not requiring...
Click to read more »Curry–Howard correspondence
Minggu, 2026-07-26 09:56:56AI]. Baez & Stay 2011. Homotopy Type Theory: Univalent Foundations of Mathematics. (2013) The Univalent Foundations Program. Institute for Advanced Study...
Click to read more »Homogeneous relation
Minggu, 2026-06-21 09:48:49Left-unique for all x, z ∈ X and all y ∈ Y, if xRy and zRy then x = z. Univalent for all x ∈ X and all y, z ∈ Y, if xRy and xRz then y = z. Total (also...
Click to read more »Charles Epstein (mathematician)
Rabu, 2026-04-01 03:28:24imaging, and numerical analysis; he has also worked in hyperbolic geometry, univalent function theory, several complex variables, microlocal analysis and index...
Click to read more »Suzan Kahramaner
Senin, 2026-03-09 01:43:59d'Istanbul, Série A, Vol. 26, 1961. Sur les coefficients des fonctions univalents, Revue de la faculté des sciences de l'université d'Istanbul, Série A...
Click to read more »Hydrofunctionalization
Kamis, 2023-04-06 22:58:25hydrofunctionalization reaction is the addition of hydrogen and another univalent fragment (X) across a carbon-carbon or carbon-heteroatom multiple bond...
Click to read more »Self-organizing map
Senin, 2026-07-27 16:53:42one-dimensional map) when the principal curve approximating the dataset could be univalently and linearly projected on the first principal component (quasilinear...
Click to read more »Injective function
Rabu, 2026-04-01 00:47:42metric space Monotonic function – Order-preserving mathematical function Univalent function – Mathematical concept Sometimes one-one function in Indian mathematical...
Click to read more »Nevanlinna function
Selasa, 2025-11-25 19:50:26Publications. ISBN 0-486-67748-6. Marvin Rosenblum and James Rovnyak (1994). Topics in Hardy Classes and Univalent Functions. Springer. ISBN 3-7643-5111-X....
Click to read more »Chemical crystallography before X-rays
Minggu, 2026-06-07 07:22:35crystal as a result of the replacement of a hydrogen atom by another univalent atom or radical. Morphotropy is also referred to as isogonism in which...
Click to read more »Olli Lehto
Sabtu, 2025-08-02 16:09:38Wissenschaften, 2nd edition: Quasiconformal mappings in the plane. Springer 1973. Univalent functions and Teichmüller Spaces. Springer, Graduate Texts in Mathematics...
Click to read more »Aza-crown ether
Kamis, 2026-08-06 15:28:46Hans K. (1971). "Stability constants of cyclic polyether complexes with univalent cations". Journal of the American Chemical Society. 93 (3): 600–606. doi:10...
Click to read more »Substituent
Senin, 2026-06-08 09:52:10360J. doi:10.1021/ed800139p. The first use of the letter X to denote univalent electronegative groups appeared in: Stanislao Cannizzaro (1858) "Sunto...
Click to read more »Applied category theory
Senin, 2026-06-22 22:49:02David Spivak Categorical quantum mechanics ZX-calculus DisCoCat Petri net Univalent foundations String diagrams Journals: Compositionality Conferences: Applied...
Click to read more »Joseph H. Sampson
Minggu, 2026-05-17 08:57:04Mathematics Genealogy Project Schoen, Richard; Yau, Shing Tung (1978). "On univalent harmonic maps between surfaces". Invent. Math. 44 (3): 265–278. Bibcode:1978InMat...
Click to read more »Oxyanion
Selasa, 2026-03-17 12:39:53an important factor in these protonation reactions. By contrast, the univalent anions perchlorate and permanganate ions are very difficult to protonate...
Click to read more »Riccati equation
Senin, 2026-08-10 03:25:56{w''}{w'}}\right)^{2}=f} which occurs in the theory of conformal mapping and univalent functions. In this case the ODEs are in the complex domain and differentiation...
Click to read more »Brine mining
Senin, 2026-07-20 18:12:04seawater. Bivalent species such as calcium (Ca+2) are less mobile than univalent species such as sodium (Na+), resulting in calcium enrichment. The ratio...
Click to read more »Beltrami equation
Rabu, 2026-05-20 21:41:59F−1(z) for |z| ≤ 1 and F2(z) = G (z) for |z| ≥ 1. Thus F1 and F2 are univalent holomorphic maps of |z| < 1 and |z| > 1 onto the inside and outside of...
Click to read more »Joaquín Bustoz Jr.
Rabu, 2025-04-30 14:36:33classical analysis, including Fourier analysis, summability methods, univalent function, orthogonal polynomials and special functions. He made contributions...
Click to read more »Mean value problem
Sabtu, 2026-07-25 02:13:17(20 June 2007). "Smale's mean value conjecture and the coefficients of univalent functions" (PDF). Proceedings of the American Mathematical Society. 135...
Click to read more »Spermatocyte
Senin, 2025-04-14 07:37:40cleavage furrows are formed in the spermatocyte cells containing four univalent chromosomes. By the end of the anaphase stage, there is one at each pole...
Click to read more »Schoenflies problem
Kamis, 2025-11-27 00:54:00(2nd ed.), Springer, ISBN 9781461411048 Pommerenke, Christian (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia...
Click to read more »Superoxide dismutase
Jumat, 2026-07-17 03:43:02Superoxide (O2•−) is the most common reactive free-radical formed by the univalent reduction of O2. While they are known to exhibit beneficial roles in some...
Click to read more »Sudoku solving algorithms
Selasa, 2026-06-30 01:37:55set for the 9 elements of any X. The given elements q in Q represent a univalent relation from Q to N. The solution R is a total relation and hence a function...
Click to read more »Maurice Heins
Minggu, 2026-07-05 08:32:39mapping of Riemann surfaces, by M. Heins.--On certain coefficients of univalent functions, by J.A. Jenkins. Selected Topics in the Classical Theory of...
Click to read more »Structural scheduling of synthetic cannabinoids
Kamis, 2026-04-23 10:30:33not substituted in any of the linked sub-structures with one or more univalent substituents and, where any of the sub-structures have been modified,...
Click to read more »Foundations of mathematics
Senin, 2026-07-27 06:30:57intuitionistic type theory, which was first published by Per Martin-Löf in 1975. Univalent foundations are a newer approach to mathematical foundations originating...
Click to read more »Organothorium chemistry
Senin, 2024-05-13 03:06:27can be made similarly by reducing the amount of K(C 5H 5) used (other univalent metal cyclopentadienyls can also be used), and the chlorine atom may be...
Click to read more »Saline (medicine)
Kamis, 2026-05-28 06:54:28October 1972). "Osmotic Coefficients and Mean Activity Coefficients of Uni-univalent Electrolytes in Water at 25°C". Journal of Physical and Chemical Reference...
Click to read more »2-Ethylhexanol
Kamis, 2026-08-06 01:42:14Retrieved 26 April 2018. "Rule A-2. Saturated Branched-chain Compounds and Univalent Radicals (ACYCLIC HYDROCARBONS)". acdlabs.com. Isooctyl alcohol, National...
Click to read more »Heat of dilution
Selasa, 2026-03-03 16:43:30B. Parker, "Heats of dilution," in Thermal Properties of Aqueous Uni-Univalent Electrolytes, Washington DC: U.S. Government Printing Office, 1965, pp...
Click to read more »Magnesium(I) dimer
Rabu, 2026-03-25 04:50:11one electron reductions are also believed to be in equilibrium with a univalent magnesium compounds such as XMgMgX. This reagent could have potential...
Click to read more »Theory of categories
Minggu, 2026-03-29 13:05:22relations between the terms to lines. Peirce, taking this further, talked of univalent, bivalent and trivalent relations linking predicates to their subject...
Click to read more »Busemann function
Selasa, 2026-06-30 22:31:42Mathematics, vol. 183, Birkhäuser, ISBN 0-8176-3904-7 Lehto, Olli (1987), Univalent functions and Teichmüller spaces, Graduate Texts in Mathematics, vol. 109...
Click to read more »Conductivity (electrolytic)
Selasa, 2026-08-04 01:56:07Shedlovsky, Theodore (1932). "The Electrolytic Conductivity of some Uni-Univalent Electrolytes in Water at 25°". Journal of the American Chemical Society...
Click to read more »Function of several complex variables
Senin, 2026-06-29 19:04:04analogues of affine varieties or affine schemes in algebraic geometry. If the univalent domain on C n {\displaystyle \mathbb {C} ^{n}} is connection to a manifold...
Click to read more »Mikhail Kapranov
Sabtu, 2025-09-06 14:58:40arXiv:math/9810059. Voevodsky, Vladimier (2014). "The Origins and Motivations of Univalent Foundations: A Personal Mission to Develop Computer Proof Verification...
Click to read more »Graduate Texts in Mathematics
Senin, 2026-07-20 06:33:25Several Complex Variables, R. Michael Range (1986, ISBN 978-0-387-96259-7) Univalent Functions and Teichmüller Spaces, O. Lehto (1987, ISBN 978-1-4613-8654-4)...
Click to read more »James Allister Jenkins
Jumat, 2024-12-27 05:22:081090/S0002-9939-1953-0058716-6. Jenkins, James A. (1953). "Various remarks on univalent functions". Proceedings of the American Mathematical Society. 4 (4): 595...
Click to read more »Itamar Even-Zohar
Selasa, 2026-03-10 00:23:33and the interrelationship of literary systems. Even-Zohar substitutes univalent causal parameters with polyvalent factors as an instrument for explaining...
Click to read more »Finitary relation
Jumat, 2026-07-24 19:26:16left-unique or injective, and when R is unique on {X2}, it is also said to be univalent or right-unique. When all Xi are the same set X, it is simpler to refer...
Click to read more »Stefania Centrone
Senin, 2026-02-16 14:53:00of Mathematics: Univalent Foundations, Set Theory and General Thoughts (Based on the conference on foundations of mathematics: univalent foundations and...
Click to read more »Fundamental polygon
Selasa, 2026-07-07 06:06:08Probability Theory, Springer, ISBN 978-3-7643-6441-0 Lehto, Olli (1987), Univalent functions and Teichmüller spaces, Graduate Texts in Mathematics, vol. 109...
Click to read more »Quasicircle
Minggu, 2026-05-17 11:03:20noted that this result can be applied to uniformly bounded holomorphic univalent functions f(z) on the unit disk D. Let Ω = f(D). As Carathéodory had proved...
Click to read more »Uniqueness of identity proofs
Rabu, 2025-02-26 20:33:511007/3-540-61780-9_68. ISBN 978-3-540-61780-8. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (version...
Click to read more »Vitaly Khlopin
Jumat, 2026-06-12 03:41:32development of a new method for the preparation of various derivatives of univalent nickel, and the creation of a device for determining the solubility of...
Click to read more »Thomas Streicher
Kamis, 2026-06-11 08:50:19a foundation for mathematics in Vladimir Voevodsky's research program Univalent Foundations of Mathematics. Together with Martin Hofmann he received the...
Click to read more »Ida Freund
Kamis, 2026-07-23 01:14:24its name and atomic weight in icing. The nonvalent atoms were round, univalent had a protruding corner, bivalent two, trivalent triangular and so on...
Click to read more »List of Latin verbs with English derivatives
Sabtu, 2026-01-24 18:12:50reevaluation, revaluation, revalue, transvaluation, transvalue, trivalent, univalent, valediction, valedictorian, valedictory, valence, valerian, valetudinarian...
Click to read more »QED manifesto
Rabu, 2025-09-17 19:26:01Isabelle/HOL. [1] A repository of proofs in Coq. UniMath "Coq library aims to formalize a substantial body of mathematics using the univalent point of view"...
Click to read more »Babraham Institute
Senin, 2026-04-20 09:39:07B000WRZKK6 Bangham, AD; Standish, MM; Watkins, JC (1965). "Diffusion of univalent ions across the lamellae of swollen phospholipids". J Mol Biol. 13: 238–252...
Click to read more »Rubidium azide
Senin, 2026-01-19 07:58:03W. F. T. (27 December 1968). "Phase Diagrams to High Pressures of the Univalent Azides Belonging to the Space Group D 4hI8-14/mcm" (PDF). Online. pp. 1...
Click to read more »Paul Koebe
Selasa, 2026-05-05 23:25:01Mathematics Archive, University of St Andrews Duren, Peter L. (1983), Univalent functions, Grundlehren der Mathematischen Wissenschaften [Fundamental...
Click to read more »Menahem Max Schiffer
Sabtu, 2026-05-30 08:20:09of Michael Fekete. In his dissertation on Conformal representation and univalent functions he introduced the "Schiffer variation", a method for handling...
Click to read more »Jerry Kazdan
Sabtu, 2024-07-06 04:37:43thesis was entitled A Boundary Value Problem Arising in the Theory of Univalent Functions and was supervised by Paul Garabedian. He then took a position...
Click to read more »Equivalence of categories
Jumat, 2026-08-07 07:38:194.1 Ahrens, Benedikt; Kapulkin, Krzysztof; Shulman, Michael (2015). "Univalent categories and the Rezk completion". Mathematical Structures in Computer...
Click to read more »Antigen-antibody interaction
Jumat, 2026-08-07 23:07:25Reactions. I. Theory for Reactions of Multivalent Antigen with Bivalent and Univalent Antibody". Journal of the American Chemical Society. 74 (22): 5715–5725...
Click to read more »Weissbach
Kamis, 2024-12-26 19:52:52Weissbach; 1915–1978), mathematician who worked on Complex Analysis, Univalent Functions Theory and Differential and Integral Equations Weißbach, Baden-Württemberg...
Click to read more »Equality (mathematics)
Selasa, 2026-07-28 18:37:49development of category theory, as well as for homotopy type theory and univalent foundations. In geometry, formally, two figures are equal if they contain...
Click to read more »Skeletal formula
Selasa, 2026-08-04 07:41:45called pseudoelement symbols or organic elements and are treated like univalent "elements" in skeletal formulae. A list of common pseudoelement symbols:...
Click to read more »Carbon nitride
Minggu, 2026-08-02 10:31:20– CN2 or [N≡C−N ⇌ −N=C=N+ ⇌ +N=C=N− ⇌ N−C≡N] (one of the nitrogens is univalent) azodicarbonitrile [de] – C2N4 or N≡C−N=N−C≡N, cis and trans isomers cyanogen...
Click to read more »Structuralism (philosophy of mathematics)
Rabu, 2026-02-11 16:48:08independent existence. Abstract object theory Foundations of mathematics Univalent foundations Aristotelian realist philosophy of mathematics Precursors...
Click to read more »Tetrafluoroberyllate
Senin, 2026-06-22 10:02:26salts equivalent to alums also exist with formula MABF4·12H2O, where M is univalent, and A trivalent. These are not common as fluoride often form insoluble...
Click to read more »Nikolai Andreevich Lebedev
Kamis, 2024-11-07 14:58:11"Logarithmic Geometry, Exponentiation, and Coefficient Bounds in the Theory of Univalent Functions and Nonoverlapping Domains", in Kuhnau, Reiner (ed.), Geometric...
Click to read more »George Springer (mathematician)
Selasa, 2026-04-14 19:25:001949 from Harvard University with thesis The Coefficient Problem for Univalent Mappings of the Exterior of the Unit Circle under Lars Ahlfors. From 1949...
Click to read more »Molybdate
Senin, 2026-01-26 10:20:55tetramolybdate, K 2Mo 4O 13, and its relationship to the structures of other univalent metal polymolybdates". J. Chem. Soc. A: 2107–2112. doi:10.1039/J19710002107...
Click to read more »List of incomplete proofs
Jumat, 2026-08-07 06:45:49Superseded theories in science Voevodsky, Vladimir (March 26, 2014). "Univalent Foundations" (PDF). Institute for Advanced Study. Saaty, Thomas L.; Kainen...
Click to read more »Leonite
Jumat, 2026-07-31 23:45:01element in an octahedral position surrounded by oxygen, and water and univalent metal (potassium) linking these other components together. One sulfate...
Click to read more »History of crystallography before X-rays
Rabu, 2026-07-08 16:04:49crystal as a result of the replacement of a hydrogen atom by another univalent atom or radical. In 1897 Wilhelm Ostwald introduced Ostwald's rule, to...
Click to read more »Polyfluoroalkoxyaluminates
Senin, 2026-07-13 21:57:46Alexander; Sachs, Ulf; Keller, Sarah; Krossing, Ingo (2012-08-06). "Univalent Gallium and Indium Phosphane Complexes: From Pyramidal M(PPh3)3+ to Carbene-Analogous...
Click to read more »Pitzer equations
Minggu, 2026-03-15 02:57:28Electrolytes, II. Activity and osmotic coefficients with one or both ions univalent". J. Phys. Chem. 77 (19): 2300–2308. doi:10.1021/j100638a009. Pitzer,...
Click to read more »Desulfonatronum thiodismutans
Senin, 2025-12-22 22:49:41Pusheva, M. A. (2007). "Dependence of the intracellular concentrations of univalent ions and hydrogenase activity on the salt composition and pH of the medium...
Click to read more »S. M. Shah
Senin, 2026-07-06 00:44:52Journal of Mathematics and Mathematical ..., 1983, hindawi.com "Univalent functions with univalent derivatives", SM Shah, SY Trimble, Bulletin of the American...
Click to read more »Chromium(I) hydride
Kamis, 2024-09-19 08:07:49journal}}: CS1 maint: numeric names: authors list (link) Porte, A. L. (1981). "Univalent Chromium". In P. B. Ayscough (ed.). Electron Spin Resonance. Specialist...
Click to read more »Neumann–Poincaré operator
Jumat, 2026-05-29 08:44:53The compression of Tc to A2(Ω) is denoted TΩ. If F is a holomorphic univalent map from the unit disk D onto Ω then the Bergman space of Ω and its conjugate...
Click to read more »Thorium compounds
Selasa, 2025-11-25 09:52:34can be made similarly by reducing the amount of K(C 5H 5) used (other univalent metal cyclopentadienyls can also be used), and the chlorine atom may be...
Click to read more »Oscillator representation
Kamis, 2026-07-30 08:22:30Segal, allows contraction operators to be defined for the semigroup of univalent holomorphic maps of the unit disc into itself, extending the unitary operators...
Click to read more »Poisson–Boltzmann equation
Senin, 2026-01-05 12:23:55approximating the electrostatic potential at the surface for aqueous solutions of univalent salts at concentrations smaller than 0.2 M and potentials not exceeding...
Click to read more »Molecular model
Sabtu, 2026-05-02 23:20:35different chemical structures: Thus we distinguish the chlorine atom as univalent, the atom of oxygen as bivalent, that of nitrogen as trivalent, and lastly...
Click to read more »Subharmonic function
Minggu, 2026-05-17 10:56:15Rosenblum, Marvin; Rovnyak, James (1994). Topics in Hardy classes and univalent functions. Birkhauser Advanced Texts: Basel Textbooks. Basel: Birkhauser...
Click to read more »Adenosine-phosphate deaminase
Rabu, 2025-05-28 17:40:131059–1062. ISBN 978-3-642-84437-9. Smiley KL, Suelter CH (April 1967). "Univalent cations as allosteric activators of muscle adenosine 5'-phosphate deaminase"...
Click to read more »Klaus Mainzer
Minggu, 2026-03-15 00:23:55ISBN 978-981-3270-93-0. Proof and Computation II. From Proof Theory and Univalent Mathematics to Program Extraction and Verification. World Scientific:...
Click to read more »Semantics of type theory
Senin, 2026-08-10 04:47:18Kapulkin, Chris; LeFanu Lumsdaine, Peter (2012). "The simplicial model of univalent foundations (after Voevodsky)". Journal of the European Mathematical Society...
Click to read more »Singular integral operators of convolution type
Rabu, 2025-11-19 04:10:11Let Ω be a bounded region in C with smooth boundary ∂Ω and let φ be a univalent holomorphic map of the unit disk D onto Ω extending to a smooth diffeomorphism...
Click to read more »Bounded type (mathematics)
Minggu, 2025-09-14 00:42:08Rosenblum, Marvin; Rovnyak, James (1994). Topics in Hardy classes and univalent functions. Birkhauser Advanced Texts: Basel Textbooks. Basel: Birkhauser...
Click to read more »Proof compression
Selasa, 2024-02-13 06:22:25RecycleUnits, RecyclePivots, RecyclePivotsWithIntersection, LowerUnits, LowerUnivalents, Split, Reduce&Reconstruct, and Subsumption. Fontaine, Pascal; Merz, Stephan;...
Click to read more »