Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
381	Вниманию руководителей предприятий РЕМОНТНОЕ ПРОИЗВОДСТВО В 2 РАЗА БЫСТРЕЕ? ЭТО РЕАЛЬНО! Современный рынок услуг по ре Add to Reading List Source URL: www.solver.ru Language: Russian - Date: 2011-01-19 03:44:15
382	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics
383	<CAE0F2E0EBEEE35F50726F455F7631365FC0345F30315F49544F4720E4EBFF20F1E0E9F2E02E717870> Add to Reading List Source URL: www.solver.ru Language: Russian - Date: 2013-07-15 06:32:49
384	<CAE0F2E0EBEEE35F50726F455F7631365FC0345F30315F49544F4720E4EBFF20F1E0E9F2E02E717870> Add to Reading List Source URL: www.solver.ru Language: Russian - Date: 2013-07-15 06:33:13
385	Automatic Domain Decomposition for a Black-Box PDE Solver Torsten Adolph and Willi Sch¨ onauer Institute for Scientific Computing, Forschungszentrum Karlsruhe, Hermann-von-Helmholtz-Platz 1, 76344 Eggenstein-Leopoldshaf Add to Reading List Source URL: www.scc.kit.edu Language: English - Date: 2007-08-13 05:39:25 Mathematics Computational fluid dynamics Domain decomposition methods Multivariable calculus Partial differential equation Meshfree methods HP Calculus Mathematical analysis Numerical analysis
386	Proceedings of ITC/ISHW2007 SIESTA: an Scalable Island Equilibrium Solver for Toroidal Applications∗ R. Sanchez, S.P. Hirshman and V.E. Lynch Fusion Energy Division Add to Reading List Source URL: www.nifs.ac.jp Language: English - Date: 2013-09-30 21:26:58 Numerical software Numerical analysis Applied mathematics Fusion reactors Preconditioner Iterative method Fusion power Stellarator Solver Mathematics Numerical linear algebra Theoretical computer science
387	GPU Implementation of a Krylov solver Preconditioned by a Shifted Laplace Multigrid Hans Knibbe∗ , Kees Vuik∗ , Kees Oosterlee# Presented by Kees Lemmens∗ ∗ Add to Reading List Source URL: ta.twi.tudelft.nl Language: English - Date: 2012-05-24 16:34:18 Numerical analysis Wavelets Preconditioner Mathematical analysis San Jose California Geography of California Numerical linear algebra Mathematics Multigrid method
388	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
389	UMISM University of Maine Ice Sheet Model The University of Maine Ice Sheet Model has expanded from the original mass and momentum ICE DYNAMICS solver which Add to Reading List Source URL: cci.siteturbine.com Language: English - Date: 2011-09-19 11:15:18 Water ice Ice sheet Glacier Ice Geomorphology Antarctica Greenland ice sheet Cryosphere Glaciology Physical geography Earth
390	An adaptive fast direct solver for boundary integral equations in two dimensions Add to Reading List Source URL: www.math.ucdavis.edu Language: English - Date: 2015-01-03 20:56:01 Matrix theory Numerical linear algebra Functional analysis Singular value decomposition Matrix Matrices Euclidean algorithm Orthogonal matrix Algebra Linear algebra Mathematics

UPDATE