A NOTE ON ARITHMETIC IN FINITE TYPES BENNO VAN DEN BERG1 Abstract. We show that one can a notion of equality at higher types inside the system called HAω on page 46 of [8] for which all congruence laws are derivable. Th

Source URL: staff.fnwi.uva.nl

A Distribution Law for CCS and a New Congruence Result for the π-Calculus Daniel Hirschkoff and Damien Pous LIP – ENS Lyon, CNRS, INRIA, UCBL, France Abstract. We give an axiomatisation of strong bisimilarity on a s

Source URL: perso.ens-lyon.fr

FUNDAMENTAL DOMAINS FOR CONGRUENCE SUBGROUPS OF SL2 IN POSITIVE CHARACTERISTIC LISA CARBONE, LEIGH COBBS AND SCOTT H. MURRAY Abstract. Morgenstern ([Mor95]) claimed to have constructed fundamental domains for congruence

Source URL: www.maths.usyd.edu.au

Sage Reference Manual: Modular Symbols Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Mathematical software
• Hecke operator
• Congruence subgroup
• Sage
• Von Neumann algebra
• Modular forms
• Mathematical analysis
• Mathematics

Modular Hecke Algebras and their Hopf Symmetry Alain Connes Coll`ege de France 3 rue d’UlmParis, France

Source URL: www.alainconnes.org

• Mathematics
• Group theory
• Representation theory
• Analytic number theory
• Projective geometry
• Hecke operator
• Congruence subgroup
• Double coset
• Schwarzian derivative
• Abstract algebra
• Mathematical analysis
• Modular forms

POHOZAEV IDENTITIES FOR ANISOTROPIC INTEGRO-DIFFERENTIAL OPERATORS XAVIER ROS-OTON, JOAQUIM SERRA, AND ENRICO VALDINOCI Abstract. We establish Pohozaev identities and integration by parts type formulas for anisotropic in

Source URL: www.ma.utexas.edu

• Partial differential equations
• Connection
• Mathematics
• Congruence lattice problem
• Symbol
• Constructible universe
• Sobolev spaces

REGULARITY THEORY FOR GENERAL STABLE OPERATORS XAVIER ROS-OTON AND JOAQUIM SERRA Abstract. We establish sharp regularity estimates for solutions to Lu = f in Ω ⊂ Rn , being L the generator of any stable and symmetric

Source URL: www.ma.utexas.edu

• Constructible universe
• Symbol
• Differential operator
• Central limit theorem
• Operator theory
• Ordinary differential equations
• Spectral theory
• Sturm–Liouville theory
• Congruence lattice problem
• Mathematical analysis
• Calculus
• Mathematics

BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Logic in computer science
• Operational semantics
• BRIC
• Peter Mosses
• Gordon Plotkin
• Congruence relation
• Theoretical computer science
• Mathematics
• Formal methods

P R O D U C T D ATA S H E E T Lattice Prospect Discovery “Access to holistic intent data may indicate early buying signals before the buyer even knows

Source URL: www.lattice-engines.com

• Lattice points
• Analytic geometry
• Lattice
• Eloqua
• Lattice models
• Congruence lattice problem
• Reciprocal lattice
• Abstract algebra
• Group theory
• Algebra

LOCAL INTEGRATION BY PARTS AND POHOZAEV IDENTITIES FOR HIGHER ORDER FRACTIONAL LAPLACIANS XAVIER ROS-OTON AND JOAQUIM SERRA Abstract. We establish an integration by parts formula in bounded domains for the higher order f

Source URL: www.ma.utexas.edu

• Fourier analysis
• Harmonic functions
• Partial differential equations
• Constructible universe
• Laplace operator
• Sheaf
• Congruence lattice problem
• Sobolev space
• Mathematical analysis
• Calculus
• Mathematics