Blanchette, Jasmin Christian; Böhme, Sascha; Fleury, Mathias; Smolka, Steffen Juilf; Steckermeier, Albert Semi-intelligible Isar proofs from machine-generated proofs. (English) Zbl 1356.68178 J. Autom. Reasoning 56, No. 2, 155-200 (2016). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Martin, C. E.; Curtis, S. A. Fractal image compression. (English) Zbl 1297.68052 J. Funct. Program. 23, No. 6, 629-657 (2013). MSC: 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
Botana, Francisco; Valcarce, José L. Automatic determination of envelopes and other derived curves within a graphic environment. (English) Zbl 1091.68111 Math. Comput. Simul. 67, No. 1-2, 3-13 (2004). MSC: 68U05 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Anderson, Michael; Mccartney, Robert Diagram processing: Computing with diagrams. (English) Zbl 1082.68816 Artif. Intell. 145, No. 1-2, 181-226 (2003). MSC: 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Botana, F.; Valcarce, J. L. A software tool for the investigation of plane loci. (English) Zbl 1011.68149 Math. Comput. Simul. 61, No. 2, 139-152 (2003). MSC: 68U05 × Cite Format Result Cite Review PDF Full Text: DOI