Computer Algebra Domains and Interfaces

计算机代数领域和接口

基本信息

  • 批准号:
    203419-2012
  • 负责人:
  • 金额:
    $ 2.48万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2015
  • 资助国家:
    加拿大
  • 起止时间:
    2015-01-01 至 2016-12-31
  • 项目状态:
    已结题

项目摘要

Much of the current work in computer algebra examines algorithmic questions in algebraic geometry, linear algebra and differential algebra. Current algorithms are excellent at computing with particular polynomials, matrices or differential equations, but little attention has been paid to computing with symbolic objects. By this we mean objects such as polynomials of unknown degree, e.g. x^(n^2 +n) - 81y^(2m), matrices of unknown dimension, elements of an unspecified finite field, etc. Our earlier work has found several algorithms for these sorts of symbolic objects, including polynomial GCD, factorization and functional decomposition. Our second set of questions revolves around mathematical interfaces. The first focus is in the area of mathematical handwriting recognition and pen-based expression manipulation. We have developed an approach to symbol classification well-suited to this domain, using truncated Legendre-Sobolev series to represent ink traces. This computes as ink strokes are written, providing real-time recognition. We now plan to investigate real-time layout analysis. Earlier work in this area has been predominantly on the analysis of complete expressions, after they are written, or use expression templates at the time of writing. Another focus is in the area of computer-mediated mathematical collaboration. Current symbolic mathematics tools follow archetype of mathematics as a solitary activity --- one user drives a computation. However, modern mathematics relies heavily on large collaborations. Fundamentally new ideas are needed to support both large-scale collaboration (of the scale of the classification of finite simple groups) and small-scale collaboration (of the scale of discussing approaches to solve one problem). Just as using Facebook is fundamentally different from using a word processor, computer-enhanced mathematical collaboration should be as different from using Maple.
目前计算机代数的大部分工作都是研究代数几何、线性代数和微分代数中的算法问题。现有的算法擅长计算特定的多项式、矩阵或微分方程式,但对符号对象的计算关注较少。这里我们指的是未知次数的多项式,例如x^(n^2+n)-81y^(2m),未知维度的矩阵,未指定有限域的元素等对象。我们以前的工作已经找到了几种针对这些符号对象的算法,包括多项式GCD,因式分解和函数分解。 我们的第二组问题围绕着数学界面。第一个重点是数学手写识别和基于笔的表情操作领域。我们开发了一种适合于这一领域的符号分类方法,使用截断的勒让德-索博列夫级数来表示墨迹。它在书写墨迹笔划时进行计算,从而提供实时识别。我们现在计划研究实时布局分析。这一领域的早期工作主要是在编写完整的表达式之后对其进行分析,或者在编写时使用表达式模板。 另一个焦点是计算机中介的数学协作领域。当前的符号数学工具遵循数学的原型,作为一项单独的活动-一个用户驱动一项计算。然而,现代数学在很大程度上依赖于大型合作。从根本上说,需要新的想法来支持大规模合作(有限简单群体分类的规模)和小规模合作(讨论解决一个问题的方法的规模)。就像使用Facebook与使用文字处理器有着根本的不同一样,计算机增强的数学协作应该与使用Maple是不同的。

项目成果

期刊论文数量(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 }}

Watt, Stephen其他文献

Genetic Drivers of Epigenetic and Transcriptional Variation in Human Immune Cells.
  • DOI:
    10.1016/j.cell.2016.10.026
  • 发表时间:
    2016-11-17
  • 期刊:
  • 影响因子:
    64.5
  • 作者:
    Chen, Lu;Ge, Bing;Casale, Francesco Paolo;Vasquez, Louella;Kwan, Tony;Garrido-Martin, Diego;Watt, Stephen;Yan, Ying;Kundu, Kousik;Ecker, Simone;Datta, Avik;Richardson, David;Burden, Frances;Mead, Daniel;Mann, Alice L.;Maria Fernandez, Jose;Rowlston, Sophia;Wilder, Steven P.;Farrow, Samantha;Shao, Xiaojian;Lambourne, John J.;Redensek, Adriana;Albers, Cornelis A.;Amstislavskiy, Vyacheslav;Ashford, Sofie;Berentsen, Kim;Bomba, Lorenzo;Bourque, Guillaume;Bujold, David;Busche, Stephan;Caron, Maxime;Chen, Shu-Huang;Cheung, Warren;Delaneau, Oliver;Dermitzakis, Emmanouil T.;Elding, Heather;Colgiu, Irina;Bagger, Frederik O.;Flicek, Paul;Habibi, Ehsan;Iotchkova, Valentina;Janssen-Megens, Eva;Kim, Bowon;Lehrach, Hans;Lowy, Ernesto;Mandoli, Amit;Matarese, Filomena;Maurano, Matthew T.;Morris, John A.;Pancaldi, Vera;Pourfarzad, Farzin;Rehnstrom, Karola;Rendon, Augusto;Risch, Thomas;Sharifi, Nilofar;Simon, Marie-Michelle;Sultan, Marc;Valencia, Alfonso;Walter, Klaudia;Wang, Shuang-Yin;Frontini, Mattia;Antonarakis, Stylianos E.;Clarke, Laura;Yaspo, Marie-Laure;Beck, Stephan;Guigo, Roderic;Rico, Daniel;Martens, Joost H. A.;Ouwehand, Willem H.;Kuijpers, Taco W.;Paul, Dirk S.;Stunnenberg, Hendrik G.;Stegle, Oliver;Downes, Kate;Pastinen, Tomi;Soranzo, Nicole
  • 通讯作者:
    Soranzo, Nicole
