, Metaphor" has to be considered as the "conceptual metaphor" of Lakoff and Núñez

B. Abdank-abakanowicz, Les intégraphes, la courbe intégrale et ses applications: étude sur un nouveau système d'intégrateurs mécaniques, p.1886

O. Aberth, Computable analysis, vol.15, 1980.

F. B. Adda, Geometric interpretation of the fractional derivative, Journal of Fractional Calculus, vol.11, pp.21-52, 1997.

E. Artin, The Gamma Function. Holt, Rinehart and Winston, 1964.

F. Arzarello, Semiosis as a multimodal process. RELIME. Revista latinoamericana de investigación en matemática educativa, vol.9, pp.267-300, 2006.

A. Baker, Transcendental number theory, 1990.

M. G. Bartolini and . Bussi, Verbal interaction in mathematics classroom: A Vygotskian analysis, Language and communication in the mathematics classroom, pp.65-84, 1998.

M. G. Bartolini and . Bussi, Ancient instruments in the mathematics classroom, pp.343-351, 2000.

M. G. Bartolini-bussi and M. A. Mariotti, Semiotic mediation: From history to the mathematics classroom. For the learning of mathematics, vol.19, pp.27-35, 1999.

M. G. Bartolini-bussi and M. A. Mariotti, Semiotic mediation in the mathematics classroom: Artefacts and signs after a Vygotskian perspective, Handbook of international research in mathematics education, pp.746-783, 2008.

M. G. Bartolini-bussi and M. Maschietto, Macchine matematiche: dalla storia alla scuola, 2006.

S. Basu, R. Pollack, and M. F. Roy, Algorithms in real algebraic geometry, vol.176, 2006.
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587

G. Berkeley, The Analyst. 1734, vol.3

G. Berkeley, , vol.4, 1901.

G. D. Birkhoff, A set of postulates for plane geometry, based on scale and protractor, Annals of Mathematics, pp.329-345, 1932.

L. Blum, Computing over the reals: Where Turing meets Newton, Notices of the AMS, vol.51, issue.9, pp.1024-1034, 2004.

L. Blum, M. Shub, and S. Smale, On a theory of computation and complexity over the real numbers: np-completeness, recursive functions and universal machines, Bulletin (New Series) of the American Mathematical Society, vol.21, issue.1, pp.1-46, 1989.

J. Bochnak, M. Coste, and M. F. Roy, Real algebraic geometry, 1998.

A. Borel, Algebraic groups and Galois theory in the works of Ellis Kolchin, Selected works of Ellis Kolchin with Commentary, pp.505-525, 1999.

H. J. Bos, Tractional motion and the legitimation of transcendental curves, Centaurus, vol.31, issue.1, pp.9-62, 1988.

H. J. Bos, Recognition and wonder: Huygens, tractional motion and some thoughts on the history of mathematics, Tractrix, vol.1, pp.1-21, 1989.

H. J. Bos, Lectures in the History of Mathematics. Number 7, 1993.

H. J. Bos, Redefining geometrical exactness: Descartes' transformation of the early modern concept of construction, 2001.

D. Bouhineau, Solving geometrical constraint systems using CLP based on linear constraint solver, Artificial Intelligence and Symbolic Mathematical Computation, pp.274-288, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00961982

F. Boulier, Etude et implantation de quelques algorithmes en algebre différentielle, 1994.

F. Boulier, Differential elimination and biological modelling, vol.2, pp.109-137, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00139364

F. Boulier and F. Lemaire, Computing canonical representatives of regular differential ideals, Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, pp.38-47, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00139177

F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Representation for the radical of a finitely generated differential ideal, Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, pp.158-166, 1995.
URL : https://hal.archives-ouvertes.fr/hal-00138020

F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Computing representations for radicals of finitely generated differential ideals. Applicable Algebra in Engineering, Communication and Computing, vol.20, issue.1, pp.73-121, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00139061

F. Boulier, F. Lemaire, G. Regensburger, and M. Rosenkranz, On the integration of differential fractions, Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pp.101-108, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00825855

