F-theory - PDFSEARCH.IO - Document Search Engine

F-theory
Results: 2982

#	Item
911	THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I Add to Reading List Source URL: slugmath.ucsc.edu Language: English - Date: 2009-05-04 03:45:03 Lie groups Mathematical structures Group theory Algebraic structures Lattice Building Vector space Principal homogeneous space Basis Abstract algebra Algebra Mathematics
912	ON PRODUCTS OF QUASICONVEX SUBGROUPS IN HYPERBOLIC GROUPS Ashot Minasyan Abstract An interesting question about quasiconvexity in a hyperbolic group concerns finding classes of quasiconvex subsets that are closed under f Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2005-12-14 05:36:11 Convex analysis Mathematical optimization Quasiconvex function Real analysis Hyperbolic geometry Group theory Hyperbolic group Normal subgroup Hyperbolic space Abstract algebra Mathematical analysis Geometry
913	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
914	THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I Add to Reading List Source URL: slugmath.ucsc.edu Language: English - Date: 2009-04-13 11:28:00 Lie groups Algebraic structures Mathematical structures Group theory Lattice Vector space Principal homogeneous space Ideal lattice cryptography Congruence lattice problem Algebra Abstract algebra Mathematics
915	A F T E R W O R D: Our Human Condition "From Space" Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:13:17 Life-wide Learning Alternative education Choice theory Cognitive science
916	THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I Add to Reading List Source URL: slugmath.ucsc.edu Language: English - Date: 2009-04-24 01:35:40 Lie groups Mathematical structures Group theory Algebraic structures Linear algebra Lattice Building Vector space Principal homogeneous space Algebra Abstract algebra Mathematics
917	A SIGNIFICANT PORTION OF THIS TEXT HAS BEEN ADAPTED FROM THE T Y P E D N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H Add to Reading List Source URL: slugmath.ucsc.edu Language: English - Date: 2009-05-27 11:03:46 Lie groups Mathematical structures Group theory Algebraic structures Linear algebra Lattice Building Vector space Principal homogeneous space Algebra Abstract algebra Mathematics
918	THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I Add to Reading List Source URL: slugmath.ucsc.edu Language: English - Date: 2009-04-20 11:29:56 Lie groups Mathematical structures Group theory Algebraic structures Linear algebra Lattice Building Vector space Principal homogeneous space Algebra Abstract algebra Mathematics
919	THE CONTENTS OF THIS TEXT ARE ADAPTED FROM THE TYPED N O T E S O F S E A N S AT H E R - W A G S TA F F, F R O M A C O U R S E G I V E N B Y B E N E D I C T G R O S S I N U TA H I N , W H I C H U S E S M A N Y I Add to Reading List Source URL: slugmath.ucsc.edu Language: English - Date: 2009-03-29 13:00:09 Lie groups Mathematical structures Algebraic structures Group theory Lattice Vector space Principal homogeneous space Unimodular lattice Ideal lattice cryptography Algebra Abstract algebra Mathematics
920	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing

UPDATE