F-algebra - PDFSEARCH.IO - Document Search Engine

F-algebra
Results: 667

#	Item
281	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
282	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
283	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
284	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
285	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
286	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
287	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-21 02:55:39 Lie groups Mathematical structures Group theory Algebraic structures Linear algebra Lattice Building Vector space Principal homogeneous space Algebra Abstract algebra Mathematics
288	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-28 15:07:41 Lie groups Algebraic structures Mathematical structures Group theory Lattice Vector space Principal homogeneous space Unimodular lattice Ideal lattice cryptography Algebra Abstract algebra Mathematics
289	SUBDIVISION RULES AND VIRTUAL ENDOMORPHISMS J. W. CANNON, W. J. FLOYD, W. R. PARRY, AND K. M. PILGRIM Abstract. Suppose f : S 2 → S 2 is a postcritically finite branched covering without periodic branch points. If f is Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2009-06-09 14:36:42 Algebraic topology Homotopy theory Differential topology Orbifold Representation theory of Lie groups Fundamental group Covering space Weight Linear map Abstract algebra Mathematics Algebra
290	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-17 11:22:12 Lie groups Mathematical structures Group theory Algebraic structures Linear algebra Lattice Building Vector space Principal homogeneous space Algebra Abstract algebra Mathematics

UPDATE