Search Results for "engineer"

...The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines.

Recent advances in DNA cloning and synthesis technologies afford high throughput implementation of designed sequences into living cells. However, our ability to design sequences to interrogate multifactorial biological processes and further engineer biological functions is lagging behind. DNA-Tailor (D-Tailor) is a fully extendable software framework for biological sequence analysis and multi-objective sequence design. D-Tailor permits the seamless integration of an arbitrary number of sequence analysis tools into a Monte-Carlo algorithm that evolves synthetic sequences towards user-defined goals.

"gtdev" is an open source tool which assists the engineer in developing a new gas turbine (1D Thermo- and Aerodynamics). It is created by the student research group "Hummingbird - TUM Gas Turbines" placed at the LFA, TU Munich: http://www.hummingbird.tum.de

...Imagine commands like: "dim screw12 as new screw" or "mold(form_piston_081212, brass)" or ''gear(3)=lasercut(steel2,"biggear.gc")". This approach will let us program highly automated and self-deploying or even self-replicating factories. I am more engineer than programmer and just beginner in python. So it looks like community help will be needed :)

Small Python programs for the structural designer / Pequeños programas para el diseñador de estructuras hechas en Python