McLarty, Colin Poincaré on the value of reasoning machines. (English) Zbl 07864494 Bull. Am. Math. Soc., New Ser. 61, No. 3, 411-422 (2024). MSC: 68-03 01A55 68V20 PDFBibTeX XMLCite \textit{C. McLarty}, Bull. Am. Math. Soc., New Ser. 61, No. 3, 411--422 (2024; Zbl 07864494) Full Text: DOI
Kahle, Reinhard; Sommaruga, Giovanni Hilbert’s Axiomatisches Denken. (English) Zbl 07632994 Ferreira, Fernando (ed.) et al., Axiomatic thinking I. Cham: Springer. 23-37 (2022). MSC: 03-03 03A05 00A30 01A80 01A60 PDFBibTeX XMLCite \textit{R. Kahle} and \textit{G. Sommaruga}, in: Axiomatic thinking I. Cham: Springer. 23--37 (2022; Zbl 07632994) Full Text: DOI
Lützen, Jesper Hjelmslev’s geometry of reality. (English) Zbl 1471.01020 Hist. Math. 54, 95-116 (2021). Reviewer: Thomas Sonar (Braunschweig) MSC: 01A60 51-03 51Cxx 00A30 PDFBibTeX XMLCite \textit{J. Lützen}, Hist. Math. 54, 95--116 (2021; Zbl 1471.01020) Full Text: DOI
Changat, Manoj; Narasimha-Shenoi, Prasanth G.; Seethakuttyamma, Geetha Betweenness in graphs: a short survey on shortest and induced path betweenness. (English) Zbl 1423.05089 AKCE Int. J. Graphs Comb. 16, No. 1, 96-109 (2019). MSC: 05C38 05C12 05C40 PDFBibTeX XMLCite \textit{M. Changat} et al., AKCE Int. J. Graphs Comb. 16, No. 1, 96--109 (2019; Zbl 1423.05089) Full Text: DOI OA License
Detlefsen, Michael On the motives for proof theory. (English) Zbl 1429.03002 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 121-145 (2015). MSC: 03-03 03F03 01A60 PDFBibTeX XMLCite \textit{M. Detlefsen}, Outst. Contrib. Log. 7, 121--145 (2015; Zbl 1429.03002) Full Text: DOI
Lützen, Jesper Why was Wantzel overlooked for a century? The changing importance of an impossibility result. (English) Zbl 1181.01034 Hist. Math. 36, No. 4, 374-394 (2009). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 01A55 51M15 12D05 01A85 PDFBibTeX XMLCite \textit{J. Lützen}, Hist. Math. 36, No. 4, 374--394 (2009; Zbl 1181.01034) Full Text: DOI
MacLane, Saunders The genesis of mathematical structures, as exemplified in the work of Charles Ehresmann. (English) Zbl 0441.18001 Cah. Topol. Géom. Différ. 21, 353-365 (1980). MSC: 18-03 00A30 03A05 PDFBibTeX XMLCite \textit{S. MacLane}, Cah. Topologie Géom. Différ. Catégoriques 21, 353--365 (1980; Zbl 0441.18001) Full Text: Numdam EuDML
André, Johannes Über Homomorphismen projektiver Ebenen. (German) Zbl 0186.54402 Abh. Math. Semin. Univ. Hamb. 34, 98-114 (1969). PDFBibTeX XMLCite \textit{J. André}, Abh. Math. Semin. Univ. Hamb. 34, 98--114 (1969; Zbl 0186.54402) Full Text: DOI
Tóth, Imre Das Parallelenproblem im Corpus Aristotelicum. (German) Zbl 0154.24602 Arch. Hist. Exact Sci. 3, 249-422 (1967). Reviewer: E. Stamatis MSC: 01A20 PDFBibTeX XMLCite \textit{I. Tóth}, Arch. Hist. Exact Sci. 3, 249--422 (1967; Zbl 0154.24602) Full Text: DOI
Salzmann, Helmut Topologische Struktur zweidimensionaler projektiver Ebenen. (German) Zbl 0092.38402 Math. Z. 71, 408-413 (1959). PDFBibTeX XMLCite \textit{H. Salzmann}, Math. Z. 71, 408--413 (1959; Zbl 0092.38402) Full Text: DOI EuDML
Galvani, Octave Sur la realisation des espaces ponctuels à torsion en géométrie euclidienne. (French) Zbl 0063.09006 Ann. Sci. Éc. Norm. Supér., III. Sér. 62, 1-92 (1945). PDFBibTeX XMLCite \textit{O. Galvani}, Ann. Sci. Éc. Norm. Supér. (3) 62, 1--92 (1945; Zbl 0063.09006) Full Text: DOI Numdam EuDML