Formal derivative

Results: 12



#Item
1Formal languages / Regular language / Regular expression / Brzozowski derivative / Symbol / Theoretical computer science / Grammar / Metalogic

Formalizing Symbolic Decision Procedures | {z in

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-11-16 04:08:00
2Algebra / Mathematics / Abstract algebra / Polynomials / Mathematical analysis / Ring theory / Polynomial / Field / Continued fraction / Fraction / Formal derivative / Derivative

Continued fractions over function fields Bachelorscriptie Wiskunde David VenhoekBegeleider: Wieb Bosma August 28, 2013

Add to Reading List

Source URL: www.math.ru.nl

Language: English - Date: 2016-04-17 06:40:13
3Lambda calculus / Combinatory logic / Logic in computer science / Computability theory / Functions and mappings / Formal methods / Monad / Derivative / Trace

Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

Add to Reading List

Source URL: jeapostrophe.github.io

Language: English - Date: 2016-02-18 16:47:50
4Combinatorics / Integer sequences / Number theory / Feynman diagram / Partition / Finite difference / Formal power series / Enumerative combinatorics / Derivative / Mathematics / Mathematical analysis / Diagrams

COMBINATORIAL MODELS OF CREATION–ANNIHILATION arXiv:1010.0354v1 [math.CO] 2 Oct 2010 PAWEL BLASIAK AND PHILIPPE FLAJOLET

Add to Reading List

Source URL: algo.inria.fr

Language: English - Date: 2010-10-06 07:05:49
5Orthogonal polynomials / Laguerre polynomials / Hermite polynomials / Hypergeometric function / Polynomial / Recurrence relation / Gegenbauer polynomials / Generalized hypergeometric function / Derivative / Mathematical analysis / Special functions / Mathematics

SOME GENERALIZED HYPERGEOMETRIC POLYNOMIALS SISTER MARY CELINE FASENMYER 1. Introduction. We shall obtain some basic formal properties of the hypergeometric polynomials *n(ct>i; bj\ x) s fn(alt

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2010-01-14 13:38:45
6Gene expression / Molecular biology / Regular expression / Eval / Derivative work / Anger / Computer programming / Computing / Formal languages / Software engineering

Visio-RelationshipsExpression_10_08_09.vsd

Add to Reading List

Source URL: rdatoolkit.org

Language: English - Date: 2011-05-05 10:03:42
7Pennsylvania Turnpike / Insurance / Derivative / Interstate Highway System / Government procurement in the United States / United States administrative law

Pennsylvania Turnpike Commission - Formal Meeting Agenda - October 16, 2012

Add to Reading List

Source URL: www.paturnpike.com

Language: English - Date: 2012-10-11 12:34:51
8Investment / Credit risk / Securitization / Credit derivative / Exposure at default / Financial economics / Finance / United States housing bubble

CRD POTENTIAL CHANGES ON SECURITISATION This document is a working document of the Commission services for discussion and consultation purposes. It does not purport to represent or pre-judge the formal proposal of the Co

Add to Reading List

Source URL: ec.europa.eu

Language: English - Date: 2012-02-17 10:40:50
9Gene expression / Molecular biology / Regular expression / Eval / Derivative work / Anger / Computer programming / Computing / Formal languages / Software engineering

Visio-RelationshipsExpression_10_08_09.vsd

Add to Reading List

Source URL: www.rdatoolkit.org

Language: English - Date: 2011-05-05 10:03:42
10Complex analysis / Real analysis / Taylor series / Derivative / Partial fraction / Formal power series / Mathematical analysis / Mathematics / Mathematical series

Addition, subtraction, multiplication, and division of algebraic equations I hit upon the following method of calculation during my sophomore year of college when I was working on the representation of algebraic equation

Add to Reading List

Source URL: www2.math-4-u.com

Language: English - Date: 2014-07-02 06:45:37
UPDATE