Mathematical Sciences: Formal Systems and Combinatorics

数学科学:形式系统和组合学

基本信息

项目摘要

Timothy Carlson's work in finite and infinite combinatorics provides powerful unifying generalizations of various so-called Ramsey theorems. The simplest Ramsey theorem is the following: if six points in space are connected in all possible ways by straight line segments and each segment is painted either red or green, then there will always be an entire triangle whose sides are of the same color. This theorem has been generalized beyond easy recognition in a variety of different ways, but all such generalizations are referred to as Ramsey theorems. They have a host of significant consequences in geometry and number theory and elsewhere, and it is very useful to have unifying principles which provide economical derivations for these corollaries. Further results of this nature will be sought.
Timothy Carlson在有限和无限组合学方面的工作 提供了强大的统一概括各种所谓的 Ramsey定理 最简单的Ramsey定理如下: 如果空间中的六个点以所有可能的方式连接, 直线段,每段都涂成红色或 绿色,那么总有一个三角形, 是同一种颜色。 这个定理已经被推广到 以各种不同的方式容易识别,但所有这些 一般化被称为拉姆齐定理。 他们有一个 几何学和数论中的一系列重要结果 和其他地方,有统一的原则是非常有用的, 这为这些推论提供了经济的推导。 将寻求这类性质的进一步结果。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Timothy Carlson其他文献

How Finishing Affects Glass Ionomers
  • DOI:
    10.14219/jada.archive.1991.0214
  • 发表时间:
    1991-07-01
  • 期刊:
  • 影响因子:
  • 作者:
    Bruce A. Matis;Timothy Carlson;Michael Cochran;Ralph W. Phillips
  • 通讯作者:
    Ralph W. Phillips
<strong>Examination of a blood-brain barrier targeting β-galactosidase-monoclonal antibody fusion protein in a murine model of GM1-gangliosidosis</strong>
  • DOI:
    10.1016/j.ymgme.2020.12.210
  • 发表时间:
    2021-02-01
  • 期刊:
  • 影响因子:
  • 作者:
    Michael Przybilla;Christine Stewart;Timothy Carlson;Li Ou;Brenda Koniar;Rohini Sidhu;Pamela Kell;Xuntian Jiang;Jeanine R. Jarnes;M. Gerard O'Sullivan;Chester B. Whitley
  • 通讯作者:
    Chester B. Whitley
Revisiting the Chadwick and Lu & Pister models of finite thermoelasticity for isotropic materials
  • DOI:
    10.1007/s00466-024-02544-7
  • 发表时间:
    2024-09-21
  • 期刊:
  • 影响因子:
    3.800
  • 作者:
    Sanjay Govindjee;Timothy Carlson
  • 通讯作者:
    Timothy Carlson
The implications of scientific mobility between France and the United States
  • DOI:
    10.1007/bf01117501
  • 发表时间:
    1995-01-01
  • 期刊:
  • 影响因子:
    3.200
  • 作者:
    Timothy Carlson;Dominique Martin-Rovet
  • 通讯作者:
    Dominique Martin-Rovet
The international exchange of scholars: The training of young scientists through research abroad
  • DOI:
    10.1007/bf01097911
  • 发表时间:
    1995-06-01
  • 期刊:
  • 影响因子:
    3.200
  • 作者:
    Dominique Martin-Rovet;Timothy Carlson
  • 通讯作者:
    Timothy Carlson

Timothy Carlson的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Timothy Carlson', 18)}}的其他基金

Proof Theory and Set Theories
证明论和集合论
  • 批准号:
    9704917
  • 财政年份:
    1997
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Set Theory and Analysis
数学科学:集合论与分析
  • 批准号:
    9106839
  • 财政年份:
    1991
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Combinatorics and Formal Systems
数学科学:组合数学和形式系统
  • 批准号:
    8403173
  • 财政年份:
    1984
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Combinatorics and Real Numbers
数学科学:组合学和实数
  • 批准号:
    8301816
  • 财政年份:
    1983
  • 资助金额:
    --
  • 项目类别:
    Standard Grant

相似国自然基金

Handbook of the Mathematics of the Arts and Sciences的中文翻译
  • 批准号:
    12226504
  • 批准年份:
    2022
  • 资助金额:
    20.0 万元
  • 项目类别:
    数学天元基金项目
SCIENCE CHINA: Earth Sciences
  • 批准号:
    41224003
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Journal of Environmental Sciences
  • 批准号:
    21224005
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
SCIENCE CHINA Information Sciences
  • 批准号:
    61224002
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
SCIENCE CHINA Technological Sciences
  • 批准号:
    51224001
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Journal of Environmental Sciences
  • 批准号:
    21024806
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
  • 批准号:
    81024803
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
  • 批准号:
    41024801
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
SCIENCE CHINA Technological Sciences
  • 批准号:
    51024803
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

Inexpressibility and reflection in the formal sciences
形式科学中的不可表达性和反思
  • 批准号:
    AH/H039791/1
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grant
IGERT Formal Proposal: PICCS: Program in Integrative Computer and Computational Sciences
IGERT 正式提案:PICCS:综合计算机和计算科学项目
  • 批准号:
    9972930
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Mathematical Sciences: Equivariant Bordism and Formal Group Laws
数学科学:等变 Bordism 和形式群定律
  • 批准号:
    9704437
  • 财政年份:
    1997
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Algorithms in number theory and number-theoretic aspects of formal la nguages; to support visit by C.E. Bach, Computer Sciences Dept., University of Wisconsin, USA
数论算法和形式语言的数论方面;
  • 批准号:
    155638-1993
  • 财政年份:
    1994
  • 资助金额:
    --
  • 项目类别:
    Foreign Researcher Awards (H)
Mathematical Sciences: Support for FORTE '93 The Sixth International Conference on Formal Description Techniques
数学科学:支持 FORTE 93 第六届形式描述技术国际会议
  • 批准号:
    9302591
  • 财政年份:
    1993
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Formal Groups and Igusa Curves
数学科学:形式群和 Igusa 曲线
  • 批准号:
    9203358
  • 财政年份:
    1992
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Group Theory and Formal Language Theory
数学科学:群论和形式语言理论
  • 批准号:
    8908887
  • 财政年份:
    1989
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Mathematical Sciences: Aspects of Formal Laurent Series and Applications To Some Problems in Applied Analysis
数学科学:形式洛朗级数的各个方面及其在应用分析中某些问题的应用
  • 批准号:
    8802381
  • 财政年份:
    1988
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Formal Methods in the Social Sciences
社会科学中的形式方法
  • 批准号:
    8410898
  • 财政年份:
    1984
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mathematical Sciences: Combinatorics and Formal Systems
数学科学:组合数学和形式系统
  • 批准号:
    8403173
  • 财政年份:
    1984
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了