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.
| Instrumento | Función y situación en esta investigación | Comunidad y documentación |
|---|---|---|
| Rust | Lenguaje 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. |
| egui | Instrumento designado para representar e inspeccionar interactivamente la célula. Su incorporación al tratado sigue pendiente. | Comunidad. |
| redb | Persistencia 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. |
| mdBook | Preparación editorial del libro, índices y referencias entre capítulos. | Comunidad. |
| resvg | Representación de las figuras vectoriales para su comparación con imágenes de muestras. | Comunidad. |
| VTracer | Obtención de aproximaciones vectoriales para las ilustraciones a color. Estas aproximaciones no sustituyen las referencias visuales conservadas. | Comunidad. |
| image | Lectura, 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.