F-algebra

Results: 667



#Item
611Vector calculus / Vector field / Divergence / Derivative / Partial derivative / Euclidean vector / Curl / Vector space / Tangent space / Mathematics / Mathematical analysis / Algebra

Divergence and Curl E. L. Lady (Last revised October 7, 2004) A vector field F defined on a certain region in n-dimensional Euclidian space consists of an n-dimensional vector defined at every point in this region. (I. e

Add to Reading List

Source URL: www.math.hawaii.edu

Language: English - Date: 2004-10-07 19:51:26
612Deduction / Entailment / Logical consequence / Metalogic / Ring / Default logic / Logic / Abstract algebra / Propositional calculus

S Y S T E M Z : A N A T U R A L O R D E R I N G OF D E F A U L T S W I T H T R A C T A B L E A P P L I C A T I O N S T O N O N M O N O T O N I C R E A S O N I N G (*)

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:56
613Exact solutions in general relativity / Introductory physics / Linear algebra / Spacetime / Minkowski space / Momentum / Introduction to special relativity / Euclidean vector / Four-vector / Physics / Relativity / Special relativity

Mass Particles as Bosons in Five Dimensional Euclidean Gravity R.F.J. van Linden

Add to Reading List

Source URL: www.euclideanrelativity.com

Language: English - Date: 2008-08-17 10:53:16
614Elliptic curve / Group theory / Prime number / Finite fields / Primality tests / Elliptic curve primality proving / Abstract algebra / Mathematics / Analytic number theory

Advances in the CM method for elliptic curves F. Morain

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-05-14 14:22:49
615Algebraic structures / Universal algebra / Category theory / Boolean algebra / Semigroup / Variety / Relation algebra / Monoid / F-coalgebra / Abstract algebra / Mathematics / Algebra

AAA Arbeitstagung Allgemeine Algebra Workshop on General Algebra

Add to Reading List

Source URL: www.math.tu-dresden.de

Language: English - Date: 2007-08-28 04:40:36
616Algebra / F-coalgebra / Initial algebra / F-algebra / Coalgebra / Functor / Equivalence of categories / Universal property / Structure / Category theory / Abstract algebra / Mathematics

12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES CALCO-jnr 2005

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Language: English - Date: 2006-06-27 18:09:16
617Logic in computer science / Integer sequences / Polynomials / Transforms / Limit superior and limit inferior / Theorems and definitions in linear algebra / Mathematics / Combinatory logic / Lambda calculus

WSAA 31 Peter Eliaš On inclusions between Arbault sets In: Bohuslav Balcar and Ondřej F. K. Kalenda and Miroslav Zelený (eds.): Proceedings of the 31st Winter School on Abstract Analysis. Charles University, Praha, 2

Add to Reading List

Source URL: www.saske.sk

Language: English - Date: 2012-02-20 06:06:19
618Algebraic geometry / Homological algebra / Algebraic topology / Sheaf / Ample line bundle / Proper morphism / Morphism / Derived functor / Natural transformation / Abstract algebra / Algebra / Functors

In this note, we show that the proof of [EGA Th´eor`eme III[removed]can be slightly modified to avoid spectral sequences. The statement of the theorem is as follows: Let Y be a locally Noetherian scheme and f : X −→

Add to Reading List

Source URL: www.uv.es

Language: English - Date: 2006-02-13 05:50:08
619Category theory / Functional programming / Data types / Type theory / Coalgebra / Recursion / Initial algebra / F-coalgebra / List / Software engineering / Declarative programming / Computer programming

martinLoefRetirementVolumeMain.dvi

Add to Reading List

Source URL: www.cs.swan.ac.uk

Language: English - Date: 2011-06-09 14:56:40
620Procedural programming languages / Linear algebra / Vectors / Data types / Source code / Array data structure / Array data type / Fortran / C / Computing / Computer programming / Software engineering

1D Array Processing (F book, chapter 7) Arrays, a group of variables ordered by an index, are one of the most powerful and popular features of Fortran95. real, dimension(10) :: f, g

Add to Reading List

Source URL: exodus.physics.ucla.edu

Language: English - Date: 2002-04-10 20:10:18
UPDATE