O. Bournez and M. L. Campagnolo, A survey on continuous time computations, New Computational Paradigms, pp.383-423, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00760976

O. Bournez, M. Campagnolo, D. Graça, and E. Hainry, The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation, Theory and Applications of Models of Computation, pp.631-643, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00102946

M. D. Bowles, US technological enthusiasm and British technological skepticism in the age of the analog brain, Annals of the History of Computing, vol.18, issue.4, pp.5-15, 1996.

C. B. Boyer, A history of mathematics, 1968.

C. Brooks, S. Keshavarzian, B. A. Lawrence, and R. Merritt, The Marshall differential analyzer project: a visual interpretation of dynamic equations, Advances in Dynamical Systems and Applications, vol.3, issue.1, pp.29-39, 2008.

B. Buchberger, Grobner bases: An algorithmic method in polynomial ideal theory. Multidimensional systems theory, pp.184-232, 1985.

B. Buchberger and M. Rosenkranz, Transforming problems from analysis to algebra: a case study in linear boundary problems, Journal of Symbolic Computation, vol.47, issue.6, pp.589-609, 2012.

A. Buium, Intersections in jet spaces and a conjecture of S. Lang, pp.557-567, 1992.

A. Buium and P. J. Cassidy, Differential algebraic geometry and differential algebraic groups: from algebraic differential equations to diophantine geometry, Selected works of Ellis Kolchin with Commentary, pp.527-554, 1999.

V. Bush, The differential analyzer. A new machine for solving differential equations, Journal of the Franklin Institute, vol.212, issue.4, pp.447-488, 1931.

R. D. Carmichael, On transcendentally transcendental functions, Transactions of the American Mathematical Society, vol.14, issue.3, pp.311-319, 1913.

G. and C. Ferro, Gröbner bases and differential algebra, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pp.129-140, 1989.

G. , C. Ferro, and W. Sit, On term-orderings and rankings, Lecture Notes in Pure and Applied Mathematics, pp.31-31, 1993.

J. C. Carrega, Théorie des corps: la règle et le compas, vol.1402, 1981.

P. J. Cassidy, Differential algebraic groups, American Journal of Mathematics, pp.891-954, 1972.

G. J. Chaitin, A theory of program size formally identical to information theory, Journal of the ACM (JACM), vol.22, issue.3, pp.329-340, 1975.

Q. Chen, K. Su, and X. Zheng, Primitive recursive real numbers, Mathematical Logic Quarterly, vol.53, issue.4-5, pp.365-380, 2007.

H. M. Choset, Principles of robot motion: theory, algorithms, and implementation, 2005.

S. C. Chou and X. S. Gao, Automated reasoning in differential geometry and mechanics using the characteristic set method, Journal of Automated Reasoning, vol.10, issue.2, pp.173-189, 1993.

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, pp.134-183, 1975.

B. J. Copeland, Hypercomputation. Minds and machines, vol.12, issue.4, pp.461-502, 2002.

R. Courant and H. Robbins, What is Mathematics?: an elementary approach to ideas and methods, 1996.

W. Decker, G. M. Greuel, and G. Pfister, Primary decomposition: algorithms and comparisons, 1999.

D. Dee and M. Ghil, Boolean difference equations, I: Formulation and dynamic behavior, SIAM Journal on Applied Mathematics, vol.44, issue.1, pp.111-126, 1984.

E. D. Demaine and J. O'rourke, Geometric folding algorithms, 2007.

R. Descartes, Discours de la méthode pour bien conduire sa raison & chercher la vérité dans les sciences, p.1637

R. Descartes, The Geometry of René Descartes, 1954.

R. Descartes, The philosophical writings of Descartes, vol.1, p.165, 1985.

B. , D. Paola, and P. Milici, Geometrical-mechanical artefacts mediating tangent meaning: the tangentograph, Acta Didactica Universitatis ComenianaeMathematics, pp.1-13, 2012.

M. P. Do-carmo, Differential geometry of curves and surfaces, vol.2, 1976.

