Trinomial bases and Chinese remaindering for modular polynomial multiplication ´ Eric Schost1 and Arash Hariri2 1

Source URL: www.csd.uwo.ca

• Mathematics
• Algebra
• Abstract algebra
• Modular arithmetic
• Computer arithmetic
• Arithmetic
• Polynomials
• Multiplication
• Multiplication algorithm
• Chinese remainder theorem
• Montgomery modular multiplication
• Remainder

SPECIAL DIVISORS OF LARGE DIMENSION ON CURVES WITH MANY POINTS OVER FINITE FIELDS J. F. VOLOCH Abstract. We prove a non-existence result for special divisors of large dimension on curves over finite fields with many poin

Source URL: www.ma.utexas.edu

• Algebra
• Abstract algebra
• Algebraic curves
• Divisor
• RiemannRoch theorem
• Ample line bundle
• BrillNoether theory
• Elliptic curve
• Curve
• Finite field
• Modular curve
• Imaginary hyperelliptic curve

PDF Document

Source URL: comp-phys.univie.ac.at

• Dynamical systems
• Mathematical analysis
• Mathematics
• Theoretical physics
• Lyapunov exponent
• Oseledets theorem
• Lyapunov stability
• Chaos theory
• Tangent space
• Lyapunov time
• Lyapunov
• Covariance and contravariance of vectors

Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel

Source URL: www21.in.tum.de

Reading Your Textbook Linear Algebra with Applications, Otto Bretscher, 3rd Ed., Pearson Prentice Hall Linear Algebra, Math 52, Brown University, Spring 2006, Instructor Stange Reading mathematics is an active, not a pas

Source URL: math.colorado.edu

• Mathematics
• Mathematical proofs
• Logical consequence
• Neuropsychology
• Logic
• Theorem
• Linear algebra
• Problem solving
• Equation solving

FLUCTUATION ANALYSIS FOR THE LOSS FROM DEFAULT arXiv:1304.1420v2 [math.PR] 29 May 2013 KONSTANTINOS SPILIOPOULOS, JUSTIN A. SIRIGNANO, AND KAY GIESECKE Abstract. We analyze the fluctuation of the loss from default aroun

Source URL: arxiv.org

• Mathematical analysis
• Mathematics
• Analysis
• Measure theory
• Generalized functions
• Probability distributions
• Stochastic processes
• Central limit theorem
• Normal distribution
• Sigma-algebra
• Distribution
• Cdlg

CrossMark_Color_Stacked_p

Source URL: www.public.asu.edu

• Mathematics
• Applied mathematics
• Logic
• Constraint programming
• Operations research
• Algorithm
• Mathematical logic
• Theoretical computer science
• Simulated annealing
• Local search
• Mathematical optimization
• Compactness theorem

Downloaded By: [Siltanen, S.] At: 08:12 23 AprilCommunications in Partial Differential Equations, 32: 591–610, 2007 Copyright © Taylor & Francis Group, LLC ISSNprintonline DOI:

Source URL: www.siltanen-research.net

• Equation solving
• Equations
• Unification
• Mathematics
• Robot control
• Special functions
• Abstraction
• Creativity
• Banach fixed-point theorem

Jasmin Christian Blanchette AugustPersonal Information

Source URL: people.mpi-inf.mpg.de

• Theoretical computer science
• Automated theorem proving
• Mathematical logic
• Logic in computer science
• Formal methods
• Proof assistants
• Isabelle
• Automated reasoning
• Interactive Theorem Proving
• International Joint Conference on Automated Reasoning
• Association for Automated Reasoning
• International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

118 CHAPTER 2 But (eiθ − eiϕ )(eiθ − e−iϕ )

Source URL: math.caltech.edu

• Mathematical analysis
• Mathematics
• Orthogonal polynomials on the unit circle
• Complex analysis
• Moduli theory
• Operator theory
• Fundamental theorem of algebra
• Z-transform