咨询与建议

限定检索结果

文献类型

  • 291 篇 期刊文献
  • 221 篇 会议
  • 111 册 图书
  • 21 篇 学位论文

馆藏范围

  • 640 篇 电子文献
  • 19 种 纸本馆藏

日期分布

学科分类号

  • 365 篇 理学
    • 340 篇 数学
    • 39 篇 物理学
    • 29 篇 统计学(可授理学、...
    • 7 篇 化学
    • 7 篇 生物学
    • 6 篇 系统科学
    • 2 篇 天文学
  • 250 篇 工学
    • 203 篇 计算机科学与技术...
    • 73 篇 软件工程
    • 28 篇 电气工程
    • 23 篇 信息与通信工程
    • 12 篇 控制科学与工程
    • 7 篇 电子科学与技术(可...
    • 6 篇 材料科学与工程(可...
    • 6 篇 化学工程与技术
    • 5 篇 机械工程
    • 5 篇 光学工程
    • 5 篇 仪器科学与技术
    • 4 篇 生物医学工程(可授...
    • 3 篇 力学(可授工学、理...
    • 3 篇 土木工程
    • 2 篇 生物工程
  • 16 篇 管理学
    • 9 篇 管理科学与工程(可...
    • 7 篇 图书情报与档案管...
  • 6 篇 医学
    • 4 篇 临床医学
    • 3 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
    • 4 篇 心理学(可授教育学...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 法学
  • 1 篇 文学
  • 1 篇 军事学

主题

  • 112 篇 polynomials
  • 89 篇 algebra
  • 35 篇 number theory
  • 34 篇 matrix algebra
  • 31 篇 computer science
  • 22 篇 graph theory
  • 18 篇 linear algebra
  • 15 篇 mathematics
  • 15 篇 complexity theor...
  • 13 篇 algorithms
  • 12 篇 computer algebra
  • 10 篇 group theory
  • 10 篇 cryptography
  • 9 篇 combinatorics
  • 8 篇 computational ma...
  • 8 篇 application soft...
  • 8 篇 applications of ...
  • 8 篇 boolean algebra
  • 8 篇 educational inst...
  • 8 篇 group theory and...

机构

  • 5 篇 school of mathem...
  • 4 篇 pennsylvania sta...
  • 3 篇 department of co...
  • 3 篇 computer science...
  • 3 篇 massachusetts in...
  • 3 篇 univ bath dept c...
  • 3 篇 georgia inst tec...
  • 3 篇 mit dept math ca...
  • 2 篇 department of co...
  • 2 篇 univ minho cmat ...
  • 2 篇 research laborat...
  • 2 篇 univ bonn b it d...
  • 2 篇 military academy...
  • 2 篇 institute of com...
  • 2 篇 department of co...
  • 2 篇 tilburg univ dep...
  • 2 篇 department of ap...
  • 2 篇 univ chicago dep...
  • 2 篇 university of mi...
  • 2 篇 school of electr...

作者

  • 5 篇 ziegler konstant...
  • 4 篇 basu saugata
  • 4 篇 qiao youming
  • 4 篇 gary l. mullen
  • 3 篇 perret ludovic
  • 3 篇 tsigaridas elias
  • 3 篇 drineas petros
  • 3 篇 gathen joachim v...
  • 3 篇 avron haim
  • 3 篇 krivine jean
  • 3 篇 giesbrecht mark
  • 3 篇 colton simon
  • 3 篇 chowdhury agniva
  • 3 篇 grochow joshua a...
  • 3 篇 von zur gathen j...
  • 3 篇 faugere jean-cha...
  • 3 篇 behr nicolas
  • 3 篇 london palma
  • 2 篇 babai l
  • 2 篇 muggleton stephe...

语言

  • 535 篇 英文
  • 70 篇 其他
  • 39 篇 中文
检索条件"任意字段=Computer Algebra and Polynomials: Applications of Algebra and Number Theory"
644 条 记 录,以下是11-20 订阅
排序:
Certifying Rings of Integers in number Fields  25
Certifying Rings of Integers in Number Fields
收藏 引用
14th Conference on Certified Programs and Proofs
作者: Baanen, Anne Villarello, Alain Chavarri Dahmen, Sander R. Vrije Univ Amsterdam Amsterdam Netherlands Lean FRO Redmond WA 98052 USA
number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra systems and databases concerned with the... 详细信息
来源: 评论
An alternative GPU acceleration for a pseudopotential plane-waves density functional theory code with applications to metallic systems
收藏 引用
computer PHYSICS COMMUNICATIONS 2025年 308卷
作者: Gong, Xuejun Dal Corso, Andrea Int Sch Adv Studies SISSA Via Bonomea 265 I-34136 Trieste Italy CNR IOM Via Bonomea 265 I-34136 Trieste Italy
We present an alternative GPU acceleration for plane waves pseudopotentials electronic structure codes designed for systems that have small unit cells but require a large number of k points to sample the Brillouin zon... 详细信息
来源: 评论
Some new techniques and progress towards the resolution of the conjecture of exceptional APN functions and absolutely irreducibility of a class of polynomials
收藏 引用
DESIGNS CODES AND CRYPTOGRAPHY 2023年 第7期91卷 2481-2495页
作者: Delgado, Moises Janwa, Heeralal Agrinsoni, Carlos Univ Puerto Rico Dept Math 205 Calle Antonio R Barcelo Cayey PR 00736 USA Univ Puerto Rico Dept Math 17 Univ Ave Ste 1701 San Juan PR 00925 USA
Almost Perfect Nonlinear (APN) functions are very useful in cryptography, when they are used as S-Boxes due to their good resistance to differential cryptanalysis. Also, some of the curves and surfaces defined by the ... 详细信息
来源: 评论
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares  23
Pourchet's theorem in action: decomposing univariate nonnega...
收藏 引用
48th International Symposium on Symbolic and algebraic Computation (ISSAC)
作者: Magron, Victor Koprowski, Przemyslaw Vaccon, Tristan CNRS LAAS Toulouse France Inst Mathemat Toulouse Toulouse France Univ Silesia Katowice Inst Math Katowice Poland Univ Limoges CNRS XLIM UMR 7252 Limoges France
Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The ... 详细信息
来源: 评论
Estimation under group actions: Recovering orbits from invariants
收藏 引用
APPLIED AND COMPUTATIONAL HARMONIC ANALYSIS 2023年 第1期66卷 236-319页
作者: Bandeira, Afonso S. Blum-Smith, Ben Kileel, Joe Niles-Weed, Jonathan Perry, Amelia Wein, Alexander S. Swiss Fed Inst Technol Dept Math Zurich Switzerland Johns Hopkins Univ Dept Appl Math & Stat Baltimore MD 21218 USA Univ Texas Austin Dept Math Austin TX USA Univ Texas Austin Oden Inst Austin TX USA NYU Courant Inst Math Sci New York NY USA NYU Ctr Data Sci New York NY USA MIT Dept Math Cambridge MA USA Univ Calif Davis Dept Math Davis CA USA
We study a class of orbit recovery problems in which we observe independent copies of an unknown element of Rp, each linearly acted upon by a random element of some group (such as Z/p or SO(3)) and then corrupted by a... 详细信息
来源: 评论
Non-symmetric number Triangles Arising from Hypercomplex Function theory in Rn+1  22nd
Non-symmetric Number Triangles Arising from Hypercomplex Fun...
收藏 引用
22nd International Conference on Computational Science and its applications (ICCSA)
作者: Cacao, Isabel Falcao, M. Irene Malonek, Helmuth R. Tomaz, Graca Univ Aveiro CIDMA Aveiro Portugal Univ Minho CMAT Braga Portugal Inst Politecn Guarda Guarda Portugal
The paper is focused on intrinsic properties of a one-parameter family of non-symmetric number triangles T (n), n >= 2, which arises in the construction of hyperholomorphic Appell polynomials.
来源: 评论
Parikh's Theorem Made Symbolic
收藏 引用
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 2024年 第POPL期8卷 1945-1977页
作者: Hague, Matthew Jez, Artur Lin, Anthony W. Royal Holloway Univ London Dept Comp Sci Egham Hill Egham TW20 0EX Surrey England Univ Wroclaw Inst Comp Sci Joliot Curie 15 PL-50383 Wroclaw Poland Univ Kaiserslautern Landau Kaiserslautern Germany MPI SWS Paul Ehrlich StrBldg G 26 DE-67663 Kaiserslautern Germany
Parikh's Theorem is a fundamental result in automata theory with numerous applications in computer science. These include software verification (e.g. infinite-state verification, string constraints, and theory of ... 详细信息
来源: 评论
Fully computer-Assisted Proofs in Extremal Combinatorics  37
Fully Computer-Assisted Proofs in Extremal Combinatorics
收藏 引用
37th AAAI Conference on Artificial Intelligence (AAAI) / 35th Conference on Innovative applications of Artificial Intelligence / 13th Symposium on Educational Advances in Artificial Intelligence
作者: Parczyk, Olaf Pokutta, Sebastian Spiegel, Christoph Szabo, Tibor Free Univ Berlin Inst Math Berlin Germany Tech Univ Berlin Inst Math Berlin Germany Zuse Inst Berlin Dept AI Soc Sci & Technol Berlin Germany
We present a fully computer-assisted proof system for solving a particular family of problems in Extremal Combinatorics. Existing techniques using Flag algebras have proven powerful in the past, but have so far lacked... 详细信息
来源: 评论
Whitney numbers of Combinatorial Geometries and Higher-Weight Dowling Lattices
收藏 引用
SIAM JOURNAL ON APPLIED algebra AND GEOMETRY 2022年 第2期6卷 156-189页
作者: Ravagnani, Alberto Eindhoven Univ Technol Dept Math & Comp Sci NL-5612 AZ Eindhoven Netherlands
We study the Whitney numbers of the first kind of combinatorial geometries, in connection with the theory of error-correcting codes. The first part of the paper is devoted to general results relating the Mo "\biu... 详细信息
来源: 评论
Some Generalized Clifford-Jacobi polynomials and Associated Spheroidal Wavelets
收藏 引用
Analysis in theory and applications 2022年 第4期38卷 394-416页
作者: Sabrine Arfaoui Anouar Ben Mabrouk Algebra Number Theory and Nonlinear Analysis Laboratory LR18ES15Department of MathematicsFaculty of SciencesMonastir 5000Tunisia Department of Mathematics Higher Institute of Applied Mathematics and Computer ScienceStreet of Assad Ibn AlfouratKairouan University3100 Kairouan Tunisia Department of Mathematics Faculty of SciencesUniversity of TabukSaudi Arabia
In the present paper,by extending some fractional calculus to the framework of Clifford analysis,new classes of wavelet functions are ***,some classes of monogenic polynomials are provided based on 2-parameters weight... 详细信息
来源: 评论