S. Dugowson, Les différentielles métaphysiques: histoire et philosophie de la généralisation de l'ordre de dérivation, 1994.

R. Duval, Registres de représentation sémiotique et fonctionnement cognitif de la pensée, Annales de didactique et de sciences cognitives, vol.5, pp.37-65, 1993.

A. Emch, Algebraic transformations of a complex variable realized by linkages, Transactions of the American Mathematical Society, vol.3, issue.4, pp.493-498, 1902.

R. P. Feynman, The development of the space-time view of quantum electrodynamics. Nobel lecture, Phys. Today, pp.31-34, 1966.

M. Fliess and T. Glad, An algebraic approach to linear and nonlinear control, Essays on Control: Perspectives in the Theory and its Application, pp.223-267, 1993.

G. Gallo, B. Mishra, and F. Ollivier, Some constructions in rings of differential polynomials, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pp.171-182, 1991.

A. M. Gleason, Angle trisection, the heptagon, and the triskaidecagon, American Mathematical Monthly, vol.95, issue.3, pp.185-194, 1988.

K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für mathematik und physik, vol.38, pp.173-198, 1931.

B. Gold, Where mathematics comes from: How the embodied mind brings mathematics into being. The MAA Online book review column, 2001.

H. Goldstein, Classical mechanics, vol.4, 1962.

O. D. Golubitsky, M. V. Kondratieva, and A. I. Ovchinnikov, On the generalized Ritt problem as a computational problem, Journal of Mathematical Sciences, vol.163, issue.5, pp.515-522, 2009.

J. Grabmeier, E. Kaltofen, and V. Weispfenning, Computer Algebra Handbook: Foundations, Applications, Systems, vol.1, 2003.

D. S. Graça, Some recent developments on Shannon's general purpose analog computer, Mathematical Logic Quarterly, vol.50, issue.4-5, pp.473-485, 2004.

D. S. Graça and J. F. Costa, Analog computers and recursive functions over the reals, Journal of Complexity, vol.19, issue.5, pp.644-664, 2003.

A. Grzegorczyk, Computable functionals. Fundamenta mathematica, vol.42, pp.168-202, 1955.

N. Guicciardini, Review of Bos, 2001.

, Early Science and Medicine, vol.7, issue.2, pp.155-157, 2002.

E. Hainry, Modèles de calcul sur les réels, résultats de comparaison, 2006.

R. Hasan, Semiotic mediation, language and society: Three exotripic theoriesVygotsky, Halliday and Bernstein. Language, society and consciousness: the collected works of Ruqaya Hasan, vol.1, 2002.

T. Heath, A History of Greek Mathematics, 1981.

T. L. Heath, The thirteen books of Euclid's Elements. Courier Corporation, 1956.

D. W. Henderson and D. Taimina, Experiencing geometry: Euclidean and nonEuclidean with history, 2005.

R. Herrmann, Towards a geometric interpretation of generalized fractional integrals-Erdélyi-Kober type integrals on R N , as an example, Fractional Calculus & Applied Analysis, vol.17, issue.2, p.361, 2014.

D. Hilbert, Grundlagen der geometrie, vol.7, 1913.

M. Hohenwarter and J. Preiner, Dynamic mathematics with GeoGebra, AMC, vol.10, p.12, 2007.

O. Hölder, Ueber die Eigenschaft der Gammafunction keiner algebraischen Differentialgleichung zu genügen, Mathematische Annalen, vol.28, issue.1, pp.1-13, 1886.

E. Hubert, The general solution of an ordinary differential equation, Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, pp.189-195, 1996.

E. Hubert, Essential components of an algebraic differential equation, Journal of symbolic computation, vol.28, issue.4, pp.657-680, 1999.

E. Hubert, Factorization-free decomposition algorithms in differential algebra, Journal of symbolic computation, vol.29, issue.4, pp.641-662, 2000.
DOI : 10.1006/jsco.1999.0344
URL : https://doi.org/10.1006/jsco.1999.0344

