全文获取类型
收费全文 | 2063篇 |
免费 | 172篇 |
国内免费 | 132篇 |
专业分类
化学 | 226篇 |
晶体学 | 1篇 |
力学 | 54篇 |
综合类 | 159篇 |
数学 | 1390篇 |
物理学 | 537篇 |
出版年
2024年 | 3篇 |
2023年 | 31篇 |
2022年 | 53篇 |
2021年 | 62篇 |
2020年 | 61篇 |
2019年 | 62篇 |
2018年 | 52篇 |
2017年 | 61篇 |
2016年 | 50篇 |
2015年 | 40篇 |
2014年 | 77篇 |
2013年 | 147篇 |
2012年 | 57篇 |
2011年 | 103篇 |
2010年 | 97篇 |
2009年 | 145篇 |
2008年 | 118篇 |
2007年 | 133篇 |
2006年 | 128篇 |
2005年 | 103篇 |
2004年 | 88篇 |
2003年 | 87篇 |
2002年 | 83篇 |
2001年 | 65篇 |
2000年 | 49篇 |
1999年 | 55篇 |
1998年 | 46篇 |
1997年 | 45篇 |
1996年 | 36篇 |
1995年 | 54篇 |
1994年 | 31篇 |
1993年 | 28篇 |
1992年 | 21篇 |
1991年 | 11篇 |
1990年 | 17篇 |
1989年 | 15篇 |
1988年 | 8篇 |
1987年 | 10篇 |
1986年 | 5篇 |
1985年 | 6篇 |
1984年 | 4篇 |
1983年 | 5篇 |
1982年 | 2篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1979年 | 2篇 |
1975年 | 1篇 |
1973年 | 1篇 |
1972年 | 1篇 |
1967年 | 1篇 |
排序方式: 共有2367条查询结果,搜索用时 250 毫秒
1.
Clemens G. Raab Georg Regensburger Jamal Hossein Poor 《Journal of Pure and Applied Algebra》2021,225(5):106564
A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials. 相似文献
2.
3.
设珮犠(狋):犚犖+ →犚犱是犖指标犱维广义Wiener过程,对任意紧集犈1,…,犈犿犚犖> ,该文研究了犿项代数和珮犠(犈1)…珮犠(犈犿)的Hausdorff维数,Packing维数和正的Lebesgue测度及内点的存在性. 其结果包含并推广了布朗单的结果. 相似文献
4.
F. Iachello S. Oss 《The European Physical Journal D - Atomic, Molecular, Optical and Plasma Physics》2002,19(3):307-314
We present a brief review of algebraic techniques developed and applied in molecular spectroscopy in the last five years.
We also outline perspectives for new applications of the Lie algebraic method in the first decade of the new century.
Received 21 November 2001 相似文献
5.
It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
6.
一阶形式系统K~*及其完备性 总被引:2,自引:0,他引:2
裴道武 《数学年刊A辑(中文版)》2002,(6)
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
7.
We present the procedure of exactly solving the Izergin–Korepin model with open boundary conditions by using the algebraic Bethe ansatz, which include constructing the multi-particle state and achieving the eigenvalue of the transfer matrix and corresponding Bethe equations. We give a proof about our conclusions on the multi-particle state based on an assumption. When the model is Uq(su(2)) quantum invariant, our results agree with that obtained by analytic Bethe ansatz method. 相似文献
8.
Bernhard Heinemann 《Mathematical Logic Quarterly》1997,43(2):203-215
Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated. 相似文献
9.
Motivated by some functional models arising in fuzzy logic, when classical boolean relations between sets are generalized,
we study the functional equation S(S(x, y), T(x, y)) = S(x, y), where S is a continuous t-conorm and T is a continuous t-norm. Some interesting methods for solving this type of equations are introduced. 相似文献
10.
This paper proposes a model for the parametric representation of linguistic hedges in Zadeh’s fuzzy logic. In this model each linguistic truth-value, which is generated from a primary term of the linguistic truth variable, is identified by a real number r depending on the primary term. It is shown that the model yields a method of efficiently computing linguistic truth expressions accompanied with a rich algebraic structure of the linguistic truth domain, namely De Morgan algebra. Also, a fuzzy logic based on the parametric representation of linguistic truth-values is introduced. 相似文献