当前期刊: Journal of Symbolic Computation Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • On the Computation of Identities Relating Partition Numbers in Arithmetic Progressions with Eta Quotients: An Implementation of Radu's Algorithm
    J. Symb. Comput. (IF 0.876) Pub Date : 2020-05-21
    Nicolas Allen Smoot

    In 2015 Cristian-Silviu Radu designed an algorithm to detect identities of a class studied by Ramanujan and Kolberg, in which the generating functions of a partition function over a given set of arithmetic progression are expressed in terms of Dedekind eta quotients over a given congruence subgroup. These identities include the famous results by Ramanujan which provide a witness to the divisibility

    更新日期:2020-05-21
  • Computing Unit Groups of Curves
    J. Symb. Comput. (IF 0.876) Pub Date : 2020-05-11
    Justin Chen; Sameera Vemulapalli; Leon Zhang

    The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is necessary in order to realize intrinsic tropicalizations. We present practical algorithms for computing unit groups of smooth curves of low genus. Our approach is rooted in divisor

    更新日期:2020-05-11
  • Distance invariant method for normalization of indexed differentials
    J. Symb. Comput. (IF 0.876) Pub Date : 2020-05-11
    Jiang Liu; Feng Ni

    A distance from free to dummy indices is defined. The distance is invariant with respect to both monoterm symmetries and bottom antisymmetry. Using the distance invariant, we present an index-replacement algorithm. We then develop two normalization algorithms. One is with respect to monoterm symmetries and has complexity lower than known algorithms; the other allows one to determine the equivalence

    更新日期:2020-05-11
  • The dimension of the moduli spaces of curves defined by topologically non quasi-homogeneous functions
    J. Symb. Comput. (IF 0.876) Pub Date : 2020-05-04
    Jinan Loubani

    We consider a topological class of a germ of complex analytic function in two variables which does not belong to its jacobian ideal. Such a function is not quasi homogeneous. The 0-level of such a function defines a germ of analytic curve. Proceeding similarly to the homogeneous case Genzmer and Paul (2011) and the quasi homogeneous case Genzmer and Paul (2016), we describe an algorithm which computes

    更新日期:2020-05-04
  • Computing the multilinear factors of lacunary polynomials without heights
    J. Symb. Comput. (IF 0.876) Pub Date : 2020-04-30
    Arkadev Chattopadhyay; Bruno Grenet; Pascal Koiran; Natacha Portier; Yann Strozecki

    We present a deterministic algorithm which computes the multilinear factors of multivariate lacunary polynomials over number fields. Its complexity is polynomial in ℓn where ℓ is the lacunary size of the input polynomial and n its number of variables, that is in particular polynomial in the logarithm of its degree. We also provide a randomized algorithm for the same problem of complexity polynomial

    更新日期:2020-04-30
  • A difference ring theory for symbolic summation.
    J. Symb. Comput. Pub Date : 2016-01-05
    Carsten Schneider

    A summation framework is developed that enhances Karr's difference field approach. It covers not only indefinite nested sums and products in terms of transcendental extensions, but it can treat, e.g., nested products defined over roots of unity. The theory of the so-called [Formula: see text]-extensions is supplemented by algorithms that support the construction of such difference rings automatically

    更新日期:2019-11-01
  • Learning-assisted theorem proving with millions of lemmas.
    J. Symb. Comput. Pub Date : 2015-11-04
    Cezary Kaliszyk,Josef Urban

    Large formal mathematical libraries consist of millions of atomic inference steps that give rise to a corresponding number of proved statements (lemmas). Analogously to the informal mathematical practice, only a tiny fraction of such statements is named and re-used in later proofs by formal mathematicians. In this work, we suggest and implement criteria defining the estimated usefulness of the HOL

    更新日期:2019-11-01
  • Regular expression order-sorted unification and matching.
    J. Symb. Comput. Pub Date : 2015-03-01
    Temur Kutsia,Mircea Marin

    We extend order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The obtained signature corresponds to a finite bottom-up unranked tree automaton. We prove that regular expression order-sorted (REOS) unification is of type infinitary and decidable. The unification problem presented by us generalizes some known problems, such as, e.g., order-sorted

    更新日期:2019-11-01
  • Improved polynomial remainder sequences for Ore polynomials.
    J. Symb. Comput. Pub Date : 2013-11-01
    Maximilian Jaroschek

    Polynomial remainder sequences contain the intermediate results of the Euclidean algorithm when applied to (non-)commutative polynomials. The running time of the algorithm is dependent on the size of the coefficients of the remainders. Different ways have been studied to make these as small as possible. The subresultant sequence of two polynomials is a polynomial remainder sequence in which the size

    更新日期:2019-11-01
  • Trading order for degree in creative telescoping.
    J. Symb. Comput. Pub Date : 2012-08-01
    Shaoshi Chen,Manuel Kauers

    We analyze the differential equations produced by the method of creative telescoping applied to a hyperexponential term in two variables. We show that equations of low order have high degree, and that higher order equations have lower degree. More precisely, we derive degree bounding formulas which allow to estimate the degree of the output equations from creative telescoping as a function of the order

    更新日期:2019-11-01
  • Rational general solutions of planar rational systems of autonomous ODEs.
    J. Symb. Comput. Pub Date : 2011-10-01
    L X Châu Ngô,Franz Winkler

    In this paper, we provide an algorithm to compute explicit rational solutions of a rational system of autonomous ordinary differential equations (ODEs) from its rational invariant algebraic curves. The method is based on the proper rational parametrization of these curves and the fact that by linear reparametrizations, we can find the rational solutions of the given system of ODEs. Moreover, if the

    更新日期:2019-11-01
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
智控未来
聚焦商业经济政治法律
跟Nature、Science文章学绘图
控制与机器人
招募海内外科研人才,上自然官网
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
湖南大学化学化工学院刘松
上海有机所
廖良生
南方科技大学
西湖大学
伊利诺伊大学香槟分校
徐明华
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug