vix.ing · top · new · best · stats · spec

1. Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
   2026/07/20 by Santiago Escobar, Raúl López-Rueda, Carlos Olarte · 1 voice
   Computer Science · #Automaton #Constraint (computer-aided design) #Correctness #Extension (predicate logic) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model checking #Modulo #Parametric statistics #Real-Time Systems Scheduling #Representation (politics) #Rewriting #Separation logic
2. Expansion complexity and linear complexity of sequences over finite fields
   2016/06/09 by László Mérai, Harald Niederreiter, Arne Winterhof · 1 citation
   Computer Science · Mathematics · #Binomial (polynomial) #Coding theory and cryptography #Computational complexity theory #Cryptographic Implementations and Security #Cryptography #Cryptography and Data Security #Finite field #Measure (data warehouse) #Modulo #Probabilistic logic #Sequence (biology) #Time complexity #math.NT
3. Classifying spaces of twisted loop groups
   2013/12/31 by Thomas Baird, Thomas John Baird · 1 citation
   Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Automorphism #Cohomology #Combinatorics #Discrete mathematics #Equivariant cohomology #Equivariant map #Homotopy and Cohomology in Algebraic Topology #Lie algebra #Lie group #Loop (graph theory) #Mathematics #Modulo #Pure mathematics #Rank (graph theory) #Sigma #Simple Lie group #math.AT
4. Separation Logic Modulo Theories
   2013/03/11 by Juan Antonio Navarro-Pérez, Navarro-Pérez, Juan Antonio, Andrey Rybalchenko +1 · 1 citation
   Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Boolean satisfiability problem #Computer science #FOS: Computer and information sciences #Formal Methods in Verification #Heap (data structure) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics #Modulo #Programming language #Satisfiability modulo theories #Separation logic #Theoretical computer science #cs.LO
5. Amenable hyperbolic groups
   2012/02/29 by Pierre-Emmanuel Caprace, Yves de Cornulier, Nicolas Monod +1 · 2 citations
   Mathematics · #Advanced Operator Algebra Research #Automorphism #Class (philosophy) #Compact group #Compact space #Geometric and Algebraic Topology #Lie group #Locally compact group #Locally compact space #Mathematical Dynamics and Fractals #Modulo #Rank (graph theory) #Totally disconnected space #math.GR #msc:05C63 #msc:20E08 #msc:20F67 #msc:22D05 #msc:43A07 #msc:53C30 #msc:57S30
6. The backreaction of anti-D3 branes on the Klebanov-Strassler geometry
   2011/06/30 by Iosif Bena, Gregory Giecold, Mariana Graña +2 · 4 citations
   Mathematics · Physics and Astronomy · #Black Holes and Theoretical Physics #Brane cosmology #Combinatorics #Cosmology and Gravitation Theories #Field (mathematics) #Geometry #Homogeneous space #Mathematical physics #Mathematics #Modulo #Nonlinear Waves and Solitons #Physics #Pure mathematics #Singularity #Space (punctuation) #Theoretical physics #hep-th
7. Flat currents modulo p in metric spaces and filling radius inequalities
   2011/06/01 by Luigi Ambrosio, Mikhail G. Katz · 1 citation
   Mathematics · Computer Science · #Geometric Analysis and Curvature Flows #Geometric and Algebraic Topology #Topological and Geometric Data Analysis #Isoperimetric inequality #Mathematics #Modulo #Inequality #Isoperimetric dimension #RADIUS #Pure mathematics #Class (philosophy) #Metric space #Metric (unit) #Mathematical analysis #Discrete mathematics #Computer science
8. E7, Wirtinger inequalities, Cayley 4-form, and homotopy
   2008/12/18 by Victor Bangert, Mikhail G. Katz, Steven Shnider +1 · 2 citations
   Mathematics · #Geometry and complex manifolds #Geometric Analysis and Curvature Flows #Homotopy and Cohomology in Algebraic Topology #Mathematics #Homotopy #Pullback #Betti number #Holonomy #Pure mathematics #Manifold (fluid mechanics) #Modulo #Type (biology) #Generalization #Mathematical analysis #Combinatorics
9. Black holes and large N species solution to the hierarchy problem
   2007/06/14 by Gia Dvali, G. Dvali · 71 citations
   Physics and Astronomy · #Black Holes and Theoretical Physics #Black hole (networking) #Cosmology and Gravitation Theories #Hierarchy #Hierarchy problem #Limit (mathematics) #Modulo #Noncommutative and Quantum Gravity Theories #Planck #Planck mass #Quantum #hep-th
10. The Hunter–Saxton equation describes the geodesic flow on a sphere
    2007/05/19 by Jonatan Lenells · 1 citation
    Mathematics · Physics and Astronomy · #Black Holes and Theoretical Physics #Combinatorics #Constant curvature #Curvature #Exponential map (Riemannian geometry) #Geodesic #Geodesic map #Geometry #Geometry and complex manifolds #Invariant (physics) #Manifold (fluid mechanics) #Mathematical analysis #Mathematical physics #Mathematics #Modulo #Nonlinear Waves and Solitons #Pure mathematics #Quotient #Riemannian geometry #Riemannian manifold #Scalar curvature #Sectional curvature #Solving the geodesic equations #Unit sphere
11. A SURVEY OF FACTORIZATION COUNTING FUNCTIONS
    2005/12/01 by Arnold Knopfmacher, Michael Mays · 2 citations
    Mathematics · #Advanced Mathematical Identities #Analytic Number Theory Research #Advanced Combinatorial Mathematics #Mathematics #Product (mathematics) #Factorization #Modulo #Prime (order theory) #Integer (computer science) #Discrete mathematics #Combinatorics #Field (mathematics) #Pure mathematics #Computer science #Algorithm
12. Concurrency and automata on infinite sequences
    2005/11/22 by David Park · 7 citations
    Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #Algebra over a field #Arithmetic #Automaton #Class (philosophy) #Computer science #Concurrency #DNA and Biological Computing #Discrete mathematics #Logic, programming, and type systems #Mathematics #Modulo #Notation #Programming language #Pure mathematics #Recursion (computer science) #Theoretical computer science #semigroups and automata theory
13. Zero cycles on homogeneous varieties
    2005/01/24 by Daniel Krashen, Krashen, Daniel · 2 citations
    Computer Science · Mathematics · Physics and Astronomy · #14M15 #16K20 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic number #Algebraic variety #Combinatorics #Discrete mathematics #Equivalence (formal languages) #FOS: Mathematics #Homogeneous #Mathematical analysis #Mathematics #Modulo #Nonlinear Waves and Solitons #Polynomial and algebraic computation #Projective variety #Pure mathematics #Rings and Algebras (math.RA) #Variety (cybernetics) #Zero (linguistics) #math.AG #math.RA #msc:14M15 #msc:16K20
14. View-obstruction: a shorter proof for 6 lonely runners
    2004/09/14 by Jérôme Renault · 8 citations
    Computer Science · Mathematics · #Algorithms and Data Compression #Combinatorial proof #Combinatorics #Computer science #Congruence (geometry) #Conjecture #Discrete mathematics #Elementary proof #Geometry #Graph Labeling and Dimension Problems #Integer (computer science) #Limits and Structures in Graph Theory #Mathematical proof #Mathematics #Modulo #Number theory #Set (abstract data type) #Simple (philosophy)
15. Stabilizer states and Clifford operations for systems of arbitrary dimensions and modular arithmetic
    2004/08/31 by Erik Hostens, Jeroen Dehaene, Bart De Moor · 1 voice · 12 citations
    Computer Science · Engineering · Mathematics · Physics and Astronomy · #Abelian group #Algebra over a field #Algorithm #Arithmetic #Clifford algebra #Computer science #Cryptography #Cyclic group #Dimension (graph theory) #Discrete mathematics #Engineering #Group (periodic table) #Mathematical physics #Mathematics #Modular arithmetic #Modular design #Modular group #Modulo #Pauli matrices #Physics #Pure mathematics #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum mechanics #Stabilizer (aeronautics) #quant-ph
16. Deformation Quantization of Poisson Manifolds
    1997/09/29 by Maxim Kontsevich · 79 citations
    Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #Algebra over a field #Algebraic structures and combinatorial models #Associative property #Discrete mathematics #Homotopy and Cohomology in Algebraic Topology #Lie algebra #Mathematics #Modulo #Poisson algebra #Poisson bracket #Poisson distribution #Poisson manifold #Pure mathematics #Quantization (signal processing) #Symplectic geometry #alg-geom #hep-th #math.AG #math.QA #q-alg
