Thư viện GrafEq

GrafEq(http://www.peda.com/grafeq/) là một chương trình giáo dục (có lẽ vậy...?) dùng để vẽ đồ thị (hơi tiếc là đây là shareware). Tất nhiên, việc vẽ đồ thị hiện nay phổ biến đến mức ngay cả Google Search cũng làm được, nhưng chương trình này nổi tiếng vì có thể vẽ chính xác các hàm ẩn, chẳng hạn như x^2 + y^2 = 10, tức những hàm được biểu diễn dưới dạng f(x, y) = 0 mà x và y có thể tương ứng với nhiều giá trị của nhau. Nếu gặp trường hợp khó vẽ chính xác, nó cũng không xuất ra đồ thị sai mà có chức năng đánh dấu màu đỏ những vị trí chưa xác định rõ. Thư viện được liên kết ở đây tập hợp những đồ thị mẫu có giá trị nghệ thuật đặc biệt (?!??!), và điểm nhấn là mỗi đồ thị đều kèm theo công thức.

Jeff Tupper, người tạo ra chương trình này, còn nổi tiếng hơn với công thức tự in ra chính nó (https://en.wikipedia.org/wiki/Tupper%27s_self-referential_formula), nhưng thực ra công thức đó được dùng để benchmark GrafEq. Thuật toán mà chương trình này sử dụng đã được công bố thành bài báo tại SIGGRAPH 2001 (http://www.dgp.toronto.edu/~mooncake/papers/SIGGRAPH2001_Tupper.pdf), nên nếu quan tâm bạn cũng có thể tìm đọc. Cá nhân tôi thì nghĩ rằng sau hơn chục năm chắc cũng đáng ra phải có một phiên bản mã nguồn mở rồi, nhưng có vẻ vì đồ thị hàm ẩn chủ yếu được vẽ cho mục đích giáo dục nên nhu cầu khá lưng chừng...