E. Hubert, Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems. Symbolic and Numerical Scientific Computation, pp.40-87, 2003.
DOI : 10.1007/3-540-45084-x_2
URL : http://www-sop.inria.fr/members/Evelyne.Hubert/publications/sncsd.pdf

D. Hughes-hallett, A. Iovita, and O. K. Bretscher, Calculus: single and multivariable, 1998.

R. M. Hutchins, Great Books of the Western World: Euclid. Archimedes. Appollonius of Perga. Nicomachus, vol.11, 1952.

C. Huygens, Letter to H. Basnage de Beauval, february 1693. 1693. Printed in [Huygens, 1888-1950, vol.10, pp.244-257

C. Huygens, OEuvres complètes de Christiaan Huygens. The Hague, Martinus Nijhoff, 1888-1950. Publiées par la société hollandaise des sciences, vol.22

M. Isoda, Why we use mechanical tools and computer software in creative mathematics education, Proc. Of the 3rd International Conference Creativity in Mathematics Education and the education of gifted students, pp.3-9, 2003.

M. Janet, Leçons sur les Systemes d'Equations aux Derivées Partielles. Gauthier-Villars, 1929.

D. Jordan and M. Steiner, Configuration spaces of mechanical linkages, Discrete & Computational Geometry, vol.22, issue.2, pp.297-315, 1999.

I. Kaplansky, An introduction to differential algebra, vol.2, 1957.

M. Kapovich and J. J. Millson, Universality theorems for configuration spaces of planar linkages, Topology, vol.41, issue.6, pp.1051-1107, 2002.

A. B. Kempe, On a general method of describing plane curves of the nth degree by linkwork, Proceedings of the London Mathematical Society, vol.7, pp.213-216, 1876.

E. Knobloch, Beyond cartesian limits: Leibniz's passage from algebraic to "transcendental" mathematics, Historia Mathematica, vol.33, issue.1, pp.113-131, 2006.
DOI : 10.1016/j.hm.2004.02.001
URL : https://doi.org/10.1016/j.hm.2004.02.001

K. I. Ko, Complexity theory of real functions, 1991.

E. R. Kolchin, Differential algebra & algebraic groups, vol.54, 1973.

E. R. Kolchin, Differential algebraic groups, vol.114, 1985.

A. Korporal, G. Regensburger, and M. Rosenkranz, Symbolic computation for ordinary boundary problems in Maple, ACM Commun. Comput. Algebra, vol.46, pp.154-156, 2012.

J. J. Kovacic, Differential schemes, Differential algebra and related topics, pp.71-94, 2002.

G. Lakoff and R. E. Núñez, Where mathematics comes from: How the embodied mind brings mathematics into being. Basic books, 2000.

S. Lang, Survey on Diophantine Geometry, vol.60, 1997.

S. Lang, Undergraduate Texts in Mathematics, 2010.

G. W. Leibniz, Supplementum geometriae dimensoriae seu generalissima omnium tetragonismorum effectio per motum : similiterque multiplex constructio lineae ex data tangentium conditione, 1693. Translated from Math. Schriften, vol.5, pp.294-301

G. W. Leibniz, Letter from Hanover, Germany, to G.F.A. L'Hospital, september 30, 1695, Mathematische Schriften, pp.301-302, 1849.

F. Lemaire, Contribution à l'algorithmique en algèbre différentielle, 2002.

Z. Li, Mechanical theorem proving in the local theory of surfaces, Annals of Mathematics and Artificial Intelligence, vol.13, issue.1-2, pp.25-46, 1995.

F. Lindemann, Ueber die zahl ?, Mathematische Annalen, vol.20, issue.2, pp.213-225, 1882.

L. Lipshitz and L. A. , A differentially algebraic replacement theorem, and analog computability, Proceedings of the American Mathematical Society, vol.99, issue.2, pp.367-372, 1987.

S. ?ojasiewicz, Triangulation of semi-analytic sets, vol.18, pp.449-474, 1964.

G. Lolli, Infinitesimals and infinites in the history of mathematics: A brief survey, Applied Mathematics and computation, vol.218, issue.16, pp.7979-7988, 2012.

A. R. Magid, Lectures on differential Galois theory, vol.7, 1994.

Y. I. Manin, Algebraic aspects of nonlinear differential equations, Journal of Mathematical Sciences, vol.11, issue.1, pp.1-122, 1979.

I. Mareels and J. C. Willems, Elimination of latent variables in real differential algebraic systems, Open Problems in Mathematical Systems and Control Theory, pp.141-147, 1999.

L. Mascheroni, La Geometria del Compasso. P. Galeazzi, Pavia, 1797. Republished in 1901 by Era nova

M. T. Mason, Mechanics of robotic manipulation, 2001.

P. Milici, Tractional motion machines extend GPAC-generable functions, International Journal of Unconventional Computing, vol.8, issue.3, pp.221-233, 2012.

P. Milici, Tractional motion machines: tangent-managing planar mechanisms as analog computers and educational artifacts, Unconventional Computation and Natural Computation, pp.164-173, 2012.

P. Milici, A geometrical constructive approach to infinitesimal analysis: Epistemological potential and boundaries of tractional motion, From Logic to Practice, pp.3-21, 2015.

P. Milici and R. Dawson, The equiangular compass. The Mathematical Intelligencer, vol.34, pp.63-67, 2012.

P. Milici and B. D. Paola, Geometrical-mechanical artefacts for managing tangent concept, Proceedings of the 64th Conference of the International Commission for Study and Improvement of Mathematics Education (CIEAEM 64), pp.23-27, 2012.

K. S. Miller and B. Ross, An introduction to the fractional calculus and fractional differential equations, 1993.

B. Mishra, Computational differential algebra. Geometrical Foundations of Robotics, pp.111-145, 2000.

G. Mohr, Euclides Danicus. J. van Velsen, p.1672

C. Moore, Recursion theory on the reals and continuous-time computation, Theoretical Computer Science, vol.162, issue.1, pp.23-44, 1996.

E. H. Moore, Concerning transcendentally transcendental functions. Mathematische Annalen, vol.48, pp.49-74, 1896.

J. Mycka, µ-recursion and infinite limits, Theoretical Computer Science, vol.302, issue.1, pp.123-133, 2003.

T. Needham, Visual Complex Analysis, 1997.

M. Panza, Rethinking geometrical exactness, Historia Mathematica, vol.38, issue.1, pp.42-95, 2011.
URL : https://hal.archives-ouvertes.fr/halshs-00540004

. Pappus, Collectionis quae supersunt. Hakkert, Amsterdam, Hultsch, reprint of edition 1876-1878), vol.3, 1965.