17. Star chromatic number
    1988/12/01 by Andrew Vince · 1 citation
    Computer Science · Mathematics · #Graph Labeling and Dimension Problems #Limits and Structures in Graph Theory #Advanced Graph Theory Research #Mathematics #Combinatorics #Chromatic scale #Modulo #Generalization #Graph #Star (game theory) #Discrete mathematics
18. Probabilistic encryption
    1984/04/01 by Shafi Goldwasser, Silvio Micali · 56 citations
    Computer Science · Mathematics · #Adversary #Adversary model #Algorithm #Artificial intelligence #Bounded function #Chaos-based Image/Signal Encryption #Computational complexity theory #Computer science #Computer security #Cryptographic Implementations and Security #Cryptography #Cryptography and Data Security #Discrete mathematics #Encryption #Factorization #Integer factorization #Mathematics #Modulo #Probabilistic logic #Public-key cryptography #Quadratic equation #Theoretical computer science
19. The classification of hamiltonian generalized Petersen graphs
    1983/06/01 by Brian Alspach · 1 citation
    Computer Science · Engineering · Mathematics · #Advanced Graph Theory Research #Combinatorics #Discrete mathematics #Finite Group Theory Research #Graph #Hamiltonian (control theory) #Mathematics #Modulo #Physics #Vertex (graph theory) #graph theory and CDMA systems
20. A probabilistic remark on algebraic program testing
    1978/06/01 by Richard A. DeMillo, Richard A. Demillo, Richard J. Lipton · 5 citations
    Computer Science · Mathematics · #Algorithm #Combinatorics #Computational complexity theory #Computer science #Discrete mathematics #Generalization #Logic, programming, and type systems #Mathematics #Modular arithmetic #Modulo #Monomial #Multiplication (music) #Polynomial #Probabilistic analysis of algorithms #Probabilistic logic #Product (mathematics) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Time complexity
21. Existence and Uniqueness of the Minimizing Solution of Choquard's Nonlinear Equation
    1977/10/01 by Élliott H. Lieb, Elliott H. Lieb · 107 citations
    Mathematics · #Applied mathematics #Convex function #Discrete mathematics #Geometric Analysis and Curvature Flows #Geometry #Mathematical analysis #Mathematics #Modulo #Navier-Stokes equation solutions #Nonlinear Partial Differential Equations #Nonlinear system #Physics #Pure mathematics #Quantum mechanics #Regular polygon #Uniqueness
22. The groups of the generalized Petersen graphs
    1971/09/01 by Roberto Frucht, Jack E. Graver, Mark E. Watkins · 1 citation
    Computer Science · Engineering · Mathematics · #Advanced Graph Theory Research #Combinatorics #Coxeter group #Discrete mathematics #Finite Group Theory Research #Graph #Line graph #Mathematics #Modulo #Petersen graph #Vertex (graph theory) #Voltage graph #graph theory and CDMA systems
23. The singular sets of area minimizing rectifiable currents with codimension one and of area minimizing flat chains modulo two with arbitrary codimension
    1970/07/01 by Herbert Fédérer · 2 citations
    Mathematics · #Codimension #Combinatorics #Geometric Analysis and Curvature Flows #Mathematical analysis #Mathematics #Modulo #Nonlinear Partial Differential Equations #Point processes and geometric inequalities #Pure mathematics
24. Cohomologie modulo 2 des complexes d’Eilenberg-MacLane
    1953/12/01 by Jean-Pierre Serre · 9 citations
    Chemistry · Mathematics · #Cohomology #Discrete mathematics #History and advancements in chemistry #Mathematics #Modulo #Pure mathematics
25. On Maximally Central Algebras
    1951/02/01 by Gorô Azumaya · 5 citations
    Mathematics · Chemistry · #Rings, Modules, and Algebras #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Mathematics #Center (category theory) #Modulo #Rank (graph theory) #Division algebra #Pure mathematics #Algebra over a field #Combinatorics #Algebra representation #Chemistry
26. Binomial Coefficients Modulo a Prime
    1947/12/01 by N. J. Fine · 22 citations
    Computer Science · Mathematics · Physics and Astronomy · #Advanced Mathematical Theories and Applications #Arithmetic #Binomial coefficient #Combinatorics #History and Theory of Mathematics #Mathematics #Modulo #Numerical Methods and Algorithms #Prime (order theory)