1
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
2
by Comninos, Peter., Comninos, Peter.
Published 2006
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
View full text
Electronic eBook
4
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ...Experimental Computation and Visual Theorems -- Soft Math Math Soft -- Flyspecking Flyspeck...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... of Interests -- Publishing Math Lecture Notes as Linked Data -- GoNTogle: A Tool for Semantic Annotation...
View full text
Electronic eBook