E. Pascal, I miei integrafi per equazioni differenziali. B. Pellerano, 1914.

A. Péladan-germa, Testing identities of series defined by algebraic partial differential equations, Applied Algebra, Algebraic Algorithms and ErrorCorrecting Codes, pp.393-407, 1995.

J. Perks, The construction and properties of a new quadratrix to the hyperbola, Philosophical Transactions, vol.25, pp.2253-2262, 1706.

J. Perks, An easy mechanical way to divide the nautical meridian line in Mercator's projection, with an account of the relation of the same meridian line to the curva catenaria, Philosophical Transactions, vol.29, pp.331-339, 1714.

G. P. Pirola and E. Schlesinger, A curve algebraically but not rationally uniformized by radicals, Journal of Algebra, vol.289, issue.2, pp.412-420, 2005.

I. Podlubny, Geometric and physical interpretation of fractional integration and fractional differentiation. Fractional calculus and applied analysis, vol.5, pp.367-386, 2002.

J. W. Polderman and J. C. Willems, Introduction to mathematical systems theory: a behavioral approach, Number, vol.26, 1998.

J. Poleni, Epistolarum mathematicarum fasciculus, Typogr. Seminarii, p.1729

M. B. Pour-el, Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers), Transactions of the American Mathematical Society, vol.199, pp.1-28, 1974.

M. B. Pour-el and J. I. Richards, Computability in analysis and physics, vol.10, p.12, 1988.

