Results 11 to 20 of about 53,013 (201)
C-compactness modulo an ideal [PDF]
International Journal of Mathematics and Mathematical Sciences, 2006 We investigate the concepts of quasi-H-closed modulo an ideal which generalizes quasi-H-closedness and C-compactness modulo an ideal which simultaneously generalizes C-compactness and compactness modulo an ideal. We obtain a characterization of maximal C-
M. K. Gupta, T. Noiri
doaj +2 more sources
, 2022 There are 2 papers in the project. (1) "Some Modulo Sequences and Cipher Techniques Based on the Modulo Sequences" is a mathematical paper of number theory and cryptography.
Hao Jiang
core +9 more sources
On the Jones polynomial modulo primes [PDF]
, 2022 We derive an upper bound on the density of Jones polynomials of knots modulo a prime number $p$, within a sufficiently large degree range: $4/p^7$.
Aiello, Valeriano +5 more
core +2 more sources
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
CTL Model Checking in Deduction Modulo [PDF]
, 2015 International audienceIn this paper we give an overview of proof-search method for CTL model checking based on Deduction Modulo. Deduction Modulo is a reformulation of Predicate Logic where some axioms—possibly all—are replaced by rewrite rules.
Kailiang Ji, Ji, Kailiang
core +1 more source
Symbolic Execution as DPLL Modulo Theories [PDF]
, 2014 © Quoc-Sang Phan; licensed under Creative Commons License CC-BY. Imperial College Computing Student Workshop (ICCSW’14). Editors: Rumyana Neykova and Nicholas Ng; pp. 58–65. OpenAccess Series in Informatics.
Quoc-sang Phan +2 more
core +1 more source
Using Deduction Modulo in Set Theory [PDF]
, 2014 International audienceWe present some improvements of Zenon Modulo and the application of this tool to sets of problems coming from set theory. Zenon Modulo is an extension of the tableau-based first order automated theorem prover Zenon to deduction ...
Halmagrand, Pierre
core +3 more sources
Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps [PDF]
, 2013 International audienceWe present the certifying part of the Zenon Modulo automated theorem prover, which is an extension of the Zenon tableau-based first order automated theorem prover to deduction modulo.
Delahaye, David +4 more
core +4 more sources
Mathematics, 2022 The present paper is devoted to studying the maps corresponding to the suborbital graphs for the normalizer ΓB(N) of Γ0(N) modulo N, where N denotes a positive integer. We reveal the complete structure of these maps, finding their vertices, edges, darts,
Nazlı Yazıcı Gözütok
doaj +1 more source
Towards explicit rewrite rules in the λΠ-calculus modulo [PDF]
, 2013 International audienceThis paper provides a new presentation of the λΠ-calculus modulo where the addition of rewrite rules is made explicit. The λΠ-calculus modulo is a variant of the λ-calculus with dependent types where β-reduction is extended with ...
Saillard, Ronan
core +4 more sources