Sciweavers

AMAI
2015
Springer
7 years 11 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
AMAI
2015
Springer
7 years 11 months ago
A Singular web service for geometric computations
Francisco Botana, Zoltán Kovács
AMAI
2015
Springer
7 years 11 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
AMAI
2015
Springer
7 years 11 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
AMAI
2015
Springer
7 years 11 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...