搜索页_Rationals

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

Springer电子图书(1)

万方学术会议(1)

CNKI学位论文(65)

知网期刊论文(39)

万方学位论文(3)

在“SpringerLink电子期刊”中，命中：188条，耗时：0.0100244 秒

在所有数据库中总计命中：109条

1. Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals

作者： Mike Behrisch ; John K. Truss ; Edith Vargas-García

关键词：Rationals ; Automatic homeomorphicity ; Embedding ; Endomorphism ; Polymorphism clone

刊名：Studia Logica

出版年：2017

2. Analyzing restricted fragments of the theory of linear arithmetic

作者： Piotr Wojciechowski ; Pavlos Eirinakis…

关键词：Quantified linear programming ; Quantified linear implication ; Theory of real numbers with addition ; Complexity classes

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

3. Recognition and Complexity of Point Visibility Graphs

作者： Jean Cardinal ; Udo Hoffmann

关键词：Point visibility graphs ; Existential theory of the reals ; Geometric graph representations

刊名：Discrete & Computational Geometry

出版年：2017

4. A Brief Comparison of Simon and Simeck

关键词：SIMON ; SIMECK ; Differential cryptanalysis ; Block cipher

刊名：Lecture Notes in Computer Science

出版年：2017

5. Torsion of rational elliptic curves over quadratic fields II

作者： Enrique González-Jiménez ; José M. Tornero

关键词：Elliptic curves ; Torsion subgroup ; Rationals ; Quadratic fields

刊名：Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas

出版年：2016

6. Orbits of Maximal Vector Spaces

作者： R. D. Dimitrov ; V. Harizanov

关键词：infinite ; dimensional vector space over field of rationals ; quasimaximal set ; equivalence classes ; principal filter ; orbit ; lattice

刊名：Algebra and Logic

出版年：2016

7. A note on the Erdős–Straus conjecture

作者： S. Subburam ; Alain Togbé

关键词：Egyptian fractions ; Diophantine equation ; Number of solutions

刊名：Periodica Mathematica Hungarica

出版年：2016

8. Intersective \(S_n\) polynomials with few irreducible factors

作者： Daniela Bubboloni ; Jack Sonn

关键词：Mathematics Subject ClassificationPrimary 11R32 ; Galois theory

刊名：manuscripta mathematica

出版年：2016

9. SMT-based model checking for recursive programs

作者： Anvesh Komuravelli ; Arie Gurfinkel ; Sagar Chaki

关键词：Model checking ; May ; must ; Satisfiability ; Quantifier elimination ; Recursion ; Compositional

刊名：Formal Methods in System Design

出版年：2016

10. On automatic homeomorphicity for transformation monoids

作者： Christian Pech ; Maja Pech

关键词：Transformation monoid ; Topological monoid ; Reconstruction ; Homogeneous structure ; Automatic homeomorphicity ; Small index property

刊名：Monatshefte f¨¹r Mathematik

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(188)

题名(21)

关键词(13)

文摘(165)

按出版年细分(188)

2017年(4)

2016年(12)

2015年(16)

2014年(12)

2013年(7)

2012年(6)

2011年(6)

2010年(7)

2009年(11)

2008年(10)

2007年(9)

2006年(16)

2005年(11)

2004年(14)

2003年(5)

2002年(9)

2001年(4)

2000年(8)

2000年及以前(21)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.