An improved compression technique for signatures based on learning with errors Shi Bai and Steven D. Galbraith Department of Mathematics, University of Auckland, New Zealand.

Source URL: eprint.iacr.org

• Cryptography
• Post-quantum cryptography
• Lattice-based cryptography
• Computational hardness assumptions
• Ring learning with errors
• Learning with errors
• Digital signature
• Hash function
• Multivariate random variable
• Normal distribution
• RSA
• Entropy

Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz

Source URL: alloytools.org

• Wombat
• Mongoose

HIGH DIMENSIONAL EXPANDERS ALEXANDER LUBOTZKY Abstract. Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence an

Source URL: eta.impa.br

• Algebra
• Mathematics
• Spectral theory
• Geometric group theory
• Topological groups
• Algebraic topology
• Expander graph
• Kazhdan's property
• Ramanujan graph
• Simplicial complex
• Cohomology
• Spectrum

Could SFLASH be repaired ? Jintai Ding1 , Bo-Yin Yang2,4 , Chen-Mou Cheng3 , Owen Chen4 , and Vivien Dubois5 1 Dept. of Mathematics and Computer Sciences, University of Cincinnati 2

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Polynomials
• Multivariate cryptography
• Multivariable calculus
• Linear algebra
• Matrices
• Function of several real variables
• Symmetry in mathematics
• Symmetric polynomial
• Trace
• Antisymmetric

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: mirror.clarkson.edu

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXROOT OPTIMIZATION OF POLYNOMIALS IN THE NUMBER FIELD SIEVE

Source URL: cosweb1.fau.edu

• Mathematics
• Algebra
• Abstract algebra
• Polynomials
• Integer factorization algorithms
• Commutative algebra
• Modular arithmetic
• General number field sieve
• Quadratic sieve
• Irreducible polynomial
• Polynomial
• Factorization

I·Math Institute of Mathematics Graph complexes Thomas Willwacher

Source URL: people.math.ethz.ch

• Mathematics
• Graph theory
• Abstract algebra
• Algebra
• Homology theory
• Homology
• Isomorphism
• Chain complex
• Degree
• Graph

Authoring Online Open Textbooks with MathBook XML II International Conference on Mathematics Textbooks Rob Beezer1

Source URL: buzzard.pugetsound.edu

A BOOTSTRAP INTERVAL ESTIMATOR FOR BAYES’ CLASSIFICATION ERROR Chad M. Hawes and Carey E. Priebe Johns Hopkins University Department of Applied Mathematics and Statistics Baltimore, MDABSTRACT

Source URL: www.ams.jhu.edu