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

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 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

Danh sách các phần mềm toán học miễn phí

Danh sách các phần mềm (thư viện) toán học miễn phí

(Tham khảo:  http://mathandmultimedia.com/2009/12/02/free-mathematics-software/)

Phần mềm Archim (Hình học động) – Archim của hãng Stochastic Lab là phần mềm chuyên dụng trong việc vẽ các đồ thị toán học dạng 2D và 3D. Archim tương thích với mọi phiên bản Windows và hoàn toàn miễn phí. Một điểm đáng chú ý là phần mềm này có nhiều tư tưởng và cách tiếp cận khác với các phần mềm tương tự khác hiện có.

Phiên bản online: http://www.archimy.com/

---

Phần mềm Armadillo (Thống kê; C++ Libary) – Armadillo là thư viện đại số tuyến tính chất lượng cao cho ngôn ngữ C++. Có thể sử dụng cho các lĩnh vực: Học máy, Nhận dạng mẫu, Thị giác máy tính, Xử lý tín hiệu, Tin sinh học, Thống kê, Kinh tế lượng, …

---

Phần mềm Axiom (Tính toán biểu tượng) – Axiom là hệ thống đại số máy tính (phần mềm tính toán trên biểu tượng toán) miễn phí. Phần mềm hữu ích cho mục đích nghiên cứu và phát triển các giải thuật toán học.

---

Phần mềm Bayes++ (Thống kê; C++ Libary) – Bayes++ là thư viện mã nguồn mở cho ngôn ngữ C++. Cung cấp các giải thuật tính toán số cho Bayesian Filtering (Lọc Bayes – một kỹ thuật trong xác suất cho mục đích tổng hợp dữ liệu) của các hệ thống rời rạc.

---

Phần mềm Bayesian Filtering Library (BFL) (Thống kê; C++ Libary) – BFL là thư viện mã nguồn mở cho ngôn ngữ C++. Cung cấp môi trường độc lập ứng dụng cho suy diễn thống kê trong các mạng Bayes động (Dynamic Bayesian Networks: (Extended) Kalman Filters, Particle Filters (Sequential Monte Carlo methods).

---

Phần mềm C.A.R. (Hình học động) – C.a.R. là phần mềm hình học động mã nguồn mở. Cung cấp mô phỏng dựng hình bằng thước và compa trên máy tính. Ngoài ra, còn hỗ trợ các hình học khác như hyperbolic và elliptic.

---

Phần mềm Cadabra (Chuyên sâu; Tính toán biểu tượng) – Cadabra là hệ thống đại số máy tính (phần mềm tính toán trên biểu tượng toán) miễn phí. Thiết kế chuyên dụng cho các bài toán trong lý thuyết trường (field-theory: tensor computer algebra, tensor polynomial simplification including multi-term symmetries, fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types, …).

---

Phần mềm Cantor (Giao diện) – Cantor là giao diện đồ họa miễn phí cho các phần mềm toán học. Hỗ trợ:  KAlgebra, Lua, Maxima, Octave, Python 2 and 3, Qalculate, R, Sage, và Scilab.

---

Phần mềm CoCoA (Chuyên sâu) – CoCoA (“COmputations in COmmutative Algebra”) là phần mềm miễn phí hỗ trợ tính toán trong các vành đa thức nhiều biến trên các tập số hữu tỷ & nguyên, cũng như trên các ideal và module của chúng (trên cơ sở lý thuyết Gröbner). Ứng dụng chính của CoCoA là trong đại số giao hoán và hình học đại số. CoCoA hỗ trợ tinh toán với số nguyên cực lớn (2^300000) và với phân số có độ chính xác rất nhỏ. Thư viện mã nguồn mở cho C++ có tên là CoCoALib.

---

Phần mềm Euler Math Toolbox (EMT)  (Tính toán biểu tượng) – EMT là phần mềm toán học mạnh mẽ kết hợp tính toán số và tính toán biểu tượng (sử dụng Maxima).

Phần mềm JMathLib

JMathLib là phần mềm toán học được viết hoàn toàn bằng java. Một thư viện các hàm toán học được thiết kế để tính toán các biểu thức phức tạp và hiển thị các kết quả đồ họa. Nó sẽ được sử dụng cũng như tương tác thông qua cửa sổ giao diện hoặc các tập tin script. Dự án này là phiên bản java của các phần mềm toán học mã nguồn mở như  Octave, FreeMat, Scilab.

JMathLib được cấp phép theo Lesser General Public License

Link: http://www.jmathlib.de/

Ghi chú: Tương tự như phần mềm Scilab nhưng khó sử dụng hơn: giao diện kém hơn Scilab, chưa có nhiều hỗ trợ như Scilab.

Phần mềm SageMath

SageMath là một chương trình tính toán mã nguồn mở, cấp phép bởi GPL. Nó là sự kết hợp sức mạnh của nhiều gói source vào Python (NumPy, SciPy, matplotlib, Sympy,Maxima, GAP, FLINT, R and many more). Nhiệm vụ của Sage là tạo ra một chương trình miễn phí có thể thay thế Magma, Maple, Mathematica và Matlab.
SageMath có thể sử dụng theo nhiều cách: giao diện đồ họa, dòng lệnh, chương trình và các script.

Trang chủ (download): http://www.sagemath.org/

Phiên bản online: https://cloud.sagemath.com/

Tài liệu hướng dẫn sử dụng SageMath:

• Hướng dẫn cài đặt Sage: download
• Vẽ mặt bậc 2 (Nguyễn Trung Hiếu): download

———–&&———–