Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martín Hötzel Escardó
Comparing Functional Paradigms for Exact Real-Number Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Semantics of a Sequential Language for Exact Real-Number Computation
Lazy Functional Algorithms for Exact Real Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exact Computation for Existence of a Knot Counterexample
Applied General Topology
Geometry
Topology
Exact Geometric Computation Using Cascading
International Journal of Computational Geometry and Applications
Geometry
Applied Mathematics
Computational Theory
Computational Mathematics
Mathematics
Theoretical Computer Science
Topology
Comparing Heuristics for Graph Edit Distance Computation
VLDB Journal
Hardware
Information Systems
Architecture
Cognitive and Innovative Computation Paradigms for Big Data and Cloud Computing Applications
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Exact Computation of Area Moments for Spline and Wavelet Curves
Symbolic Computation of Exact Solutions for Fractional Differential-Difference Equation Models
Nonlinear Analysis: Modelling and Control
Applied Mathematics
Analysis
Transparent Fault Tolerance for Scalable Functional Computation
Journal of Functional Programming
Software
