<--- Back to Details
First PageDocument Content
Theoretical computer science / Operations research / Numerical linear algebra / Trilinos / Solver / Preconditioner / Mortar methods / Mathematical optimization / Nl / Numerical analysis / Numerical software / Mathematical software
Date: 2013-11-22 15:21:11
Theoretical computer science
Operations research
Numerical linear algebra
Trilinos
Solver
Preconditioner
Mortar methods
Mathematical optimization
Nl
Numerical analysis
Numerical software
Mathematical software

TrilinosTutorialTug2009.pptx

Add to Reading List

Source URL: www.sandia.gov

Download Document from Source Website

File Size: 4,00 MB

Share Document on Facebook

Similar Documents

Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

DocID: 1xW38 - View Document

Mathematical logic / Type theory / Computability theory / Lambda calculus / Theoretical computer science / Model theory / Higher-order logic / Constructible universe / Mathematics

Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

DocID: 1xVzf - View Document

Proof assistants / Theoretical computer science / Logic in computer science / Mathematical logic / Isabelle / Logic for Computable Functions / Mathematics / Resolution / Constructible universe / Theorem prover / LCF / Formal methods

Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

DocID: 1xVu1 - View Document

Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Boolean satisfiability problem / Solver / Maximum satisfiability problem

The Barcelogic SMT Solver (Tool Paper)? Miquel Bofill† , Robert Nieuwenhuis? , Albert Oliveras? , Enric Rodr´ıguez-Carbonell? and Albert Rubio? †

DocID: 1xVrM - View Document

Software engineering / Computing / Computer programming / Cross-platform software / High-level programming languages / Abstract interpretation / Computer science / Symbolic execution / D / Pure / Concolic testing

Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution

DocID: 1xV4A - View Document