Phần mềm PhotoSolver

PhotoSolver là một ứng dụng trong việc dạy và học toán miễn phí của Got It – giải toán qua camera (của di động) – dựa trên nền tảng Trí tuệ nhân tạo (AI).

PhotoSolver có khả năng nhận diện đề bài từ hình chụp, sau đó cung cấp cho người dùng từng bước một để giải bài toán. Phần đề bài được tiếp nhận dưới dạng văn bản in, chép tay hay ngay chính phép toán trên bảng.

Trên thế giới từng xuất hiện những ứng dụng tương tự, tuy nhiên, điểm khác biệt của PhotoSolver là:

  • Có thể đưa ra các gợi ý nhằm củng cố kiến thức cho người học.
  • Giải được rất nhiều các dạng toán phức tạp, từ toán cơ bản, đại số, lượng giác cho đến đại số tuyến tính, giải tích, tích phân, toán hữu hạn, điều mà không phải ứng dụng giải toán nào cũng có thể làm được.

Anh Trần Việt Hùng – Founder của Got It cho biết, sở dĩ PhotoSolver có thể nhận diện các công thức kể cả dạng toán viết tay là nhờ một hệ thống Deep Learning (học sâu) gọi là CNN (Convolutional Neural Network).

Theo vị Founder của Got It, ngay kể cả khi AI cùng các ứng dụng như PhotoSolver phát triển, nó cũng sẽ không làm mờ nhạt đi vai trò của người thầy. Đây thậm chí còn là động lực để thúc đẩy thầy cô nghĩ ra những phương pháp dạy học và kiểm tra kết quả mới.

Download: iOS ; Android

Sử dụng PhotoSolver giải thử 1 câu đề Toán THPT quốc gia

Tham khảo: Trí tuệ nhân tạo Việt thành “hiện tượng đột phá” tại Thung lũng Silicon

——————–&&&———————

Phần mềm PhotoMath

“Với PhotoMath, bạn có thể có một giáo viên Toán trong túi của bạn”

PhotoMath là phần mềm giải toán qua camera (của di động) đầu tiên trên thế giới – xây dựng bởi MicroBLINK. Chỉ cần hướng camera tới một biểu thức toán học, PhotoMath ngay lập tức hiển thị các kết quả chính xác. Bằng cách nhấn vào nút Step, bạn có thể xem các bước giải pháp đầy đủ.

Học sinh có thể sử dụng nó như một công cụ giúp học Toán, trong khi cha mẹ có thể sử dụng nó để kiểm tra bài tập về nhà của con em họ.

PhotoMath hiện hỗ trợ các phép toán số học cơ bản, phân số, số thập phân, phương trình tuyến tính và một số hàm như như logarit.

Văn bản viết tay không được hỗ trợ, chỉ hỗ trợ các bài toán in từ sách.

Trang chủ: https://photomath.net/
Download: iOS ; Windows Phone ; Android

 

———–&&———–

Thư viện tài chính định lượng QuantLib

Thư viện tài chính định lượng QuantLib

QuantLib là một thư viện phần mềm mã nguồn mở, hỗ trợ các nhà phát triển phần mềm để định giá công cụ tài chính và các đối tượng liên quan: mô hình, giao dịnh & quản trị rủi ro.

QuantLib được viết bằng C++, có thể giao tiếp với các ngôn ngữ khác qua SWIG, truy cập bởi excel qua QuantLibXL. Phiên bản được viết bằng Java của QuantLib là JQuantLib.

Các chức năng chính: 

  • Định giá các công cụ tài chính

– Quyền chọn: Quyền chọn Châu Á, quyền chọn Cliquet, quyền chọn Compound, quyền chọn Digital, quyền chọn Lookback, quyền chọn Vanilla.

– Trái phiếu: Trái phiếu khấu hao, Trái phiếu chuyển đổi, Trái phiếu lãi suất cố định, Trái phiếu lãi suất thả nổi, Trái phiếu không trả lãi.

– Đường cong lợi tức

– Hỗ trợ thời gian: Lịch, Tính toán ngày, Phương pháp đếm ngày

– swaps: Giao dịch hoán đổi tài sản, giao dịch hoán đổi BMA, Giao dịch hoán đổi lạm phát, Giao dịch hoán đổi Vanilla

– Tiện tệ

  • Các mô hình cho:

– Đường cong lợi tức

– Lãi suất

– Volatility

  • Các phương pháp định giá phái sinh

– Công thức Black–Scholes

– Phương pháp cây

– Phương pháp sai phân hữu hạn

– Phương pháp Monte Carlo

  • Quản trị rủi ro

– VaR

Trang chủ: http://quantlib.org

——————————————-

Xem thêm: http://implementingquantlib.blogspot.com/

Xem thêm: http://www.vnquants.com/ung-dung/ma-nguon-mo-trong-tai-chinh-1-quantlib-phong-van-luigi-ballabio-ve-thu-vien-c

—————&&————-

Thư viện tài chính định lượng JQuantLib

Thư viện tài chính định lượng JQuantLib

