Search results for "infinitesimals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Anders Kock	Affine Connections, and Midpoint Formation.	DGCI	2009	DBLP DOI BibTeX RDF
36	Costas A. Drossos	Nonstandard methods in many-valued logics.	Soft Comput.	1998	DBLP DOI BibTeX RDF	free MV-algebras, semisimplicity, superstructures, infinitesimals, hyperfinite MV-algebras, stochastic MV-algebras, MV-algebras, internal, external, Rad
30	Federico Thomas, Carme Torras	A projectively invariant intersection test for polyhedra.	Vis. Comput.	2002	DBLP DOI BibTeX RDF	Intersection detection, Degenerate configurations, 4×4 determinant method, Projective invariance
27	Jonathan Gillard 0002	Review on the book Yaroslav D. Sergeyev, Renato De Leone (Eds.) Numerical infinities and infinitesimals in optimization.	Optim. Lett.	2023	DBLP DOI BibTeX RDF
27	Karel Hrbacek, Mikhail G. Katz	Peano and Osgood theorems via effective infinitesimals.	J. Log. Anal.	2023	DBLP BibTeX RDF
27	Lu Chen 0007	Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
27	Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev	Simulation of hybrid systems under Zeno behavior using numerical infinitesimals.	Commun. Nonlinear Sci. Numer. Simul.	2022	DBLP DOI BibTeX RDF
27	Hiromi Ishii	Automatic Differentiation With Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.	CoRR	2021	DBLP BibTeX RDF
27	Will Johnson	Dp-finite fields I(A): The infinitesimals.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
27	Hiromi Ishii	Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra.	CASC	2021	DBLP DOI BibTeX RDF
27	Fabio Caldarola	The Sierpinski curve viewed by numerical computations with infinities and infinitesimals.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
27	Manlio Gaudioso, Giovanni Giallombardo, Marat S. Mukhametzhanov	Numerical infinitesimals in a variable metric method for convex nonsmooth optimization.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
27	Eduardo J. Dubuc, Jorge C. Zilber	Some Remarks on Infinitesimals in MV-algebras.	J. Multiple Valued Log. Soft Comput.	2017	DBLP BibTeX RDF
27	Yaroslav D. Sergeyev	The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area.	Commun. Nonlinear Sci. Numer. Simul.	2016	DBLP DOI BibTeX RDF
27	Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo	Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis.	VMCAI	2016	DBLP DOI BibTeX RDF
27	Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).	CoRR	2015	DBLP BibTeX RDF
27	Michael Hardy	Using Infinitesimals to Differentiate Secant and Tangent.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
27	Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo	Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.	SNR@CAV	2015	DBLP DOI BibTeX RDF
27	Esko Turunen, Mirko Navara	Infinitesimals and Pavelka logic.	IFSA-EUSFLAT	2015	DBLP BibTeX RDF
27	Alexander R. Pruss	Infinitesimals are too small for countably infinite fair lotteries.	Synth.	2014	DBLP DOI BibTeX RDF
27	Yaroslav D. Sergeyev	Examples of the Usage of Infinities and Infinitesimals in Numerical Computations.	WIVACE	2014	DBLP DOI BibTeX RDF
27	Yaroslav D. Sergeyev	Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
27	Yaroslav D. Sergeyev	Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically.	CoRR	2013	DBLP BibTeX RDF
27	Emil Weydert	Defaults and Infinitesimals: Defeasible Inference by Nonarchimedean Entropy-Maximization	CoRR	2013	DBLP BibTeX RDF
27	Mikhail G. Katz, Eric Leichtnam	Commuting and Noncommuting Infinitesimals.	Am. Math. Mon.	2013	DBLP DOI BibTeX RDF
27	James M. Henle, Michael G. Henle	Review: Real Analysis Through Modern Infinitesimals, Cambridge University Press, 2011, xix + 565 pp., ISBN 978-1-107-00202-9, $127.00. by Nader Vakil.	Am. Math. Mon.	2013	DBLP DOI BibTeX RDF
27	Frederik Herzberg	Stochastic Calculus with Infinitesimals.		2013	RDF
27	Maria C. Vita, Samuele De Bartolo, Carmine Fallico, Massimo Veltri	Usage of infinitesimals in the Menger's Sponge model of porosity.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
27	Gabriele Lolli	Infinitesimals and infinites in the history of mathematics: A brief survey.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
27	Alexandre V. Borovik, Renling Jin, Mikhail G. Katz	An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals.	Notre Dame J. Formal Log.	2012	DBLP DOI BibTeX RDF
27	Yaroslav D. Sergeyev	Methodology of Numerical Computations with Infinities and Infinitesimals	CoRR	2012	DBLP BibTeX RDF
27	Glen Mullineux, Leon Simpson	Rigid-Body Transforms Using Symbolic Infinitesimals.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
27	Kohei Suenaga, Ichiro Hasuo	Programming with Infinitesimals: A While-Language for Hybrid System Modeling.	ICALP (2)	2011	DBLP DOI BibTeX RDF
27	Maria Chowdhury, Alex Thomo, William W. Wadge	Preferential Infinitesimals for Information Retrieval.	AIAI	2009	DBLP DOI BibTeX RDF
27	Maria Chowdhury, Alex Thomo, William W. Wadge	Trust-Based Infinitesimals for Enhanced Collaborative Filtering.	COMAD	2009	DBLP BibTeX RDF
27	Antonio Di Nola, Anatolij Dvurecenskij, Jan Jakubik	Good and Bad Infinitesimals, and States on Pseudo MV-algebras.	Order	2004	DBLP DOI BibTeX RDF	unital ?-group, infinitesimal, state, ideal, pseudo MV-algebra, radical
27	Robert Lutz, Luis Gonzaga Luis Gonzaga	Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis.	Synth.	2003	DBLP DOI BibTeX RDF
27	Matthew E. Moore	A Cantorian Argument Against Infinitesimals.	Synth.	2002	DBLP DOI BibTeX RDF
27	Louis H. Kauffman	Virtual logic - infinitesimals and zero numbers.	Cybern. Hum. Knowing	2000	DBLP BibTeX RDF
27	Emil Weydert	Defaults and Infinitesimals Defeasible Inference by Nonarchimedean Entropy-Maximization.	UAI	1995	DBLP BibTeX RDF
27	Milos Lansky	Infinitesimals on Computer - A Tool for CAST?	EUROCAST	1989	DBLP DOI BibTeX RDF