571 Documenta Math. A Generalization of Mumford’s Geometric Invariant Theory

Source URL: www.math.uiuc.edu

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Weight
• Morphism of algebraic varieties
• Geometric quotient
• Divisor
• Geometric invariant theory
• Algebraic space
• Algebraic variety
• Sheaf

513 Documenta Math. Around the Abhyankar–Sathaye Conjecture To A. Merkurjev on his 60th birthday

Source URL: www.math.uiuc.edu

• Algebra
• Abstract algebra
• Mathematics
• Ring theory
• Algebraic groups
• Algebraic geometry
• Invariant theory
• Matrix theory
• Unipotent
• Linear algebraic group
• Morphism of algebraic varieties
• Affine variety

Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK

Source URL: www.macs.hw.ac.uk

• Software engineering
• Formal methods
• Theoretical computer science
• Automated theorem proving
• Computing
• Loop invariant
• Mathematical proof
• Rippling
• Extended static checking
• Recurrence relation
• Automated reasoning
• Invariant

Translation invariant extensions of finite volume measures S. Goldstein∗, T. Kuna†, J. L. Lebowitz∗, ‡ and E. R. Speer∗ July 7, 2016 Dedicated to David Ruelle and Yasha Sinai on the occasion of their eightieth

Source URL: math.rutgers.edu

• Mathematical analysis
• Mathematics
• Physics
• Measure theory
• Entropy
• Thermodynamic entropy
• Support
• Lattice
• Markov chain
• Measure

825 Documenta Math. The Global Structure of Moduli Spaces of Polarized p-Divisible Groups

Source URL: documenta.sagemath.org

• Algebra
• Mathematics
• Abstract algebra
• Algebraic geometry
• Invariant theory
• Functions and mappings
• Moduli space
• Moduli theory
• Linear map
• Finite morphism

Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK .

Source URL: www.macs.hw.ac.uk

• Formal methods
• Software engineering
• Loop invariant
• Theoretical computer science
• Invariant

591 Documenta Math. Calculation of Rozansky-Witten Invariants on the Hilbert Schemes of Points on a K3 Surface

Source URL: www.math.uiuc.edu

• Graph
• Graph theory
• Representation theory
• Two-graph
• Semi-invariant of a quiver

Conservation Laws and Invariant Measures in Surjective Cellular Automata Jarkko Kari1† and Siamak Taati2‡ 1 2

Source URL: www.staff.science.uu.nl

• Mathematics
• Mathematical analysis
• Markov processes
• Functional analysis
• Combinatorics on words
• Smooth functions
• Dynamical system
• Distribution
• Valuation
• Reversible cellular automaton
• Subshift of finite type
• Cellular automaton

Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712

Source URL: www.mpi-sws.org

• Electronic engineering
• Electronic design automation
• Design
• Formal methods
• Electronics
• Electronic design
• Formal equivalence checking
• Formal verification
• High-level synthesis
• Integrated circuit design
• Register-transfer level
• Invariant

We explore statistical commonalities among granular measures of market liquidity with the goal of illuminating systemwide patterns in aggregate liquidity. We calculate daily invariant price impacts described by Kyle and

Source URL: mmds-data.org