Jump to main content

yr 〜
yr

Search results 40

Intermittent convex integration for the 3D Euler equations : pbk

Intermittent convex integration for the 3D Euler equations : pbk
Paper図書
Tristan Buckmaster ... [et al.]Princeton University Press2023
Other Libraries in Japan
  • Subject Heading...ical solutions Induction (Mathematics) Convex functions Fluid dynami...
  • Subject Heading (ID)...ical solutions Induction (Mathematics) Convex functions Fluid dynami...

Intermittent convex integration for the 3D Euler equations : hbk

Intermittent convex integration for the 3D Euler equations : hbk
Paper図書
Tristan Buckmaster ... [et al.]Princeton University Press2023
Other Libraries in Japan
  • Subject Heading...ical solutions Induction (Mathematics) Convex functions Fluid dynami...
  • Subject Heading (ID)...ical solutions Induction (Mathematics) Convex functions Fluid dynami...

Theorems of the 21st century v. 1

Theorems of the 21st century v. 1
Paper図書
Bogdan GrechukSpringerc2019
Other Libraries in Japan
  • Subject HeadingMathematics Logic, Symbolic and mathematical Induction (Mathematics)
  • Subject Heading (ID)Mathematics Logic, Symbolic and mathematical Induction (Mathematics)

The induction book : [pbk.]

The induction book : [pbk.]
Paper図書
Steven H. WeintraubDover Publicationsc2017
Other Libraries in Japan
  • Subject HeadingInduction (Mathematics)
  • Subject Heading (ID)Induction (Mathematics)

The method of mathematical induction . Induction in geometry : [pbk.]

The method of mathematical induction . Induction in geometry : [pbk.]
Paper図書
I.S. Sominskii . L.I. Golovina and I.M. YaglomDover Publications2019
Other Libraries in Japan
  • Subject HeadingInduction (Mathematics) Geometry -- Problems, exercis...
  • Subject Heading (ID)Induction (Mathematics) Geometry -- Problems, exercis...

Basic discrete mathematics : logic, set theory, & probability : hardcover

Basic discrete mathematics : logic, set theory, & probability : hardcover
Paper図書
Richard KoharWorld Scientificc2016
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities
  • Subject Heading (ID)Logic, Symbolic and mathematical Proof theory Induction (Mathematics) Set theory Probabilities

Introduction to bisimulation and coinduction : hardback

Introduction to bisimulation and coinduction : hardback
Paper図書
Davide SangiorgiCambridge University Press2012
Other Libraries in Japan
  • Subject HeadingInduction (Mathematics) Simulation methods
  • Subject Heading (ID)Induction (Mathematics) Simulation methods

Handbook of mathematical induction : theory and applications : hbk

Handbook of mathematical induction : theory and applications : hbk
Paper図書
David S. GundersonCRC Pressc2011
Other Libraries in Japan
  • Subject HeadingInduction (Mathematics)
  • Subject Heading (ID)Induction (Mathematics)

Elementary induction on abstract structures

Elementary induction on abstract structures
Paper図書
Yiannis N. MoschovakisDover Publications2008
Other Libraries in Japan
  • Subject HeadingRecursive functions Induction (Mathematics)
  • Subject Heading (ID)Recursive functions Induction (Mathematics)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude / Roberto Festa. (Synthese library ; v. 232)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude / Roberto Festa. (Synthese library ; v. 232)
Paper図書
Kluwer Academic Publishersc1993.<MA216-A68>
National Diet Library
  • Subject Heading...Probabilities. Induction (Mathematics) Truth.

Statistical and inductive inference by minimum message length

Statistical and inductive inference by minimum message length
Paper図書
C.S. WallaceSpringer2005
Other Libraries in Japan
  • Subject Heading...-- Methodology Induction (Mathematics)
  • Subject Heading (ID)...-- Methodology Induction (Mathematics)

Whitehead groups of finite groups / Robert Oliver. (London Mathematical Society lecture note series)

Whitehead groups of finite groups / Robert Oliver. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1988.<MA67-A49>
National Diet Library
  • Subject Heading有限群. Whitehead groups. Finite groups. Induction (Mathematics)

Computable economics : the Arne Ryde memorial lectures

Computable economics : the Arne Ryde memorial lectures
Paper図書
Kumaraswamy VelupillaiOxford University Press2000
Other Libraries in Japan
  • Subject HeadingEconomics, Mathematical Induction (Mathematics) Recursive theory
  • Subject Heading (ID)Economics, Mathematical Induction (Mathematics) Recursive theory

Non-additive exact functors and tensor induction for Mackey functors

Non-additive exact functors and tensor induction for Mackey functors
Paper図書
Serge BoucAmerican Mathematical Society2000
Other Libraries in Japan
  • Subject HeadingFunctor theory Induction (Mathematics) Homology theory
  • Subject Heading (ID)Functor theory Induction (Mathematics) Homology theory

Structural induction on partial algebras / by Horst Reichel. (Introduction to theory and application of partial algebras ; pt. 2) (Mathematical research ; 18 = Mathematische Forschung ; Bd. 18)

Structural induction on partial algebras / by Horst Reichel. (Introduction to theory and application of partial algebras ; pt. 2) (Mathematical research ; 18 = Mathematische Forschung ; Bd. 18)
Paper図書
Akademie-Verlag1984.<MA61-A5>
National Diet Library
  • Subject Heading代数学. 帰納法. Partial algebras. Induction (Mathematics)

Automated mathematical induction

Automated mathematical induction
Paper図書
edited by H. ZhangKluwer Academicc1996
Other Libraries in Japan
  • Subject HeadingAutomatic theorem proving Induction (Mathematics)
  • Subject Heading (ID)Automatic theorem proving Induction (Mathematics)

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude

Optimum inductive methods : a study in inductive probability, Bayesian statistics, and verisimilitude
Paper図書
Roberto FestaKluwer Academic Publishersc1993
Other Libraries in Japan
  • Subject HeadingBayesian statistical decision theory Probabilities Induction (Mathematics) Truth
  • Subject Heading (ID)Bayesian statistical decision theory Probabilities Induction (Mathematics) Truth

The emergence of probability : a philosophical study of early ideas about probability, induction and statistical inference : hbk : pbk 2nd ed

The emergence of probability : a philosophical study of early ideas about probability, induction and statistical inference : hbk : pbk 2nd ed
Paper図書
Ian HackingCambridge University Press2006
Other Libraries in Japan
  • Subject HeadingProbabilities -- History Induction (Mathematics) -- History Mathematical stati...
  • Subject Heading (ID)Probabilities -- History Induction (Mathematics) -- History Mathematical stati...

Elementary induction on abstract structures / [by] Yiannis N. Moschovakis. (Studies in logic and the foundations of mathematics ; v. 77)

Elementary induction on abstract structures / [by] Yiannis N. Moschovakis. (Studies in logic and the foundations of mathematics ; v. 77)
Paper図書
North-Holland Pub. Co.1974.<MA41-73>
National Diet Library
  • Subject HeadingRecursive functions. Induction (Mathematics)

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]. (Lecture notes in mathematics ; 897)

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]. (Lecture notes in mathematics ; 897)
Paper図書
Springer-Verlag1981.<MA41-183>
National Diet Library
  • Subject Heading...- Foundations. Induction (Mathematics) Proof theory.
RSS