A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions

EISBN:9783030950880
PISBN:9783030950873
出版社:Springer Nature
出版时间:2022
作者:Jean-Luc Marichal;Naïm Zenaïdi
主题词:Mathematics and Statistics
学科:O 数理科学和化学,O1 数学,O17 数学分析,O174 函数论,O174.6 特殊函数
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Theorem Proving in Higher Order Logics

  • 作者:Gerhard Goos,Juris Hartmanis,Jan Leeuwen,Joakim Wright,Jim Grundy,John Harrison
  • EISBN:9783540706410
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Theorem Proving in Higher Order Logics

  • 作者:Klaus Schneider,Jens Brandt
  • EISBN:9783540745914
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Theorem Proving in Higher Order Logics

  • 作者:Stefan Berghofer,Tobias Nipkow,Christian Urban,Makarius Wenzel
  • EISBN:9783642033599
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Theorem Proving in Higher Order Logics

  • 作者:Joakim von Wright,Jim Grundy,John Harrison
  • EISBN:9783540706410
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Theorem Proving in Higher Order Logics

  • 作者:Mark Aagaard,John Harrison
  • EISBN:9783540446590
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Theorem Proving in Higher Order Logics

  • 作者:Yves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery
  • EISBN:9783540482567
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1999