Displaying similar documents to “Formal Methods and Science in Philosophy: Introduction to the Special Issue”

The Lvov years of Wacław Sierpiński

Andrzej Schinzel (2009)

Banach Center Publications

Similarity:

An account is given of Sierpiński's activity in Lvov (1908-1918) interrupted by World War I.

MetaPost Definitions

Taco Hoekwater (2020)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The paper presents all syntactic rules for definitions in MetaPost. It contains many good and bad examples of definitions.

One Erdös style inequality

Tomáš J. Kepka, Petr C. Němec (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

One unusual inequality is examined.

PROBLEMS

M. Chrobak, M. Habib, P. John, H. Sachs, H. Zernitz, J. R. Reay, G. Sierksma, M. M. Sysło, T. Traczyk, W. Wessel (1987)

Applicationes Mathematicae

Similarity:

Editorial

(2021)

Kybernetika

Similarity:

Sergej Čelikovský appointed new Editor-in-Chief of the Kybernetika Journal.

MkIV Hybrid Technology

Hans Hagen (2011)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The paper presents development, new features and tools of LuaTeX and ConTeXtMkIV.

A letter to Bohuš

Mirna Džamonja (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A few words about an old friend and a long-standing society.

Creating a Kanji Stroke Order Font

Timothy Eyre (2010)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

This article describes how a font that displays Kanji Stroke Orders can be created from thousands of svg files containing this information.

Japanese formatting rules for XeTeX

Kazuomi Kuniyoshi (2010)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

This is a two-page report informing about the reasons and the existence of the genzi package which sets Japanese formatting rules for XeTeX. The package, samples and more comments can be viewed and downloaded from the author's website, see http://kuniyoshi.fastmail.fm/xetex/.

ConTeXt for 'Zines

Timothy Eyre (2011)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The article describes the design of the New Escapologist magazine, our motivations for using ConTeXt, some of the typographical features of the magazine and my experiences with using the ConTeXtMark II macro package.

A note on Professor Jan Grzegorz Krzyż

Eligiusz Złotkiewicz (2011)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

[Editor's note: a webpage dedicated to Professor Jan Grzegorz Krzyż is available at the address http://math.umcs.lublin.pl/Krzyz/]

Two Applications of SWIGLIB: GraphicsMagick and Ghostscript

Luigi Scarso (2015)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

We present two applications of SWIGLIB: a binding to the GraphicsMagick library that under certain conditions can speed up conversion of bitmaps by up to 20% and a binding to the Ghostscript library that simplifies the integration of PostScript programs in ConTeXt with the LuaTeX engine. Examples of TIFF conversion and barcodes in PostScript are shown.

Estimation of the noncentrality matrix of a noncentral Wishart distribution with unit scale matrix. A matrix generalization of Leung's domination result.

Heinz Neudecker (2004)

SORT

Similarity:

The main aim is to estimate the noncentrality matrix of a noncentral Wishart distribution. The method used is Leung's but generalized to a matrix loss function. Parallelly Leung's scalar noncentral Wishart identity is generalized to become a matrix identity. The concept of Löwner partial ordering of symmetric matrices is used.