Đỉnh Phần mềm toán học Cho Linux

Schifra là một lỗi chỉnh Reed-Solomon mã thư viện rất mạnh mẽ, tối ưu hóa cao, và rất có thể cấu hình cho cả phần mềm và các ứng dụng cốt lõi dựa trên IP với việc triển khai trong C ++ và VHDL.Dự án hỗ trợ tiêu chuẩn, rút ​​ngắn, và được đâm mã...

Command Line calculator "CLC" là các máy tính mà có thể tính toán trực tiếp tại bàn điều khiển Linux.Giải nén tập tin CLCC đến / usr / bin bạn có thể cần phải đăng nhập như là người chủ hoặc tài khoản equvalent, để có thể truy cập nó bất cứ khi nào bạn...

dự án Visual Máy Turing là một chương trình cho phép bạn tạo một máy Turing với một điểm và nhấp vào giao diện thay vì sử dụng ngôn ngữ bí truyền.Bạn có thể gói máy móc phức tạp của bạn vào hộp nhỏ, và sau đó tái sử dụng chúng như một phần của máy lớn...

K3DSurf là ​​một chương trình những người tạo ra các bề mặt 3D với các công thức toán học (Parameter hoặc các phương trình Explicit).Một phiên bản cao cấp hơn đang được xây dựng nên tất cả các ý kiến ​​của bạn đều được chào đón. Chương trình K3DSurf đã...

Calcoo là một máy tính khoa học RPN và đại số.Dưới đây là một số tính năng chính của...

L2P tạo ra hình ảnh PNG các biểu thức toán học được định dạng LaTeX. Trong khi nó có thể chuyển đổi một tài liệu LaTeX toàn, nó được thiết kế để dễ dàng tạo ra các hình ảnh từ một đoạn mã LaTeX.Tải l2p ở đây, hoặc đọc các tài liệu hướng dẫn. L2P phụ thuộc...

GNU polyxmass là hàng loạt bộ phần mềm phổ for (sinh học) -polymers.GNU polyxmass có framework phổ khối tích hợp mà người sử dụng có thể xác định thương hiệu mới chất hóa học polymer (trong module polyxdef), và sử dụng các định nghĩa này để làm cho các...

Dstar Lite là một thực hiện của thuật toán C D * Lite như đã giải thích ở [Koenig, 2002].Có một vài thay đổi nhỏ để mã này để cải thiện thời gian tính toán khoảng cách và đường dẫn. Đây là một phần rất đơn giản của phần mềm và phải mất rất ít thời gian để...

ESC dự án / Java2 Frontend phân tích mã Java 1.4 nguồn và Java 1.5 bytecode vào một Abstract Syntax Tree có thể được sử dụng để mở rộng Kiểm tra tĩnh.Extended tĩnh Checker cho Java phiên bản 2 (ESC / Java2) là một công cụ lập trình mà cố gắng để tìm ra...

Grapher là một dự án nghiên cứu attemts để giải quyết các vấn đề của phương trình vẽ đồ ngầm định (tức là trong các hình thức f (x, y) = g (x, y)). Trọng tâm chính ở đây sẽ được thử nghiệm với các thuật toán khác nhau, mặc dù chúng tôi cố gắng cung cấp...