搜索页_order+arithmetic+

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(4)	SpringerLink电子期刊(1136)	GSW全文库(10)
Wiley电子期刊(1)	ProQuest学位论文(48)	Elsevier电子期刊(1083)
Springer电子图书(1)	NATURE电子期刊(33)	ACS电子期刊(15)

在“SpringerLink电子期刊”中，命中：1,136条，耗时：0.0399829 秒

在所有数据库中总计命中：2,331条

1. An order-theoretic characterization of the Howard–Bachmann-hierarchy

作者： Jeroen Van der Meeren ; Michael Rathjen ; Andreas Weiermann

关键词：Well ; partial ; orderings ; Kruskal’s theorem ; Howard–Bachmann number ; Ordinal notation systems ; Natural well ; orderings ; Maximal order type ; Collapsing function ; Recursively defined trees ; Tree ; embeddabilities ; Proof ; theoretical ordinal ; Impredicative theory ; Independence results ; Minimal bad sequence

刊名：Archive for Mathematical Logic

出版年：2017

2. A fuzzy extension of Analytic Hierarchy Process based on the constrained fuzzy arithmetic

作者： Jana Krejčí ; Ondřej Pavlačka ; Jana Talašová

关键词：Fuzzy Analytic Hierarchy Process ; Fuzzy pairwise comparison matrices ; Triangular fuzzy numbers ; Constrained fuzzy arithmetic ; Fuzzy weighted average

刊名：Fuzzy Optimization and Decision Making

出版年：2017

3. New third-order Newton-like method with lower iteration number and lower TNFE

作者： Pantelimon George Popescu ; Radu Poenaru ; Florin Pop

关键词：Nonlinear equations ; Iterative methods ; Order of convergence ; Newton method ; MAPLE

刊名：Soft Computing

出版年：2017

4. Accelerated Manhattan hashing via bit-remapping with location information

作者： Wenshuo Chen ; Guiguang Ding ; Zijia Lin ; Jisheng Pei

关键词：Accelerated Manhattan hashing ; Bit ; remapping ; Multiple ; bit quantization ; Manhattan distance

刊名：Multimedia Tools and Applications

出版年：2017

5. A Difference in Complexity Between Recursion and Tail Recursion

作者： Siddharth Bhaskar

关键词：Abstract recursion theory ; Tail recursion ; Lower bounds ; Arithmetic

刊名：Theory of Computing Systems

出版年：2017

6. On Erdős and Sárközy’s sequences with Property P

作者： Christian Elsholtz ; Stefan Planitzer

关键词：Sequences with Property P ; Sums of two squares ; Primes in arithmetic progressions ; Distribution of integers with given prime factorization

刊名：Monatshefte für Mathematik

出版年：2017

7. Répartition simultanée de S(n) et \(S(n+1)\) dans les progressions arithmétiques

作者： Karam Aloui ; Christian Mauduit ; Mohamed Mkaouar

关键词：Mots clésSomme des chiffres ; Sommes exponentielles ; Théorème d’Erdös ; Kac

刊名：The Ramanujan Journal

出版年：2017

8. A dynamic and parallel approach for repetitive prime labeling of XML with MapReduce

作者： Jinhyun Ahn ; Dong-Hyuk Im ; Taewhi Lee ; Hong-Gee Kim

关键词：Repetitive prime labeling ; MapReduce ; XML ; Tree

刊名：The Journal of Supercomputing

出版年：2017

9. Iterative algorithms for least-squares solutions of a quaternion matrix equation

作者： Salman Ahmadi-Asl ; Fatemeh Panjeh Ali Beik

关键词：Quaternion matrix equations ; \(\eta \) ; (anti) ; Hermitian matrix ; Iterative algorithm ; Preconditioner ; Convergence

刊名：Journal of Applied Mathematics and Computing

出版年：2017

10. An Approximation Framework for Solvers and Decision Procedures

作者： Aleksandar Zeljić ; Christoph M. Wintersteiger…

刊名：Journal of Automated Reasoning

出版年：2017

按检索点细分(1136)

题名(30)

关键词(44)

文摘(1015)

按出版年细分(1136)

2017年(13)

2016年(82)

2015年(86)

2014年(77)

2013年(74)

2012年(86)

2011年(15)

2010年(40)

2009年(48)

2008年(79)

2007年(95)

2006年(119)

2005年(94)

2004年(46)

2003年(41)

2002年(25)

2001年(29)

2000年(21)

2000年及以前(65)

其它(1)