A  Family  of  Provably  Correct  Algorithms   for  Exact  Triangle  Coun;ng       Ma=hew  Lee,  Tze  Meng  Low   Correctness  2017    

Source URL: correctness-workshop.github.io

Theoretical Computer Science–40 www.elsevier.com/locate/tcs Presorting algorithms: An average-case point of view

Source URL: precision.moscito.org

• Sorting algorithms
• Order theory
• Mathematics
• Combinatorics
• Quicksort
• Shellsort
• Insertion sort
• Merge sort
• Adaptive sort
• Factorial
• Time complexity
• Heapsort

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

Source URL: www.cs.ox.ac.uk

• Computer arithmetic
• Arithmetic
• Computing
• Binary arithmetic
• Theory of computation
• Data types
• IEEE standards
• Decimal64 floating-point format
• IEEE 754
• Double-precision floating-point format
• cole normale suprieure de Lyon
• Algorithm

Theory and Techniques for Synthesizing a Family of Graph Algorithms Srinivas Nedunuri William R. Cook

Source URL: www.kestrel.edu

• Edsger W. Dijkstra
• Network theory
• Shortest path problem
• Constructible universe
• Total least squares

Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science

Source URL: pdfs.semanticscholar.org

• Genetic algorithms
• Evolutionary algorithms
• Artificial intelligence
• Applied mathematics
• Cybernetics
• Mathematical optimization
• Mathematics
• Genetic programming
• Algorithm
• Crossover

A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin

Source URL: www.kestrel.edu

• Mathematics
• Combinatorics
• Combinatorial optimization
• Greedoid
• Order theory
• Matroid theory
• Matroid
• Universal property
• Greedy algorithm

Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France

Source URL: smt2014.it.uu.se

• Mathematics
• Computer arithmetic
• Real number
• Floating-point arithmetic
• Arbitrary-precision arithmetic
• Algorithm
• Interval
• Complex number

Algorithms for and against the Cloud Roger Wattenhofer

Source URL: www.tik.ee.ethz.ch

Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Automated theorem proving
• Algebra
• Logic in computer science
• Algebraic structures
• Semiring
• Boolean satisfiability problem
• DPLL algorithm
• Unit propagation
• Maximum satisfiability problem
• Resolution

Introduction Applications SMT Solver Use Algorithms Conclusion

Source URL: user.it.uu.se

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematics
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Formal verification
• Model checking
• SMT