Sciweavers

155
Voted
AMAI
2015
Springer
9 years 7 months ago
Formalizing complex plane geometry
Deep connections between complex numbers and geometry had been well known and carefully studied centuries ago. Fundamental objects that are investigated are the complex plane (usua...
Filip Maric, Danijela Petrovic
66
Voted
AMAI
2015
Springer
9 years 7 months ago
A Singular web service for geometric computations
Francisco Botana, Zoltán Kovács
66
Voted
AMAI
2015
Springer
9 years 7 months ago
A unifying learning framework for building artificial game-playing agents
Wenlin Chen, Yixin Chen, David K. Levine
76
Voted
AMAI
2015
Springer
9 years 7 months ago
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
This work presents a formalization of the discrete model of the continuum introduced by Harthong and Reeb [16], the HarthongReeb line. This model was at the origin of important dev...
Nicolas Magaud, Agathe Chollet, Laurent Fuchs
68
Voted
AMAI
2015
Springer
9 years 7 months ago
Lang's Universal molecule algorithm
We present a Java implementation of Lang’s Universal Molecule algorithm, alongside with a visualization of its interconnected structures: the input metric tree and compatible co...
John Christopher Bowers, Ileana Streinu
72
Voted
AMAI
2015
Springer
9 years 7 months ago
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs
George H. L. Fletcher, Marc Gyssens, Dirk Leinders...
80
Voted
AMAI
2015
Springer
9 years 7 months ago
Lattice-based and topological representations of binary relations with an application to music
Abstract Formal concept analysis associates a lattice of formal concepts to a binary relation. The structure of the relation can then be described in terms of lattice theory. On th...
Anton Freund, Moreno Andreatta, Jean-Louis Giavitt...