Formal derivative - PDFSEARCH.IO - Document Search Engine

Formal derivative
Results: 12

#	Item
1	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 Formal languages Regular language Regular expression Brzozowski derivative Symbol Theoretical computer science Grammar Metalogic
2 $Continued fractions over function fields Bachelorscriptie Wiskunde David VenhoekBegeleider: Wieb Bosma August 28, 2013$	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 Algebra Mathematics Abstract algebra Polynomials Mathematical analysis Ring theory Polynomial Field Continued fraction Fraction Formal derivative Derivative
3	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 Lambda calculus Combinatory logic Logic in computer science Computability theory Functions and mappings Formal methods Monad Derivative Trace
4	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 Combinatorics Integer sequences Number theory Feynman diagram Partition Finite difference Formal power series Enumerative combinatorics Derivative Mathematics Mathematical analysis Diagrams
5 $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$	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 Orthogonal polynomials Laguerre polynomials Hermite polynomials Hypergeometric function Polynomial Recurrence relation Gegenbauer polynomials Generalized hypergeometric function Derivative Mathematical analysis Special functions Mathematics
6	Visio-RelationshipsExpression_10_08_09.vsd Add to Reading List Source URL: rdatoolkit.org Language: English - Date: 2011-05-05 10:03:42 Gene expression Molecular biology Regular expression Eval Derivative work Anger Computer programming Computing Formal languages Software engineering
7	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 Pennsylvania Turnpike Insurance Derivative Interstate Highway System Government procurement in the United States United States administrative law
8	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 Investment Credit risk Securitization Credit derivative Exposure at default Financial economics Finance United States housing bubble
9	Visio-RelationshipsExpression_10_08_09.vsd Add to Reading List Source URL: www.rdatoolkit.org Language: English - Date: 2011-05-05 10:03:42 Gene expression Molecular biology Regular expression Eval Derivative work Anger Computer programming Computing Formal languages Software engineering
10	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 Complex analysis Real analysis Taylor series Derivative Partial fraction Formal power series Mathematical analysis Mathematics Mathematical series