Search results

==Formal definition== ....A., "N-Transform-Properties and Applications" NUST Journal of Engineering Sciences 1(2008), 127–133.</ref> ...

== Formal Definition == ...nd convexity |journal=Bulletin l'Académie Polonaise des Science, Série des Sciences Mathématiques, Astronomiques et Physiques |date=1974 |volume=22 |pages=39–4 ...

...es [[system]]s of finite collections of [[formal grammar]]s generating a [[formal language]]. Each grammar works on a string, a so-called ''sequential form'' ...f possible behaviors of <math>\mathbb{A}</math> can then be described as [[formal language]] ...

...n of languages for representation of system properties|journal=Information Sciences|volume=47|pages=339–372|year=1989|doi=10.1016/0020-0255(89)90006-6}}</ref> == Formal definition == ...

==Formal statement== ...particulièrement sur le théorème de Fermat | journal = Mém. Acad. Roy. Des Sciences de l'Institut de France | volume = 6}} Didot, Paris, 1827. Also appeared a ...

{{Short description|Mathematical formal group law}} ...l field. It does this by considering the (formal) [[endomorphism]]s of the formal group, emulating the way in which [[elliptic curve]]s with extra endomorphi ...

...tic homotopy theory]]. Lazard's self-contained treatise on one-dimensional formal groups also gave rise to the field of [[Barsotti–Tate group|''p''-divisible * The classification of (1-dimensional commutative) [[formal group]]s. ...

If ''k'' is an Artinian local ring, then any invertible formal Laurent series ''a'' with coefficients in ''k'' can be written uniquely as |journal=Comptes Rendus de l'Académie des Sciences, Série I|volume= 318 |year=1994|issue= 8|pages= 743–746}} ...

...E.|title=Parallel program schemata|journal=Journal of Computer and System Sciences|date=May 1969|volume=3|issue=2|pages=147–195|doi=10.1016/S0022-0000(69)8001 == Formal definitions and basic terminology == ...

....com/science/article/abs/pii/S0165489602000707|journal=Mathematical Social Sciences|language=en|volume=45|issue=3|pages=249–297|doi=10.1016/S0165-4896(02)00070 == Formal definition == ...

== Formal definition == ...on Is PSPACE-Complete|year = 2001| journal= Journal of Computer and System Sciences | volume =63 | issue =2, September 2001 | pages= 288–303 |issn= 0022-0000| ...

journal=[[Proceedings of the National Academy of Sciences of the United States of America]]|volume=35|issue=6|pages=322–328|doi=10.10 == Fully formal proof == ...

...an element of a [[complete field]] of norm less than 1, in which case the formal [[power series]] converge. ...e is the projective plane curve over the ring '''Z'''{{brackets|''q''}} of formal power series with integer coefficients given (in an affine open subset of t ...

....com/science/article/abs/pii/S0165489602000707|journal=Mathematical Social Sciences|language=en|volume=45|issue=3|pages=249–297|doi=10.1016/S0165-4896(02)00070 == Formal definition == ...

....com/science/article/abs/pii/S0165489602000707|journal=Mathematical Social Sciences|language=en|volume=45|issue=3|pages=249–297|doi=10.1016/S0165-4896(02)00070 == Formal definition == ...

...is an archaic quantity that was used in [[chemistry]] and the [[biological sciences]] (see ''{{section link|Equivalent weight#In history}}''). The [[mass]] of ==Formal definition== ...

== Formal definition == ...d a Strong Mixing Condition|journal=Proceedings of the National Academy of Sciences|language=en|volume=42|issue=1|pages=43–47|doi=10.1073/pnas.42.1.43|issn=002 ...

== Formal definition == ...E Transactions on Fundamentals of Electronics, Communications and Computer Sciences|volume=E86-A|issue=5|year=2003|pages=1052–1060|url=https://search.ieice.org ...

...orry about convergence—that is, the equality is understood at the level of formal [[power series]]. Using [[Weyl_character_formula#Weyl_denominator_formula|W we obtain a formal expression for the reciprocal of the Weyl denominator:<ref>{{harvnb|Hall|20 ...

...2013|title=Abstract Meaning Representation (AMR)|publisher=}}</ref> is a [[Formal semantics (linguistics)|semantic representation language]]. AMR graphs are ...ed to better align with [[PropBank]]. Moreover, AMR has been extended with formal conventions for metadata and conventions for entity linking (here, linking ...