Funding Data Link References Status API Help
type
year
publication
category
publisher
funder name
source
Page 1 of 626739 results
Sort by: relevance publication year

Mathematical and Formalized Epistemologies

Chapter published 2003 in Quantum Mechanics, Mathematics, Cognition and Action on pages 309 to 324

Authors: Robert Vallée

Integral of Non Positive Functions

Journal Article published 1 Jan 2017 in Formalized Mathematics volume 25 issue 3

Authors: Noboru Endou

Gauge Integral

Journal Article published 1 Jan 2017 in Formalized Mathematics volume 25 issue 3

Authors: Roland Coghetto

Altitude, Orthocenter of a Triangle and Triangulation

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 1

Authors: Roland Coghetto

Circumcenter, Circumcircle and Centroid of a Triangle

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 1

Authors: Roland Coghetto

Exponential Objects

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 4

Authors: Marco Riccardi

Topology from Neighbourhoods

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 4

Authors: Roland Coghetto

Stone Lattices

Journal Article published 1 Jan 2015 in Formalized Mathematics volume 23 issue 4

Authors: Adam Grabowski

Formally Real Fields

Journal Article published 20 Jan 2017 in Formalized Mathematics volume 25 issue 4

Authors: Christoph Schwarzweller

Lattice of ℤ-module

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 1

Authors: Yuichi Futa, Yasunari Shidama

Algebraic Numbers

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 4

Authors: Yasushige Watase

The Matiyasevich Theorem. Preliminaries

Journal Article published 20 Jan 2017 in Formalized Mathematics volume 25 issue 4

Authors: Karol Pak

Basel Problem – Preliminaries

Journal Article published 1 Jan 2017 in Formalized Mathematics volume 25 issue 2

Authors: Artur Korniłowicz, Karol Pąk

Introduction to Liouville Numbers

Journal Article published 28 Jan 2017 in Formalized Mathematics volume 25 issue 1

Authors: Adam Grabowski, Artur Korniłowicz

Differentiability of Polynomials over Reals

Journal Article published 28 Jan 2017 in Formalized Mathematics volume 25 issue 1

Authors: Artur Korniłowicz

Divisible ℤ-modules

Journal Article published 1 Jan 2016 in Formalized Mathematics volume 24 issue 1

Authors: Yuichi Futa, Yasunari Shidama

Introduction to Diophantine Approximation. Part II

Journal Article published 20 Jan 2017 in Formalized Mathematics volume 25 issue 4

Authors: Yasushige Watase

Topological Manifolds

Journal Article published 30 Jan 2014 in Formalized Mathematics volume 22 issue 2

Authors: Karol Pąk

Cauchy Mean Theorem

Journal Article published 30 Jan 2014 in Formalized Mathematics volume 22 issue 2

Authors: Adam Grabowski

Proth Numbers

Journal Article published 30 Jan 2014 in Formalized Mathematics volume 22 issue 2

Authors: Christoph Schwarzweller