CENP-B preserves genome integrity at replication forks paused by retrotransposon LTR.
  • DOI:
    10.1038/nature09608
  • 发表时间:
    2011-01-06
  • 期刊:
  • 影响因子:
    64.8
  • 作者:
    Zaratiegui, Mikel;Vaughn, Matthew W.;Irvine, Danielle V.;Goto, Derek;Watt, Stephen;Baehler, Juerg;Arcangioli, Benoit;Martienssen, Robert A.
  • 通讯作者:
    Martienssen, Robert A.
Pregabalin for the Treatment of Drug and Alcohol Withdrawal Symptoms: A Comprehensive Review.
  • DOI:
    10.1007/s40263-016-0390-z
  • 发表时间:
    2016-12
  • 期刊:
  • 影响因子:
    6
  • 作者:
    Freynhagen, Rainer;Backonja, Miroslav;Schug, Stephan;Lyndon, Gavin;Parsons, Bruce;Watt, Stephen;Behar, Regina
  • 通讯作者:
    Behar, Regina
Key function for the CCAAT-binding factor Php4 to regulate gene expression in response to iron deficiency in fission yeast
  • DOI:
    10.1128/ec.00446-07
  • 发表时间:
    2008-03-01
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mercier, Alexandre;Watt, Stephen;Labbe, Simon
  • 通讯作者:
    Labbe, Simon
AHT-ChIP-seq: a completely automated robotic protocol for high-throughput chromatin immunoprecipitation
  • DOI:
    10.1186/gb-2013-14-11-r124
  • 发表时间:
    2013-01-01
  • 期刊:
  • 影响因子:
    12.3
  • 作者:
    Aldridge, Sarah;Watt, Stephen;Odom, Duncan T.
  • 通讯作者:
    Odom, Duncan T.

Watt, Stephen的其他文献

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

{{ truncateString('Watt, Stephen', 18)}}的其他基金

Computer Algebra and Digital Mathematical Libraries
计算机代数和数字数学图书馆
  • 批准号:
    RGPIN-2017-05795
  • 财政年份:
    2017
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Computer Algebra Domains and Interfaces
计算机代数领域和接口
  • 批准号:
    203419-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Computer Algebra Domains and Interfaces
计算机代数领域和接口
  • 批准号:
    203419-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Computer Algebra Domains and Interfaces
计算机代数领域和接口
  • 批准号:
    203419-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Advanced financial market simulation based on intelligent agents and cloud technology
基于智能代理和云技术的高级金融市场模拟
  • 批准号:
    429108-2011
  • 财政年份:
    2012
  • 资助金额:
    $ 2.48万
  • 项目类别:
    College - University Idea to Innovation Grants
Advanced financial market simulation based on intelligent agents and cloud technology
基于智能代理和云技术的高级金融市场模拟
  • 批准号:
    429108-2011
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
    College - University Idea to Innovation Grants
The domain of computer algebra
计算机代数领域
  • 批准号:
    203419-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
The domain of computer algebra
计算机代数领域
  • 批准号:
    203419-2007
  • 财政年份:
    2010
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
The domain of computer algebra
计算机代数领域
  • 批准号:
    203419-2007
  • 财政年份:
    2009
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
The domain of computer algebra
计算机代数领域
  • 批准号:
    203419-2007
  • 财政年份:
    2008
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

REU Site: Research Experiences for Undergraduates in Algebra and Discrete Mathematics at Auburn University
REU 网站:奥本大学代数和离散数学本科生的研究经验
  • 批准号:
    2349684
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Continuing Grant
Conference: Underrepresented Students in Algebra and Topology Research Symposium (USTARS)
会议:代数和拓扑研究研讨会(USTARS)中代表性不足的学生
  • 批准号:
    2400006
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Standard Grant
Positive and Mixed Characteristic Birational Geometry and its Connections with Commutative Algebra and Arithmetic Geometry
正混合特征双有理几何及其与交换代数和算术几何的联系
  • 批准号:
    2401360
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Standard Grant
Studies in Categorical Algebra
分类代数研究
  • 批准号:
    2348833
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Continuing Grant
On combinatorics, the algebra, topology, and geometry of a new class of graphs that generalize ordinary and ribbon graphs
关于组合学、一类新图的代数、拓扑和几何,概括了普通图和带状图
  • 批准号:
    24K06659
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
RTG: Applied Algebra at the University of South Florida
RTG:南佛罗里达大学应用代数
  • 批准号:
    2342254
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Continuing Grant
Conference: Fairfax Algebra Days 2024
会议:2024 年费尔法克斯代数日
  • 批准号:
    2337178
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Standard Grant
CAREER: Leveraging Randomization and Structure in Computational Linear Algebra for Data Science
职业:利用计算线性代数中的随机化和结构进行数据科学
  • 批准号:
    2338655
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Continuing Grant
Conference: Research School: Bridges between Algebra and Combinatorics
会议:研究学院:代数与组合学之间的桥梁
  • 批准号:
    2416063
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Standard Grant
Stable Homotopy Theory in Algebra, Topology, and Geometry
代数、拓扑和几何中的稳定同伦理论
  • 批准号:
    2414922
  • 财政年份:
    2024
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了