Results 51 to 60 of about 2,875 (123)

Second-Order Partial Differentiation of Real Binary Functions [PDF]

, 2009
In this article we define second-order partial differentiation of real binary functions and discuss the relation of second-order partial derivatives and partial derivatives defined in [17].Xie Bing - Qingdao University of Science and Technology ...
Liang, Xiquan, Shen, Xiuzhuan, Xie, Bing
core   +2 more sources

Set of Points on Elliptic Curve in Projective Coordinates [PDF]

, 2011
In this article, we formalize a set of points on an elliptic curve over GF(p). Elliptic curve cryptography [10], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.Futa Yuichi -
Agata Darmochwał, Andrzej Trybulec, Andrzej Trybulec, Christoph Schwarzweller, Christoph Schwarzweller, Czesław Byliński, Czesław Byliński, Czesław Byliński, Edmund Woronowicz, Edmund Woronowicz, Eugeniusz Kusak, G. Seroussi, Grzegorz Bancerek, Grzegorz Bancerek, Grzegorz Bancerek, Hiroyuki Okazaki, Józef Białas, Konrad Raczkowski, Krzysztof Hryniewiecki, Michał Trybulec, Rafał Kwiatek, Wojciech Trybulec, Wojciech Trybulec, Yasunari Shidama, Yuichi Futa, Zinaida Trybulec   +25 more
core   +1 more source

The Formal Construction of Fuzzy Numbers [PDF]

, 2014
In this article, we continue the development of the theory of fuzzy sets [23], started with [14] with the future aim to provide the formalization of fuzzy numbers [8] in terms reflecting the current state of the Mizar Mathematical Library.
Grabowski, Adam
core   +1 more source

Da S. Daniele a Wrocław: il viaggio di sola andata di Wrocław, Biblioteka Uniwersytecka, Rehdigerianus 67 (Luc., Tim., part. or.)-From S. Daniele to Wrocław: A One-Way Journey to Wrocław, Biblioteka Uniwersytecka, Rehdigerianus 67 (Luc., Tim., part. or.)

Ciceroniana On Line, 2020
The article offers a codicological and palaeographic analysis of Wrocław, Biblioteka Uniwersytecka, Rehdigerianus 67, containing Lucullus, Timaeus and Partitiones oratoriae of Cicero. This contribution aims to demonstrate that the manuscript was written by the professional copyist Battista da Cingoli at San Daniele del Friuli in the atelier of ...
openaire   +2 more sources

Speranza i Mickiewicz

Biblioteka, 2008
This article researches the translations of two Adam Mickiewicz’s ballads published in Ireland by Lady Wilde (known under the pen-name Speranza), both versions probably unknown to Polish scholars.
Katarzyna Gmerek
doaj   +1 more source

Double Series and Sums [PDF]

, 2014
In this paper the author constructs several properties for double series and its convergence. The notions of convergence of double sequence have already been introduced in our previous paper [18].
Endou, Noboru
core   +1 more source

„Służą nauce polskiej”. Kontakty Biblioteki Fundacji Wiktora hr. Baworowskiego z Biblioteką Uniwersytecką w Poznaniu

Biblioteka
Streszczenie. Cel: Biblioteka Fundacji Wiktora hr. Baworowskiego ze względu na cenne zbiory należała do bibliotek o fundamentalnym znaczeniu dla dziedzictwa i polskiej kultury narodowej.
Jolanta Gwioździk
doaj   +1 more source

Komu było dedykowane dzieło Gwagnina Sarmatiae Europeae descripto? - rozwiązanie zagadki znanego polonicum XVI w.

Biblioteka, 2007
This article addresses the problem of the original addressee of the dedication inscribed in the book entitled Sarmatiae Europeae descriptio by A. Gwagnin (Alessandro Guagnini).
Renata Wilgosiewicz - Skutecka
doaj   +1 more source

The Axiomatization of Propositional Linear Time Temporal Logic [PDF]

, 2011
The article introduces propositional linear time temporal logic as a formal system. Axioms and rules of derivation are defined. Soundness Theorem and Deduction Theorem are proved [9].Institute of Sociology, University of Białystok, PolandGrzegorz ...
Giero, Mariusz
core   +2 more sources

All Liouville Numbers are Transcendental [PDF]

, 2017
In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers.
Grabowski, Adam, Korniłowicz, Artur, Naumowicz, Adam   +2 more
core   +2 more sources