Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-6 of  6 results for ""Mathematics - Numerical Analysis""

Your Filters

Publication : logical methods in computer science
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; 03B70, 65Y99, 68P, 68N, 68Q

  • Source: Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

Subjects: computer science - numerical analysis; mathematics - numerical analysis; 03d78, 58j45, 65m06, 65m25

  • Source: Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Computational Complexity of Smooth Differential Equations

Subjects: FOS: Computer and information sciences; BC1-199; Logic

  • Source: Lecture Notes in Computer Science ISBN: 9783642325885Logical Methods in Computer Science, Vol Volume 10, Issue 1 (2014)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Type classes for efficient exact real arithmetic in Coq

Subjects: d.2.4; FOS: Computer and information sciences; Computer Science - Logic in Computer Science

  • Source: Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)Logical Methods in Computer Science, 9, 1, pp. 1(1)-1(27)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

On computable approximations of Landau's constant

Subjects: FOS: Computer and information sciences; BC1-199; Logic

  • Source: Logical Methods in Computer Science, Vol Volume 8, Issue 4 (2012)

Record details

Read Online Read More Add to Saved list
×
Academic Journal

Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time

Subjects: FOS: Computer and information sciences; BC1-199; Logic

  • Source: Logical Methods in Computer Science, Vol Volume 10, Issue 4 (2014)

Record details

Read Online Read More Add to Saved list
×
  • 1-6 of  6 results for ""Mathematics - Numerical Analysis""