F-algebra

Results: 667



#Item
201Field theory / Algebraic structures / Polynomials / Finite fields / Coding theory / Permutation polynomial / Emmy Noether / Field / Matrix / Abstract algebra / Mathematics / Algebra

T HE 11TH I NTERNATIONAL C ONFERENCE ON F INITE F IELDS AND THEIR A PPLICATIONS ¨ M AGDEBURG 22–26 J ULY 2013, OTTO - VON -G UERICKE -U NIVERSIT AT Sunday, ::00

Add to Reading List

Source URL: www.math.uni-magdeburg.de

Language: English - Date: 2013-07-10 10:20:22
202Lambda calculus / Logic in computer science / Combinatory logic / Valuation / Normalisation by evaluation / Sheaf / Natural deduction / Limit set / Abstract algebra / Mathematics / Theoretical computer science

Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2008-09-11 16:49:25
203Abstract algebra / Mathematical series / Fourier analysis / Riemannian manifold / Embedding / Taylor series / Derivative / Bessel function / Mathematical analysis / Mathematics / Functions and mappings

The Nash-Kuiper process for curves Vincent Borrelli, Sa¨ıd Jabrane, Francis Lazarus and Boris Thibert January 18, 2013 An isometric immersion of a Riemannian manifold into an Euclidean space is a C 1 map f : (M m , g)

Add to Reading List

Source URL: hevea.imag.fr

Language: English - Date: 2013-04-08 05:15:43
204Propositional calculus / Semantics / Boolean algebra / Logical connective / Truth table / Valuation / If and only if / Tautology / Natural deduction / Abstract algebra / Logic / Mathematics

Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each

Add to Reading List

Source URL: johnmacfarlane.net

Language: English
205Cross-platform software / Mathematica / Numerical software / Wolfram Research / Erwin Kreyszig / Calculus / Linear algebra / Integral / Ordinary differential equation / Mathematical software / Science / Mathematical analysis

Week of 3–7 September MWLect. 1 F 09/07

Add to Reading List

Source URL: pruffle.mit.edu

Language: English - Date: 2009-06-08 11:32:24
206Mathematical logic / Theoretical computer science / Numerical linear algebra / Mathematics / Algorithm

A Simple Linear Algorithm for Computing Rectangular 3-Centers Michael Ho mann Institut fur Theoretische Informatik ETH Zurich

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2003-06-20 16:01:37
207Abstract algebra / Linear algebra / Functions and mappings / Differential calculus / Calculus of variations / Vector space / Linear map / Differential equation / Continuous function / Algebra / Mathematics / Mathematical analysis

Appendix F Smoothness with Respect to Initial Conditions Suppose that 𝑉 is a 𝐶 1 vector field on R𝑛 and assume that the

Add to Reading List

Source URL: vmm.math.uci.edu

Language: English - Date: 2010-07-07 15:30:49
208Field extension / Field / Factorization of polynomials over a finite field and irreducibility tests / Splitting field / Abstract algebra / Algebra / Field theory

The University of Hong Kong DEPARTMENT OF MATHEMATICS MATH3302/MATH4302 Algebra II Assignment 1 Due: Tuesday 1 pm, February 17, 2015. In the following, E, F, K are fields.

Add to Reading List

Source URL: hkumath.hku.hk

Language: English - Date: 2015-02-02 23:06:33
209Operations research / Mathematical optimization / Dynamical systems / Control theory / Cybernetics / Linear programming / Interior point method / Convex optimization / Vector space / Mathematics / Algebra / Mathematical analysis

Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f

Add to Reading List

Source URL: abarry.org

Language: English - Date: 2012-02-11 02:59:02
210Mathematics / Spectral theory / Operator theory / Ordinary differential equations / Linear algebra / Spectral theory of ordinary differential equations / Mathematical analysis / Functional analysis / Eigenfunction

Concentration of Eigenfunctions in Rough Media Hart F. Smith Department of Mathematics University of Washington, Seattle

Add to Reading List

Source URL: www.math.washington.edu

Language: English - Date: 2012-06-16 15:04:55
UPDATE