RISC-CLP(CF) Constraint Logic Programming over Complex Functions (1994) [13 citations — 2 self]

Download:

by Hoon Hong

In Logic Programming and Automated Reasoning (LPAR'94

ftp://ftp.cs.unh.edu/pub/csp/archive/papers/nato/clpcf.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Hong94risc-clp(cf)constraint,
    author = {Hoon Hong},
    title = {RISC-CLP(CF) Constraint Logic Programming over Complex Functions},
    booktitle = {In Logic Programming and Automated Reasoning (LPAR'94},
    year = {1994},
    pages = {9--4},
    publisher = {Springer}
}

Abstract:

Abstract. A constraint logic programming system for the domain of complex functions is described. The intended users of the language are scientist and engineers who often reason/compute with constraints over complex functions, such as functional equalities, differential equations, etc. Constraints are solved by iterating several solving methods such as Laplace transformation, non-linear equation solving, etc. A prototype has been built and is illustrated in the paper. 1

Citations

755	Constraint Logic Programming – Jaffar, Lassez - 1987
286	An introduction to prolog III – Colmerauer - 1990
247	The Constraint Logic Programming Language CHIP – Dincbas
155	Applying interval arithmetic to real, integer, and Boolean constraints – Benhamou, Older - 1997
111	Partial cylindrical algebraic decomposition for quantifier elimination – Collins, Hong - 1991
99	Advanced Engineering Mathematics – Kreyszig - 1993
85	Methodology and implementation of a CLP system – Jaffar, Michaylov - 1987
72	Constraint Arithmetic on Real Intervals – Older, Vellino - 1993
42	Applications of Gröbner bases in non-linear computational geometry – Buchberger - 1988
33	Safe Starting Regions by Fixed Points and Tightening – Hong, Stahl - 1994
25	Constraint Logic Programming Language CAL – Aiba
14	RISC-CLP(Real): Constraint logic programming over real numbers – Hong - 1993
13	Non-linear real constraints in constraint logic programming – Hong - 1992
13	Confluency of cooperative constraint solvers – Hong - 1994
10	CAL: A Theoretical Background of Constraint Logic Programming and its Applications – Sakai, Aiba - 1989
9	Applying Interval Arithmetic to Real – Benhamou, Older - 1997
6	Approximate quantifier elimination – Hong - 1995
4	Extending RISC-CLP(Real) to Handle Symbolic Functions – Caprotti - 1993
4	The CLP(R) Programmer 's Manual Version 1.1 – Heintze, Michaylov, et al. - 1991
3	Final specifications for PROLOG-III – Colmerauer - 1988
1	Confluency of Cooperative Solvers – Hong - 1994

View or Download | Add to My Collection | Correct Errors