Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Filter

Your Filters

Subject : 01a60 Content Provider : BASE

Reset filters

Item request has been placed!

Item request cannot be made.

Processing Request

Report

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

Read More Add to Saved list

Report

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

Read More Add to Saved list

Report

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

Read More Add to Saved list

Report

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

Read More Add to Saved list

Report

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

Read More Add to Saved list

Report

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

Read More Add to Saved list

Academic Journal

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

Read More Add to Saved list

Academic Journal

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

Read More Add to Saved list

Academic Journal

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

Read More Add to Saved list

Academic Journal

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

Read More Add to Saved list