LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

Source URL: smt-workshop.cs.uiowa.edu

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Polynomial
• Irreducible polynomial
• Factorization of polynomials
• Resultant
• Algebraic geometry
• Factorization
• Polynomial greatest common divisor
• Permutation polynomial

Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

Source URL: dream.inf.ed.ac.uk

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional programming
• Data types
• Abstract data types
• Functional languages
• Append
• ACL2
• Cons
• Nqthm

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition,

Source URL: arxiv.org

• Cryptography
• Algebra
• Mathematics
• Linear algebra
• Computational number theory
• Lattice points
• Lattice-based cryptography
• Post-quantum cryptography
• LenstraLenstraLovsz lattice basis reduction algorithm
• Lattice reduction
• Lattice
• GramSchmidt process

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

Source URL: www.logic.at

• Mathematical logic
• Logic
• Mathematics
• Axioms of set theory
• 1Q
• Axiom

Rise of the HaCRS:Augmenting Autonomous Cyber Reasoning Systems with Human Assistance

Source URL: acmccs.github.io

• Software testing
• Computer security
• Cybercrime
• Security
• Computing
• National security
• Hacking
• Fuzzing
• Artificial intelligence
• Human-based computation
• Vulnerability
• Cyber Grand Challenge

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional programming
• Logic in computer science
• Functional languages
• Formal methods
• Type theory
• Monad
• F*
• Predicate transformer semantics
• Haskell

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Source URL: uclmr.github.io

• SUMIT
• Spreadsheet
• Computing
• Framework
• Symposium on Principles of Programming Languages
• Computer science
• Electrical engineering

Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems

Source URL: dream.inf.ed.ac.uk

• Abstract data types
• Queue
• Double-ended queue
• Dequeue
• Statistical theory
• Probability and statistics
• Economy