Triviality - PDFSEARCH.IO - Document Search Engine

Triviality
Results: 11

#	Item
1	Daniel Turetsky* (), Kurt G¨odel Research Center, W¨ahringer Strasse 25, 1090 Wien, Austria. SJT as an analog of K-triviality. SJT is a natural ideal strictly contained within the ideal o Add to Reading List Source URL: jointmathematicsmeetings.org - Date: 2013-09-18 02:34:48
2	A Unified Characterization of Completeness and Triviality for Secure Function Evaluation Hemanta K. Maji ∗ Add to Reading List Source URL: mmp.cs.illinois.edu Language: English - Date: 2013-03-01 11:48:55
3	TRIVIALITY AND SPLIT OF VECTOR BUNDLES ON RATIONALLY CONNECTED VARIETIES XUANYU PAN Abstract. In this paper, we use the existence of a family of rational curves on a separably connected variety, which satisfies the Lefsc Add to Reading List Source URL: www.cims.nyu.edu - Date: 2014-05-05 15:38:38
4	Algorithmic unsolvability of the triviality problem for multidimensional knots. Nabutovsky, A.; Weinberger, Sh. ppTerms and Conditions Add to Reading List Source URL: math.uchicago.edu - Date: 2005-02-22 11:31:56
5	arXiv:math.CVv1 22 NovTopological Triviality of Families of Singular Surfaces R. Callejas-Bedregal∗, K. Houston† and M. A. S. Ruas‡ Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-20 07:29:54 Algebraic geometry Sheaf Germ Milnor number Ample line bundle CohenMacaulay ring
6	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-04-09 17:09:07 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Rippling IsaPlanner Mathematical proof Resolution Unification Mathematical induction Triviality
7	Impossible worlds, triviality, and duality Jens Christian Bjerring Aarhus University Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-06-04 10:47:06
8	The meaning of substantial change and triviality for PPC Part B activities Add to Reading List Source URL: www.sepa.org.uk Language: English - Date: 2014-11-05 10:03:32 Environmental impact assessment Impact assessment Sustainable development Technology assessment Single Euro Payments Area Waste United States Environmental Protection Agency Scottish Environment Protection Agency Environment Earth Environmental design
9	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-01-06 12:00:11 Mathematical logic Austrian nobility Hungarian nobility John von Neumann Mathematician Triviality Mathematical proof Theorem Mathematics Logic Science
10	PDF Document Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-21 08:32:16 Rules of inference Mathematical proofs Contraposition Theorem Converse Triviality Calculus Function Proof by contrapositive Mathematics Logic Mathematical logic

UPDATE