F. L. Pritchard and W. Y. Sit, On initial value problems for ordinary differential-algebraic equations. Gröbner Bases in Symbolic Analysis. Proceedings of the Special Semester on Gröbner Bases and Related Methods, Radon Series Comp. Appl. Math, vol.2, pp.283-340, 2007.

P. , Les hommes et les technologies: approche cognitive des instruments contemporains, 1995.

L. Radford, Gestures, speech, and the sprouting of signs: A semiotic-cultural approach to students' types of generalization, Mathematical thinking and learning, vol.5, issue.1, pp.37-70, 2003.

V. Riccati, De usu motus tractorii in constructione aequationum differentialium commentarius. Ex typographia Laelii a Vulpe, p.1752

J. F. Ritt, Differential equations from the algebraic standpoint, vol.14, 1932.

J. F. Ritt, Differential algebra, vol.33, 1950.

A. Rosenfeld, Specializations in differential algebra, Transactions of the American Mathematical Society, pp.394-407, 1959.

M. Rosenkranz, G. Regensburger, L. Tec, and B. Buchberger, Symbolic analysis for boundary problems: From rewriting to parametrized Gröbner bases, Numerical and Symbolic Scientific Computing, Texts & Monographs in Symbolic Computation, pp.273-331, 2012.

B. Ross, A brief history and exposition of the fundamental theory of fractional calculus, Fractional calculus and its applications, pp.1-36, 1975.

B. Ross, The development of fractional calculus 1695-1900, Historia Mathematica, vol.4, issue.1, pp.75-89, 1977.

L. A. , Solutions of algebraic differential equations, Journal of differential equations, vol.49, issue.3, pp.441-452, 1983.

L. A. , A survey of transcendentally transcendental functions, American Mathematical Monthly, vol.96, issue.9, pp.777-788, 1989.

L. A. , The extended analog computer, Advances in Applied Mathematics, vol.14, issue.1, pp.39-50, 1993.

L. Russo, La rivoluzione dimenticata: il pensiero scientifico greco e la scienza moderna. Feltrinelli Editore, 2001.

C. J. Rust and G. J. Reid, Rankings of partial derivatives, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, pp.9-16, 1997.

M. Salvi and P. Milici, Laboratorio di matematica in classe: due nuove macchine per problemi nel continuo e nel discreto, Quaderni di Ricerca in Didattica (Mathematics), pp.15-24, 2013.

M. S. Sangaré, La machine de Sylvester: principes mécaniques et principes mathématiques; une étude de cas à propos de la rotation, vol.62, pp.33-58, 2003.

R. Schimmack, Ein kinematisches Prinzip und seine Anwendung zu einem Katenographen, Zeitschrift für Mathematik und Physik, vol.52, pp.341-347, 1905.

J. T. Schwartz and M. Sharir, On the "piano movers" problem. II. General techniques for computing topological properties of real algebraic manifolds, Advances in applied Mathematics, vol.4, issue.3, pp.298-351, 1983.

F. Schwarz, An algorithm for determining polynomial first integrals of autonomous systems of ordinary differential equations, Journal of Symbolic Computation, vol.1, pp.229-233, 1985.

A. Seidenberg, A new decision method for elementary algebra, Annals of Mathematics, pp.365-374, 1954.
DOI : 10.2307/1969640

A. Seidenberg, An elimination theory for differential algebra, 1956.

A. Seidenberg, The ritual origin of geometry, Archive for History of Exact Sciences, vol.1, issue.5, pp.488-527, 1961.
DOI : 10.1007/bf00327767

A. Seidenberg, The origin of mathematics, Archive for History of Exact Sciences, vol.18, issue.4, pp.301-342, 1978.

I. R. Shafarevich, Basic Algebraic Geometry 1, 2013.
DOI : 10.1007/978-3-642-37956-7

C. E. Shannon, Mathematical theory of the differential analyzer, J. Math. Phys. MIT, vol.20, pp.337-354, 1941.

M. F. Singer, Direct and inverse problems in differential Galois theory, Selected works of Ellis Kolchin with Commentary, pp.527-554, 1999.

