Conjugate element

Results: 13



#Item
1Wellfoundedness / Mathematical logic / Mathematics / Constructible universe / Proof theory / Logic / Ordinal numbers / CurryHoward correspondence / Conjugate element

Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:11
2Field theory / Galois theory / Algebraic number theory / Field extension / Galois group / Splitting field / Galois extension / Field / Polynomial / Conjugate element / Field trace

ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden

Add to Reading List

Source URL: www.math.leidenuniv.nl

Language: English - Date: 2006-03-03 04:47:19
3General topology / Constructible universe / Ordinal number / Base / Order theory / Net / Conjugate element

Free Theorems — Foundations Janis Voigtl¨ander University of Bonn October 18th, 2010

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:10
4Knowledge representation / Logic / Logic programming / Curry–Howard correspondence / Constructible universe / Forcing / Computer science / Conjugate element / Mathematical logic / Mathematics / Belief revision

A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2003-09-08 16:17:32
5Algebraic number / Field theory / Polynomial / Conjugate element

Beta-conjugates On the Rényi-Parry numeration dynamical system and a germ of curve Jean-Louis Verger-Gaugry Institut Fourier

Add to Reading List

Source URL: www.cant.ulg.ac.be

Language: English - Date: 2011-06-09 17:34:22
6Field theory / Diophantine approximation / Transcendental numbers / Liouville number / Transcendence theory / Valuation / Conjugate element / Forcing / Auxiliary function / Mathematics / Abstract algebra / Mathematical analysis

1 Taming Quantum Amplitudes with Gateset Limitations Ross Rheingans-Yoo Harvard School of Engineering and Applied Sciences, Cambridge, MA (USA)

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2014-12-28 11:14:52
7Direct product of groups / Normal subgroup / Representation theory / Group action / Subgroup / Zappa–Szép product / Conjugate element / Abstract algebra / Algebra / Group theory

Totally Disconnected L.C. Groups: Subgroups associated with an automorphism George Willis The University of Newcastle February 10th − 14th 2014

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2014-02-18 10:42:27
8Numerical linear algebra / Partial differential equations / Finite element method / Iterative methods / Multigrid method / Domain decomposition methods / Conjugate gradient method / Preconditioner / Galerkin method / Numerical analysis / Mathematics / Mathematical analysis

Understanding and Implementing the Finite Element Method. By Mark S. Gockenbach. SIAM, [removed], xvi+363 pp., $87.00, 2006, softcover. 1

Add to Reading List

Source URL: math.nist.gov

Language: English - Date: 2007-08-28 08:36:50
9Conjugate element / Diophantine approximation / Inverse Galois problem / Liouville number / Field theory / Mathematics / Transcendental numbers

ON THE TOPOLOGY OF SUMS IN POWERS OF AN ALGEBRAIC NUMBER NIKITA SIDOROV AND BORIS SOLOMYAK Abstract. Let 1 < q < 2 and ( n )

Add to Reading List

Source URL: pi.314159.ru

Language: English - Date: 2010-05-12 13:30:36
10Mathematics / Polynomials / Minimal polynomial / Splitting field / Field extension / Irreducible polynomial / Field / Conjugate element / Separable extension / Abstract algebra / Algebra / Field theory

Chapter 3 Field Fundamentals

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2008-01-02 22:07:25
UPDATE