Search Results

Maurice Janet's algorithms on systems of linear partial differential equations

• Authors : Iohara, Kenji; Malbos, Philippe;

Subjects: Linear PDE systems; formal methods; Janet's bases01-08

• Source: ISSN: 0003-9519.

Record details

An introduction to Lorenzen's ``Algebraic and logistic investigations on free lattices'' (1951)

• Authors : Coquand, Thierry; Neuwirth, Stefan;

Subjects: consistency of ramified type theory without axiom of reducibility; free countably complete boolean algebra; infinitary proof theory03-03; 06-03

• Source: https://hal.science/hal-01629913 ; 2023.

Record details

Who invented von Koch's Snowflake Curve? ; Qui a inventé la courbe du flocon de neige de von Koch?

• Authors : Demichel, Yann;

Subjects: Snowflake curve; von Koch curve; Helge von Koch

• Source: https://hal.science/hal-04188667 ; 2023.

Record details

Pavel Florensky and his world

• Authors : Papadopoulos, Athanase;

Subjects: Pavel Florensky; mathematics and philosophy; mathematics and theologymathematics in the twentieth century

• Source: https://hal.science/hal-04209509 ; 2023.

Record details

A glimpse into Thurston's work

• Authors : Ohshika, Ken'ichi; Papadopoulos, Athanase;

Subjects: transitional geometry; circle packing; Thurston norm

Record details

W. P. Thurston and French mathematics

• Authors : Athanase Papadopoulos; Francois Laudenbach;

Subjects: Low-dimensional topology; History and Overview (math.HO); General Mathematics

• Source: EMS Surveys in Mathematical SciencesEMS Surveys in Mathematical Sciences, EMS Publishing House, 2019, 6 (2019), no. 1, 33-81., ⟨10.4171/EMSS/32⟩

Record details

W. P. Thurston and French mathematics

• Authors : Laudenbach, François; Papadopoulos, Athanase;

Subjects: William P. Thurston: Geometric structures; Hyperbolic struc- tures; history of French mathematics Part 1

• Source: https://hal.archives-ouvertes.fr/hal-02388097 ; 2019.

Record details

Jan Ptaszycki (1854–1912)

• Authors : Maligranda, Lech; Strelcyn, Jean-Marie;

Subjects: Jan Ptaszycki; biografie; Uniwersytet Petersburski

• Source: ISSN: 1898-5203 ; Antiquitates Mathematicae ; https://hal.science/hal-03861877 ; Antiquitates Mathematicae, 2018, 12 (1), pp.31-80. ⟨10.14708/am.v12i1.6406⟩.

Record details

An introduction to Lorenzen's 'Algebraic and logistic investigations on free lattices' (1951)

• Authors : Coquand, Thierry; Neuwirth, Stefan;

Subjects: free countably complete pseudocomplemented semilattice; History and Overview (math.HO); Mathematics - History and Overview

Record details

¬The beginnings of the Soviet encyclopedia

• Authors : Mazliak, Laurent;

Subjects: [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]; [MATH.MATH-PR] Mathematics [math]/Probability [math.PR]; National encyclopedia. USSR. New Economical Policy. History of probability theory. Foundations of Probability. Otto Schmidt. Arthur Bowley

Record details