W. Y. Sit, On Goldman's algorithm for solving first-order multinomial autonomous systems, Applied Algebra, Algebraic Algorithms and ErrorCorrecting Codes, pp.386-395, 1989.
DOI : 10.1007/3-540-51083-4_74

P. A. Smith, Joseph Pels Ritt 1893-1951, Biographical Memoirs, vol.29, p.253, 1956.

K. Sullivan, The teaching of elementary calculus using the nonstandard analysis approach, American Mathematical Monthly, pp.370-375, 1976.

L. L. Ta, An introduction to semi-algebraic sets, Geometry on Real Closed Field and its Application to Singularity Theory, vol.1764, pp.48-58, 2011.

W. W. Tait, Finitism. The Journal of Philosophy, pp.524-546, 1981.

D. , Constructing the concept image of a tangent, Proceedings of the 11th International Conference for the Psychology of Mathematics Education, vol.3, pp.69-75, 1987.

D. , Functions and calculus, International handbook of mathematics education, pp.289-325, 1996.

A. Tarski, A decision method for elementary algebra and geometry, 1951.

A. Tarski, What is elementary geometry. The axiomatic Method, with special reference to Geometry and Physics, pp.16-29, 1959.

M. H. Tavassoli, A. Tavassoli, and M. R. Ostad-rahimi, The geometric and physical interpretation of fractional order derivatives of polynomial functions, Differential Geometry-Dynamical Systems, vol.15, pp.93-104, 2013.

G. B. Thomas and R. L. Finney, Calculus and analytic geometry, 1992.

W. Thomson, On an instrument for calculating the integral of the product of two given functions, Proceedings of the royal society of London, vol.24, pp.266-268, 1875.

L. T. Quevedo, Machines à calculer. Imprimerie nationale, 1901.

D. Tournès, L'intégration graphique des équations différentielles ordinaires. Historia mathematica, vol.30, pp.457-493, 2003.

D. Tournès, Vincenzo Riccati's treatise on integration of differential equations by tractional motion (1752), Oberwolfach Reports, vol.1, pp.2738-2740, 2004.

D. Tournès, La construction tractionnelle des équations différentielles dans la première moitié du XVIII e siècle, Histoires de géométries: texte du séminaire de l'année 2007. Fondation Maisons des Sciences de l'homme, 2007.

D. Tournès, La construction tractionnelle des équations différentielles, Blanchard, 2009.

A. M. Turing, On computable numbers, with an application to the entscheidungsproblem, Proceedings of the, pp.230-265, 1937.

J. Van-maanen, Seventeenth century instruments for drawing conic sections. The Mathematical Gazette, pp.222-230, 1992.

V. Walkerdine, The mastery of reason: Cognitive development and the production of rationality, 1988.

P. L. Wantzel, Recherches sur les moyens de reconnaître si un problème de géométrie peut se résoudre avec la règle et le compas, Journal de Mathématiques pures et appliquées, vol.2, pp.366-372, 1837.

M. W. Wartofsky, Perception, representation, and the forms of action: Towards an historical epistemology, Models: Representation and the scientific understanding, pp.188-209, 1979.

K. Weierstrass, Abhandlungen aus der Functionenlehre, p.1886

K. Weihrauch, Computable analysis: an introduction, 2000.

F. A. Willers, Zum integrator von E, Pascal. Zeitschrift für Mathematik und Physik, vol.59, pp.36-42, 1911.

W. T. Wu, Mechanical theorem proving of differential geometries and some of its applications in mechanics, Journal of Automated Reasoning, vol.7, issue.2, pp.171-191, 1991.

R. Zach, Hilbert's program, The Stanford Encyclopedia of Philosophy, 2015.

O. Zariski, Sull'impossibilità di risolvere parametricamente per radicali un'equazione algebrica f (x, y) = 0 di genere p > 6 a moduli generali, Atti Accad. Naz. Lincei Rend. Cl. Sc. Fis. Mat. Natur. serie VI, vol.3, pp.660-666, 1926.