A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´

Source URL: mebsout.github.io

• Mathematics
• Algebra
• Theoretical computer science
• Logic in computer science
• Satisfiability modulo theories
• Alt-Ergo
• Modular arithmetic
• Ring
• Rewriting
• Linear programming
• First-order logic
• Interval arithmetic

ON PRIME FANO VARIETIES OF DEGREE 10 AND COINDEX 3 OLIVIER DEBARRE Abstract. According to Gushel and Mukai, most Fano varieties of degree 10, dimension n, and coindex 3 (index n−2) are obtained as linear sections of th

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Geometry
• Algebraic geometry
• Hodge theory
• Birational geometry
• Cohomology
• Hodge structure
• Fano variety
• Projective variety
• Sheaf

Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University

Source URL: csl.sri.com

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Computer algebra
• Polynomial
• Factorization of polynomials
• Constraint programming
• Resultant
• Constraint logic programming
• Polynomial ring

Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPs

Source URL: platformlab.stanford.edu

SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• NP-complete problems
• Solver
• Propositional calculus
• AMPL
• Modulo operation

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2526) ON THE STRUCTURE OF MEASURES CONSTRAINED BY LINEAR PDES Guido De Philippis and Filip Rindler

Source URL: eta.impa.br

• Mathematical analysis
• Measure theory
• Operator theory
• Partial differential equations
• Complex analysis
• Bounded variation
• Real analysis
• Differential forms on a Riemann surface
• NeumannPoincar operator

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

Source URL: perso.ens-lyon.fr

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

Source URL: www.icl.utk.edu

• Concurrent computing
• Computing
• Computer programming
• Parallel computing
• Numerical linear algebra
• Numerical software
• Application programming interfaces
• Fortran
• OpenACC
• Math Kernel Library
• OpenMP
• ScaLAPACK

. (0000) “Polynomial functors from algebras over a set-operad and non-linear Mackey functors,” International Mathematics Research Notices, Vol. 0000, Article ID rnn000, 54 pages. doi:imrn/rnn000 Polynomial fu

Source URL: irma.math.unistra.fr

• Algebra
• Mathematics
• Category theory
• Functors
• Adjoint functors
• Equivalence
• Homological algebra
• Sheaf
• Operad theory
• Natural transformation
• Isomorphism of categories
• Additive category