Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. PolyBoRi
  5. Download

PolyBoRi 0.7.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu

Về PolyBoRi

PolyBoRi được triển khai như một thư viện C++ cho Đa thức qua Boolean Rings, cung cấp các loại dữ liệu cấp cao cho đa thức Boolean. Một giao diện trăn tạo ra các thuật toán mở rộng để tính toán các căn cứ Groebner trên Boolean Rings.

Các chương trình liên quan

  • RAVL, Recognition And Vision Library. Miễn phí

    Thư viện C++ chung, với các mô-đun cho Thị giác máy tính, Nhận dạng mẫu và nhiều hơn nữa.

  • A Helpful Terminal Emulator Miễn phí

    ''ah-tty'' là một trình trợ giúp tự động cho lời nhắc lệnh và vỏ. Đối với người dùng shell mới làm quen, điều này cung cấp phản hồi và lời khuyên về lệnh mà họ đang cố gắng sử dụng hoặc muốn sử dụng.

  • Virtual Body Miễn phí

    Dự án Cơ thể ảo nhằm mục đích trở thành một mô phỏng cơ thể con người, hữu ích cho các nhà giáo dục và trong tương lai, các bác sĩ.

  • Universal Maths Conversion Library Miễn phí

    Thư viện UMCL cung cấp một API duy nhất cho các nhà phát triển ứng dụng đòi hỏi phải chuyển đổi giữa các định dạng Toán học khác nhau và đặc biệt là ký hiệu cụ thể chữ nổi Braille.

  • Bhagavad Gita(YaBG) Miễn phí

    YaBG - Tuy nhiên, một & Bhagavad Gita" ứng dụng. Ứng dụng này cho phép bạn đọc qua toàn bộ bhagavad gita mà không bị gián đoạn; không có quảng cáo, không có cửa sổ pop up đau đớn; hoàn toàn miễn phí và không có g

  • PHiMX Miễn phí

    PHiMX là một công cụ dòng lệnh để tạo ra mã XMI của một dự án trong PHP5. Nó có thể phân tích đệ quy một số thư mục của kịch bản PHP, hỗ trợ các định dạng XMI khác nhau và cho phép tích hợp các tập lệnh include_path.

  • Spanish Tester Lite Dùng thử miễn phí

    Tây Ban Nha Tester Pro kiểm tra bạn về liên hợp động từ tiếng Tây Ban Nha và thỏa thuận giữa các phần của bài phát biểu bằng cách tạo ra các câu hỏi đố mô phỏng.Các câu hỏi trắc nghiệm và điền vào chỗ trống kiểm tra kiến

  • Mechanicus Miễn phí

    Mechanicus là một mô phỏng cuộc đua giữa các phương tiện do người chơi xây dựng. Dự án này có hiệu quả bị bỏ rơi.

  • Analysis & Reconstruction Sound Miễn phí

    Analysis & Reconstruction Sound Engine phân tích một tập tin âm thanh thành một quang phổ và có thể tổng hợp quang phổ này, hoặc bất kỳ hình ảnh nào khác do người dùng tạo ra, trở lại thành một âm thanh.

  • Analyzer Component Framework Miễn phí

    ACF là một khuôn khổ choviết mô hình-checkers. ACF được xây dựng trên quan sát cơ bản rằng cấu trúc của hầu hết cáccác thuật toán kiểm tra mô hình độc lập với hình thức được sử dụng để mô tảhệ thống.