Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Anders Kock |
Affine Connections, and Midpoint Formation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 15th IAPR International Conference, DGCI 2009, Montréal, Canada, September 30 - October 2, 2009. Proceedings, pp. 13-21, 2009, Springer, 978-3-642-04396-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Costas A. Drossos |
Nonstandard methods in many-valued logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 2(3), pp. 129-133, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 18(7), pp. 405-414, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 17(2), pp. 511-513, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Karel Hrbacek, Mikhail G. Katz |
Peano and Osgood theorems via effective infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Lu Chen 0007 |
Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 51(4), pp. 857-877, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 111, pp. 106443, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Hiromi Ishii |
Automatic Differentiation With Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.14153, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Will Johnson |
Dp-finite fields I(A): The infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(6), pp. 102947, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Hiromi Ishii |
Automatic Differentiation with Higher Infinitesimals, or Computational Smooth Infinitesimal Analysis in Weil Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings, pp. 174-191, 2021, Springer, 978-3-030-85164-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Fabio Caldarola |
The Sierpinski curve viewed by numerical computations with infinities and infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 318, pp. 321-328, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Manlio Gaudioso, Giovanni Giallombardo, Marat S. Mukhametzhanov |
Numerical infinitesimals in a variable metric method for convex nonsmooth optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 318, pp. 312-320, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Eduardo J. Dubuc, Jorge C. Zilber |
Some Remarks on Infinitesimals in MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 29(6), pp. 647-656, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Yaroslav D. Sergeyev |
The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 31(Issues), pp. 21-29, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 229-249, 2016, Springer, 978-3-662-49121-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.00825, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Michael Hardy |
Using Infinitesimals to Differentiate Secant and Tangent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 122(5), pp. 494, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNR@CAV ![In: 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015, pp. 11-22, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Esko Turunen, Mirko Navara |
Infinitesimals and Pavelka logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA-EUSFLAT ![In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), Gijón, Spain., June 30, 2015., 2015, Atlantis Press, 978-94-62520-77-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Alexander R. Pruss |
Infinitesimals are too small for countably infinite fair lotteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(6), pp. 1051-1057, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Yaroslav D. Sergeyev |
Examples of the Usage of Infinities and Infinitesimals in Numerical Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIVACE ![In: Advances in Artificial Life and Evolutionary Computation - 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers, pp. 190-200, 2014, Springer, 978-3-319-12744-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Yaroslav D. Sergeyev |
Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(22), pp. 10668-10681, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Yaroslav D. Sergeyev |
Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.3529, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Emil Weydert |
Defaults and Infinitesimals: Defeasible Inference by Nonarchimedean Entropy-Maximization ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.4988, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Mikhail G. Katz, Eric Leichtnam |
Commuting and Noncommuting Infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 120(7), pp. 631-641, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 120(10), pp. 949-953, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Frederik Herzberg |
Stochastic Calculus with Infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
27 | Maria C. Vita, Samuele De Bartolo, Carmine Fallico, Massimo Veltri |
Usage of infinitesimals in the Menger's Sponge model of porosity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(16), pp. 8187-8195, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Gabriele Lolli |
Infinitesimals and infinites in the history of mathematics: A brief survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(16), pp. 7979-7988, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 53(4), pp. 557-570, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Yaroslav D. Sergeyev |
Methodology of Numerical Computations with Infinities and Infinitesimals ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.3165, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Glen Mullineux, Leon Simpson |
Rigid-Body Transforms Using Symbolic Infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Guide to Geometric Algebra in Practice ![In: Guide to Geometric Algebra in Practice., pp. 353-369, 2011, Springer, 978-0-85729-810-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Kohei Suenaga, Ichiro Hasuo |
Programming with Infinitesimals: A While-Language for Hybrid System Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II, pp. 392-403, 2011, Springer, 978-3-642-22011-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Maria Chowdhury, Alex Thomo, William W. Wadge |
Preferential Infinitesimals for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIAI ![In: Artificial Intelligence Applications and Innovations III, Proceedings of the 5TH IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2009), April 23-25, 2009, Thessaloniki, Greece, pp. 113-125, 2009, Springer, 978-1-4419-0220-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Maria Chowdhury, Alex Thomo, William W. Wadge |
Trust-Based Infinitesimals for Enhanced Collaborative Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMAD ![In: Proceedings of the 15th International Conference on Management of Data, December 9-12, 2009, International School of Information Management, Mysore, India, 2009, Computer Society of India. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Antonio Di Nola, Anatolij Dvurecenskij, Jan Jakubik |
Good and Bad Infinitesimals, and States on Pseudo MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(4), pp. 293-314, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 134(1-2), pp. 325-351, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Matthew E. Moore |
A Cantorian Argument Against Infinitesimals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 133(3), pp. 305-330, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Louis H. Kauffman |
Virtual logic - infinitesimals and zero numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybern. Hum. Knowing ![In: Cybern. Hum. Knowing 7(1), pp. 83-90, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Emil Weydert |
Defaults and Infinitesimals Defeasible Inference by Nonarchimedean Entropy-Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20, 1995, pp. 540-547, 1995, Morgan Kaufmann, 1-55860-385-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
27 | Milos Lansky |
Infinitesimals on Computer - A Tool for CAST? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 151-160, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|