GlobalView
proof

Showing items 1 - 7 of 7.

Add to Quick Collection   All 7 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Creators: Zudilin, Wadim
Date: 2014
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.13/1304511
Description: We present a proof of the formula, due to Mellit and Brunault, which evaluates an integral of the regulator of two modular units to the value of the L-series of a modular form of weight 2 at s=2. Appl... More
Reviewed: Reviewed
Date: 2014
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.13/1297350
Description: We answer a question of Calkin and Wilf concerning the maximal order of Stern’s diatomic sequence. Specifically, we prove that [formula could not be replicated] where φ = (√5 + 1)/2 is the golden rati... More
Reviewed: Reviewed
Date: 2012
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.13/1038256
Description: The mathematical community (appropriately defined) faces a great challenge to re-evaluate the role of proof in light of the power of current computer systems, the sophistication of modern mathematical... More
Full Text: Full Text
Image Thumbnail
Date: 2012
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.13/936823
Description: The material we review focuses on the teaching of proof, in the light of the empirical and deductive aspects of mathematics. There is emphasis on the role of technology, not just as a pragmatic tool b... More
Date: 2008
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.13/1038697
Description: With the advent of powerful, widely-available mathematical software, combined with ever-faster computer hardware, we are approaching a day when both the discovery and proof of mathematical facts can b... More
Full Text: Full Text
Reviewed: Reviewed
Image Thumbnail
Creators: Anderson, John
Date: 2008
Resource Type: journal article
Identifier: uon:5176
Description: Identification of a defendant is a complex and fascinating issue that frequently arises in criminal trials. Important rules apply in relation to the admissibility, and warnings as to the use, of ident... More
Reviewed: Reviewed
Date: 2005
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.13/940740
Description: The emergence of powerful mathematical computing environments, the growing availability of correspondingly powerful (multi-processor) computers and the pervasive presence of the internet allow for mat... More
Reviewed: Reviewed
  • First
  • Previous
  • 1
  • Next
  • Last