JQuantLib là một gói thư viện mã nguồn mở, viết bằng Java, nhằm mục đích hỗ trợ cho các chuyên gia phát triển phần mềm trong lĩnh vực tài chính định lượng. JQuantLib cung cấp những công cụ về toán và thống kê cần thiết trong định giá cổ phiếu, option, futures, swaps và những công cụ tài chính khác; bên cạnh đó là những công cụ hỗ trợ trong quản trị rủi ro và tiền tệ.
JQuantLib có nguồn gốc từ gói mã nguồn mở cho tài chính định lượng QuantLib – được viết bằng C++ và có thể thực thi qua Excel thông qua QuantLibXL.
Các chức năng chính

  • Hỗ trợ thời gian: ngày tháng thông thường và IMM (International Monetary Market); lịch giao dịch của các thị trường chính từ 2004 – 2012
  • Công cụ tài chính chung: European Options, American Options, Asian Options
  • Mô hình định giá:Black – Scholes, Barone Adesi Whaley, Bjerksund Stensland và IntegralEngine
  • Quản trị rủi ro: Value At Risk, Expected Shortfall, Shortfall, Volatility
  • Phương pháp:
  1. – Nhóm phương pháp lưới: Cox-Ross-Rubinstein, Trigeorgis, Additive EQP, JarrodRudd, Joshi4, LeisenReimer, Tian
  2. – Nhóm phương pháp sai phân hữu hạn: Shout, Bermudan and American exercises; Tridiagonal operators
  • Thuật toán: Phân tích, ngẫu nhiên và mô phỏng.

Trang chủ: http://www.jquantlib.org

—————–&&—————–

Phần mềm PSPP

99px-Pspplogo.png (99×113)

PSPP là phần mềm mã nguồn mở ứng dụng trong phân tích các mẫu dữ liệu, có cả giao diện đồ họa và command line. Phần mềm được viết bằng  C, cấp phép bởi GNU. PSPP được xây dựng với mục đích là một phần mềm mã nguồn mở thay thế cho SPSS (chỉ khác chút ít).

Các chức năng chính: thống kê mô tả, T-test và phân tích phương sai, hồi quy tuyến tính, kiểm định phi tham số, phân tích nhân tố,….

Tùy lựa chọn của người dùng, PSPP có thể xuất ra dữ liệu đồ họa theo các định dạng: ASCII, PDF, PostScript và HTML. Dữ liệu đầu vào có thể là: Gnumeric, OpenDocument, bảng tính Excel, dữ liệu Postgres, ASCII, CSV. Dữ liệu có thể xuất ra file tương thích với SPSS và ASCII file.

PSPP có thể được hiểu là: Perfect Statistics Professionally Presented; Probabilities Sometimes Prevent Problems hoặc People Should Prefer PSPP.

Trang chủ (download): http://www.gnu.org/software/pspp/

————&&————

Phần mềm GLPK

gnu-head-sm.jpg (129×122)

GNU Linear Programming Kit (GLPK) là phần mềm tối ưu hóa mã nguồn mở,  giải quyết bài toán quy hoạch tuyến tính (LP) cỡ lớn, bài toán quy hoạch nguyên hỗn hợp (MIP), và các vấn đề liên quan. Phần mềm sử dụng thuật toán đơn hình cải tiến và phương pháp (primal-dual)  điểm trong để giải bài toán quy hoạch tuyến tính; sử dụng giải thuật nhánh-cận & nhát cắt Gomory để giải bài toán quy hoạch nguyên.

Phần mềm được viết bằng C và phát hành dưới giấy phép GNU General Public License.

Một dự án độc lập đã được xây dựng nhằm hỗ trợ GLPK cho Java.

Trang chủ: http://www.gnu.org/software/glpk/

GLPK cho Windows: http://gnuwin32.sourceforge.net/packages/glpk.htm

hoặc: http://winglpk.sourceforge.net/

GLPK cho Java: http://glpk-java.sourceforge.net/

Tài liệu: 

Hướng dẫn sử dụng GLPK: https://tuanvanle.wordpress.com/2013/06/02/huong-dan-su-dung-glpk/

————-&&————

Phần mềm Scilab/Scicos/ScicosLab

Cả 3 phần mềm này đều mã nguồn mở và là anh em của nhau.

Scilab là một phần mềm tính toán số (numerical computation), chính thức ra đời vào cuối những năm 90.

Trang chủ: http://www.scilab.org/

Scicos được xây dựng như là một phần của Scilab cho những câu chuyện về mô hình, mô phỏng.

Trang chủ: http://www-rocq.inria.fr/scicos/

ScicosLab bắt đầu được xây dựng vào năm 2005 – năm ra đời Scilab 5 (trong phiên bản 5 thì giao diện Scilab được xây dựng trên công nghệ mới – Java), ScicosLab dựa trên nền tảng Scilab 4 và bao hàm  Scicos (như vậy, ScicosLab tồn tại song song với Scilab, cùng từ 1 gốc nhưng khác một chút về mặt công nghệ).

Trang chủ: http://www.scicoslab.org/

Do có vấn đề về ổn định và hiệu suất với Scilab 5 nên bây giờ Scicos cũng chỉ phát triển bên trong và cho ScicosLab, bù lại Scliab cũng đã phát triển 1 tool dựa trên Scicos tên là Xcos.

Tóm lại, có thể dùng một trong hai: Scilab & ScicosLab.

Bài giới thiệu về Scilab trong chính blog này: https://tuanvanle.wordpress.com/2010/08/01/ph%E1%BA%A7n-m%E1%BB%81m-scilab/

Bài giới thiệu về ScicosLab trên dieukhien.net: http://www.dieukhien.net/vn/index.php?arid=1380