Theory-theory - PDFSEARCH.IO - Document Search Engine

Theory-theory
Results: 155664

#	Item
21	FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2011-10-25 03:50:08 Abstract algebra Algebra Mathematics Algebraic topology Algebraic geometry Category theory Sheaf Nerve Fundamental group Universal property Homological algebra Algebraic geometry and analytic geometry
22	Formale Systeme II: Theorie Axiomatic Set Theory SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-23 11:12:15 Mathematical logic Set theory Logic Z notation S Naive set theory Constructible universe Mereology
23	Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-03 13:27:17 Lambda calculus Theoretical computer science Mathematical logic Declarative programming Adjoint functors Anonymous function Type theory Lambda lifting
24	Curved Koszul Duality for Algebras over Unital Operads Najib Idrissi∗ April 30, 2018 We develop a curved Koszul duality theory for algebras presented by Add to Reading List Source URL: idrissi.eu Language: English - Date: 2018-10-19 04:32:45 Algebra Abstract algebra Mathematics Algebras Category theory Koszul duality Homological algebra Operad theory Algebraic topology Algebra over a field Coalgebra Associative algebra
25	29. First test comparing Stryd and Garmin Running Power In our books The Secret Of Running (www.thesecretofrunning.com) and The Secret Of Cycling (www.thesecretofcycling.com) we have described our unified theory for the Add to Reading List Source URL: thesecretofrunning.com Language: English - Date: 2017-12-27 05:46:13 Electronics GPS navigation devices Garmin Technology Cycling power meter Geographic data and information
26	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–854) HODGE THEORY AND CYCLE THEORY OF LOCALLY SYMMETRIC SPACES Nicolas Bergeron Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Geometry Mathematics Algebra Differential geometry Algebraic geometry Riemannian geometry Lie groups Hodge theory Khler manifold Symmetric space Hodge structure Holonomy
27	Grivaux, Julien Infinitesimal deformations of rational surface automorphisms. (English) Zbl Math. Z. 288, No. 3-4, ). The basic problem of deformation theory in algebraic geometry involves wa Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-08-12 06:39:41 Abstract algebra Algebra Birational geometry Algebraic surfaces Moduli theory Differential geometers Zbl Deformation theory Moduli of algebraic curves Cremona group Masatake Kuranishi EnriquesKodaira classification
28	Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation Conclusions Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-03-15 18:34:02 Mathematical logic Logic Boolean algebra Mathematics Complexity classes True quantified Boolean formula Predicate logic FO PSPACE-complete Boolean Propositional calculus Model theory
29	Group Henzinger Software Systems Theory Systems Biology Group members Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2015-11-25 13:48:37 Concurrent computing Communication Concurrency Edsger W. Dijkstra Synchronization Gene regulatory network Preemption Thread Metaphysics Systems science Computing
30	Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic in computer science Formal methods Logic programming Propositional calculus Resolution Unification Satisfiability modulo theories Literal

UPDATE