Counterexample - PDFSEARCH.IO - Document Search Engine

Counterexample
Results: 85

#	Item
51	Strichartz Estimates Counterexample to Strichartz Applications of B-S-S Strichartz Estimates for the Wave Equation on Compact Manifolds with Boundary Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2009-01-28 20:49:56 Geometric topology Riemannian manifold Manifold Topological manifold Topology Differential topology Differential geometry
52	CCCG 2008, Montr´eal, Qu´ebec, August 13–15, 2008 Direct Planar Tree Transformation and Counterexample Selim G Akl, Kamrul Islam, and Henk Meijer School of Computing, Queen’s University Kingston, Ontario, Canada K Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-29 00:04:12 Planar graphs Tree Pseudotriangle Graph Delaunay triangulation Petersen graph Planarity testing Graph theory Mathematics Triangulation
53	Memory & Cognition 2003, 31 (7), Counterexamples in sentential reasoning P. N. JOHNSON-LAIRD and URI HASSON Princeton University, Princeton, New Jersey Add to Reading List Source URL: www.behaviometrix.com Language: English - Date: 2008-10-24 13:52:28 Reasoning Deduction Thought Mental model Inference Argument Counterexample Entailment Validity Logic Arguments Logical consequence
54	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic
55	Young Children’s Ideas about A toddler, after some experimentation, puts a square peg into a square hole. What does she know about shapes? Add to Reading List Source URL: gse.buffalo.edu Language: English - Date: 2003-10-06 10:07:54 Triangle Area Counterexample Parallelogram Square Shape Mathematical manipulative Van Hiele model Geometry Quadrilaterals Rectangle
56	Verifying Self-adaptive Applications Suffering Uncertainty Wenhua Yang§†, Chang Xu§†∗, Yepang Liu‡, Chun Cao§†, Xiaoxing Ma§†, Jian Lu§† § State Key Lab for Novel Soft. Tech., Nanjing University, Nanj Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English - Date: 2014-09-24 07:11:04 Mathematics Science Knowledge Control theory Cybernetics Counterexample
57	Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description)∗ Jasmin Christian Blanchette Technische Universität München Garching, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-10-25 11:45:35 Mathematical logic Model theory Formal languages Formal methods Logical syntax Structure Isabelle Logic programming Automated theorem proving Mathematics Logic Metalogic
58	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
59	First-order theorem proving in the exploration of Andrews-Curtis conjecture Alexei Lisitsa The University of Liverpool ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Andrews–Curtis conjecture Nielsen transformation Counterexample Automated theorem proving Conjectures Mathematics Combinatorial group theory
60	Computational Creativity Autumn School Lecture 4 Building an Automated Mathematician Simon Colton Computational Creativity Group Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 13:05:32 Integer sequences Mathematical logic Refactorable number Theorem Conjecture Mathematical proof Number theory Counterexample HR Mathematics Logic Science