Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Idiomas / Languages

Original en español. El selector de la matriz editorial estará disponible cuando responda el servicio de presentación.

Ver original en español / Spanish original

La traducción automática facilita la lectura. Contraste términos, fórmulas y sentido con el original.

Relación de instrumentos y comunidades

Este apéndice identifica los instrumentos de realización. Ninguna herramienta constituye por sí sola una demostración matemática ni acredita la validez semántica de una representación.

InstrumentoFunción y situación en esta investigaciónComunidad y documentación
RustLenguaje obligatorio para los nuevos componentes propios. La organización de datos y los contrastes de esta revisión están realizados en Rust. El conversor histórico todavía requiere migración y comprobación de equivalencia; no se declara completada.Comunidad · Documentación.
eguiInstrumento designado para representar e inspeccionar interactivamente la célula. Su incorporación al tratado sigue pendiente.Comunidad.
redbPersistencia transaccional del conjunto de once sucesos. La política de adición sin sustitución corresponde a las operaciones propias que lo utilizan.Comunidad · Documentación de la versión 4.4.0.
mdBookPreparación editorial del libro, índices y referencias entre capítulos.Comunidad.
resvgRepresentación de las figuras vectoriales para su comparación con imágenes de muestras.Comunidad.
VTracerObtención de aproximaciones vectoriales para las ilustraciones a color. Estas aproximaciones no sustituyen las referencias visuales conservadas.Comunidad.
imageLectura, conversión y comprobación de formatos de imagen en los instrumentos de preparación.Comunidad.

Los programas y recursos de terceros mantienen sus licencias respectivas. El capítulo de autoría y licencias delimita el aviso general de la obra.