Main Page

JGEX

A Collection of Automated Generated Proofs for the Full-Angle Method and the Deductive Database Method .

1. The Full-Angle Method.

Example 401	Example 402	Example 403	Example 404	Example 405
Example 406	Example 407	Example 408	Example 409	Example 410

2. The Deductive Database Method based on Full-Angle.

Example 411	Example 412	Example 413	Example 414	Example 415
Example 416	Example 417	Example 418	Example 419	Example 420
Example 421	Example 422	Example 423	Example 424	Example 425

Example 426	Example 427	Example 428	Example 429	Example 430
Example 431	Example 432	Example 433	Example 434	Example 435
Example 436	Example 437	Example 438	Example 439	Example 440

Example 441	Example 442	Example 443	Example 444	Example 445
Example 446	Example 447	Example 448	Example 449	Example 450
Example 451	Example 452	Example 453	Example 454	Example 455

Example 456	Example 457	Example 458	Example 459	Example 460
Example 461	Example 462	Example 463	Example 464	Example 465
Example 466	Example 467	Example 468	Example 469	Example 470
Example 471	Example 472	Example 473	Example 474	Example 475

3. Deductive Databse Method with Auxiliary Points.

Example 435	Example 441	Example 442	Example 448	Example 462