Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

Source URL: www.olejohandahl.info

• Software engineering
• Computer programming
• Declarative programming
• Type theory
• Data types
• Functional programming
• Higher-order functions
• Object-oriented programming
• Subtyping
• Fold
• Map
• Function

Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of Informatics

Source URL: folk.uio.no

• Computer programming
• Software engineering
• Mathematics
• Recursion
• Programming idioms
• Computability theory
• Functions and mappings
• Subroutines
• Monad
• Primitive recursive function
• Function
• Subtyping

Computing Isogenies Between Abelian Varieties David Lubicz1,2 , Damien Robert3 1 CÉLAR, BP 7419, FBruz 2 IRMAR, Universté de Rennes 1, Campus de Beaulieu, FRennes

Source URL: www.normalesup.org

• Group theory
• Abelian varieties
• Niels Henrik Abel
• Lie groups
• Analytic number theory
• Elliptic curve
• Dual abelian variety
• Weil pairing
• Amenable group
• Theta function
• Isogeny
• Heisenberg group

THE BRAUER-MANIN OBSTRUCTION FOR SUBVARIETIES OF ABELIAN VARIETIES OVER FUNCTION FIELDS ´ FELIPE VOLOCH BJORN POONEN AND JOSE Abstract. We prove that for a large class of subvarieties of abelian varieties over global fu

Source URL: www.ma.utexas.edu

• Niels Henrik Abel
• Analytic number theory
• Ring theory
• Algebraic geometry
• Algebraic structures
• Free abelian group
• Profinite group
• Abelian group
• Abelian variety
• Field extension
• Algebraic number field
• Elliptic curve

23 Documenta Math. The Abel–Jacobi Map for a Cubic Threefold and Periods of Fano Threefolds of Degree 14

Source URL: documenta.sagemath.org

• Algebraic surfaces
• Algebraic curves
• Moduli theory
• Algebraic varieties
• Birational geometry
• Abelian variety
• Moduli space
• Divisor
• Quintic function
• Fano surface
• Ample line bundle
• Elliptic curve

WRITING AND USING THE COMPUTER MOUSE Dr. Julio Abel Segalle Three aspects in mice shape and function are fundamental and should be taken into account in their design, when aiming for the protection of the human hand from

Source URL: www.orthovia.com.br

CCCG 2009, Vancouver, BC, August 17–19, 2009 Every Large Point Set contains Many Collinear Points or an Empty Pentagon Zachary Abel∗ Ferran Hurtadok

Source URL: cccg.ca

• Convex analysis
• Convex geometry
• Euclidean plane geometry
• Discrete geometry
• Computational geometry
• Convex hull
• Convex set
• Sylvester–Gallai theorem
• Convex function
• Geometry
• Mathematics
• Mathematical optimization

Structural Recursion over Contextual Objects Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel School of Computer Science

Source URL: www2.tcs.ifi.lmu.de

• Functions and mappings
• Model theory
• Formal languages
• Metalogic
• Computability theory
• Symbol
• Interpretation
• Primitive recursive function
• Substitution
• Logic
• Mathematics
• Mathematical logic

Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel

Source URL: www2.tcs.ifi.lmu.de

• Functions and mappings
• Computability theory
• Primitive recursive function
• Recursion
• Theory of computation
• Interpretation
• Function
• Substitution
• Μ operator
• Mathematics
• Mathematical logic
• Logic

arXiv:0710.5799v2 [math.NT] 10 DecCONFIGURATIONS OF RANK-40r EXTREMAL EVEN UNIMODULAR LATTICES (r = 1, 2, 3) SCOTT DUKE KOMINERS AND ZACHARY ABEL Abstract. We show that if L is an extremal even unimodular lattice

Source URL: zacharyabel.com

• Lie groups
• Quadratic forms
• Lattice points
• Analytic number theory
• Unimodular lattice
• Lattice
• Modular form
• Unimodular
• Quintic function
• Algebra
• Abstract algebra
• Mathematics