Combinatorial topology and constructive mathematics

Indagationes Mathematicae ◽

10.1016/j.indag.2018.04.003 ◽

2018 ◽

Vol 29 (6) ◽

pp. 1637-1648

Author(s):

Thierry Coquand

Keyword(s):

Constructive Mathematics ◽

Combinatorial Topology

Download Full-text

Carathéodory’s thermodynamics and constructive mathematics

Lettere al Nuovo Cimento ◽

10.1007/bf02817152 ◽

1982 ◽

Vol 34 (2) ◽

pp. 52-56 ◽

Author(s):

A. Drago

Keyword(s):

Constructive Mathematics

Download Full-text

Essays in constructive mathematics by Harold M. Edwards, published by Springer, 2005 211 pages, hardcover

ACM SIGACT News ◽

10.1145/1814370.1814380 ◽

2010 ◽

Vol 41 (2) ◽

pp. 33-36

Author(s):

S. C. Coutinho

Keyword(s):

Constructive Mathematics

Download Full-text

Simulation of Plant Cell Division Based on Combinatorial Topology

2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus) ◽

10.1109/elconrus51938.2021.9396716 ◽

2021 ◽

Author(s):

Wenlong Yi ◽

Yinglong Wang ◽

Yingzhao Jiang ◽

Hongyu Jiang ◽

Jun Yang

Keyword(s):

Cell Division ◽

Combinatorial Topology ◽

Plant Cell Division

Download Full-text

VARIETIES OF CONSTRUCTIVE MATHEMATICS (London Mathematical Society Lecture Note Series 97)

Bulletin of the London Mathematical Society ◽

10.1112/blms/20.3.271 ◽

1988 ◽

Vol 20 (3) ◽

pp. 271-272

Author(s):

Moshé MacHover

Keyword(s):

London Mathematical Society ◽

Lecture Note ◽

Mathematical Society ◽

Constructive Mathematics ◽

Lecture Note Series

Download Full-text

A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory

Studies in Universal Logic - The Road to Universal Logic ◽

10.1007/978-3-319-15368-1_13 ◽

2015 ◽

pp. 297-306

Author(s):

Yvon Gauthier

Keyword(s):

Number Theory ◽

Transcendental Number ◽

Constructive Mathematics ◽

Download Full-text

Judgment, Constructive Mathematics, and Intuitionism

Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective - Lecture Notes in Networks and Systems ◽

10.1007/978-3-319-57627-5_24 ◽

2017 ◽

pp. 327-333

Author(s):

Andrzej Jankowski

Keyword(s):

Constructive Mathematics

Download Full-text

Combinatorial Topology of Polyhedra

Journal of Mathematics and Physics ◽

10.1002/sapm1940191260 ◽

1940 ◽

Vol 19 (1-4) ◽

pp. 260-288

Author(s):

S. L. Greitzer

Keyword(s):

Combinatorial Topology

Download Full-text

Meaning and Information in Constructive Mathematics

American Mathematical Monthly ◽

10.2307/2321650 ◽

1982 ◽

Vol 89 (6) ◽

pp. 385 ◽

Author(s):

Fred Richman

Keyword(s):

Constructive Mathematics

Download Full-text

Combinatorial Topology

Computer Graphics and Geometric Modeling ◽

10.1007/1-84628-122-9_6 ◽

2005 ◽

pp. 321-357

Keyword(s):

Combinatorial Topology

Download Full-text

The Vitali covering theorem in constructive mathematics

Journal of Logic and Analysis ◽

10.4115/jla.2012.4.7 ◽

2012 ◽

pp. 1-22

Author(s):

Hannes Diener ◽

Anton Hedin

Keyword(s):

Constructive Mathematics ◽

Covering Theorem

Download Full-text