期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
浅谈包含自定义类型数学公式的权利要求的检索
1
作者 竺国卿 《河南科技》 2020年第30期68-70,共3页
自定义类型数学公式,一般是申请人基于发明创造具体的技术方案提出的关于若干数学参数之间关系的表达式,现有技术中很难找到类似的数学公式。而在检索中,直接输入数学公式进行检索往往收效甚微,且在检索系统中,对数学公式的表达有很大... 自定义类型数学公式,一般是申请人基于发明创造具体的技术方案提出的关于若干数学参数之间关系的表达式,现有技术中很难找到类似的数学公式。而在检索中,直接输入数学公式进行检索往往收效甚微,且在检索系统中,对数学公式的表达有很大难度。本文针对自定义类型数学公式的特点,以两个实际案例出发讨论如何对自定义类型数学公式的权利要求进行有效的检索。 展开更多
关键词 自定义类型数学公式 检索 追踪 数值范围 计算原理
下载PDF
论L中演绎序列的两种搜索方法
2
作者 程和祥 樊毅 《贵州工程应用技术学院学报》 2021年第6期80-85,共6页
在经典命题演算公理系统L中,由于演绎定理的运用,演绎序列通常都会较为简单;而证明中只能使用公理和MP规则,导致证明的步骤较为复杂。根据杜国平的方法,只要存在演绎序列,就能找到相应的公理证明。实际上,有一类定理的演绎程序比较容易... 在经典命题演算公理系统L中,由于演绎定理的运用,演绎序列通常都会较为简单;而证明中只能使用公理和MP规则,导致证明的步骤较为复杂。根据杜国平的方法,只要存在演绎序列,就能找到相应的公理证明。实际上,有一类定理的演绎程序比较容易获得,也有一些定理的演绎程序直观上并不容易发现。因而如何搜索演绎序列,就是一个颇为实际的问题。通过将待证公式拆分成前件和后件,我们可以粗略得到两种寻找演绎序列的方法:若公式形如X_(n)→…(X_(i)→…(Y→Z)…),后件可以层层拆分,则在演绎程序中将多次拆分获得的前件不断作为前提,直到后件为原子公式,以寻找演绎序列(若难以找到,则考虑用L_(3));若公式形如(((X_(n)→Z)→…→X_(i))→…Y)→X_(0),第一次拆分之后,后件是原子公式,则考虑将前件或原待证公式进行相应的"变形",结合归谬法等方法寻找演绎序列。如此,通过获得的演绎序列,我们就可以发现其中公式的相互作用,并以此作为"证明的技巧",最终得到严格的公理证明。 展开更多
关键词 公式类型 拆分 L_(3) 归谬法
下载PDF
On Connes' trace formula for the Hankel transformation of order-1/2
3
作者 LI XianJin 《Science China Mathematics》 SCIE 2012年第10期2125-2146,共22页
A local Hankel transformation of order 1/2 is defined for every finite place of the field of rational numbers.Its inversion formula and the Plancherel type theorem are obtained.A Connes type trace formula is given for... A local Hankel transformation of order 1/2 is defined for every finite place of the field of rational numbers.Its inversion formula and the Plancherel type theorem are obtained.A Connes type trace formula is given for each local Hankel transformation of order 1/2.An S-local Connes type trace formula is derived for the S-local Hankel transformation of order 1/2.These formulas are generalizations of Connes' corresponding trace formulas in 1999. 展开更多
关键词 Connes' trace formula Hankel transformation
原文传递
New Similarity Reduction Solutions for the(2+1)-Dimensional Nizhnik-Novikov-Veselov Equation 被引量:1
4
作者 智红燕 《Communications in Theoretical Physics》 SCIE CAS CSCD 2013年第3期263-267,共5页
In this paper,some new formal similarity reduction solutions for the(2+1)-dimensional Nizhnik-Novikov-Veselov equation are derived.Firstly,we derive the similarity reduction of the NNV equation with the optimal system... In this paper,some new formal similarity reduction solutions for the(2+1)-dimensional Nizhnik-Novikov-Veselov equation are derived.Firstly,we derive the similarity reduction of the NNV equation with the optimal system of the admitted one-dimensional subalgebras.Secondly,by analyzing the reduced equation,three types of similarity solutions are derived,such as multi-soliton like solutions,variable separations solutions,and KdV type solutions. 展开更多
关键词 similarity reduction solution (2+1)-dimensional Nizknik-Novikov-Veselov equation multi-solitonlike solution
原文传递
L-invariants and logarithm derivatives of eigenvalues of Frobenius 被引量:1
5
作者 ZHANG YuanCao 《Science China Mathematics》 SCIE 2014年第8期1587-1604,共18页
Let K be a p-adic local field.We study a special kind of p-adic Galois representations of it.These representations are similar to the Galois representations occurred in the exceptional zero conjecture for modular form... Let K be a p-adic local field.We study a special kind of p-adic Galois representations of it.These representations are similar to the Galois representations occurred in the exceptional zero conjecture for modular forms.In particular,we verify that a formula of Colmez can be generalized to our case.We also include a degenerated version of Colmez’s formula. 展开更多
关键词 L-invariant eigenvalues of Frobenius exceptional zeros
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部