Search results for "Issac"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Leonardo W. Estevez, Nasser Kehtarnavaz	Computer Assisted Enhancement of Mammograms for Detection of Microcalcifications.	CBMS	1995	DBLP DOI BibTeX RDF	computer-assisted mammogram enhancement, microcalcification detection, visual identification, false positive samples, general-purpose clustering algorithm, Issac, Interactive Selective and Adaptive Clustering, selective clustering, interactive adaptation, sensitive sample domains, clinical evaluation, routine reading session, generalization, interactive systems, object detection, medical image processing, sensitivity, breast cancer, generalisation (artificial intelligence), radiology, radiology
63	Zhonggang Zeng	The approximate irreducible factorization of a univariate polynomial: revisited.	ISSAC	2009	DBLP DOI BibTeX RDF	multiplicity, polynomial factoring, ill-posed problems
63	Arthur D. Chtcherba, Deepak Kapur	Conditions for determinantal formula for resultant of a polynomial system.	ISSAC	2006	DBLP DOI BibTeX RDF	Bézoutian, Dixon, dialytic, rank submatrix construction, resultant matrix, resultant
63	Erich L. Kaltofen, Pascal Koiran	Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields.	ISSAC	2006	DBLP DOI BibTeX RDF	Lang conjecture, lacunary polynomials, multivariate polynomials, polynomial-time complexity, polynomial factorization, sparse polynomials, height, algebraic numbers
63	Lu Yang, Zhenbing Zeng	An open problem on metric invariants of tetrahedra.	ISSAC	2005	DBLP DOI BibTeX RDF	manifold solution, metric invariant, tetrahedron, distance geometry
63	Y. Doleh, Paul S. Wang	SUI: A System Independent User Interface for an Integrated Scientific Computing Environment.	ISSAC	1990	DBLP DOI BibTeX RDF	C
38	Erika Ábrahám, Thomas Sturm 0001 (eds.)	Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo (eds.)	Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023	ISSAC	2023	DBLP DOI BibTeX RDF
38	Yameen Ajani, Curtis Bright	A Hybrid SAT and Lattice Reduction Approach for Integer Factorization.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	Martin Brain, Jacob M. Howe	Widening for Systems of Two Variables Per Inequality.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	André Platzer	Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract).	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	Christopher W. Brown 0001, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez	Towards Detection of Partial Truth via Real Geometry.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	Tereso del Río, Matthew England 0001	Data Augmentation for Mathematical Objects.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	Haniel Barbosa	Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper).	SC-Square@ISSAC	2023	DBLP BibTeX RDF
38	Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi	A Characterization of Perfect Strategies for Mirror Games.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Michael A. Burr, Michael Byrd	Certified simultaneous isotopic approximation of pairs of curves via subdivision.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Irina A. Kogan	Invariants: Computation and Applications.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Xavier Dahan	Chinese Remainder Theorem for bivariate lexicographic Gröbner bases.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din	Fast Algorithms for Discrete Differential Equations.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Przemyslaw Koprowski, Victor Magron, Tristan Vaccon	Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Tristan Vaccon, Thibaut Verron	Universal Analytic Gröbner Bases and Tropical Geometry.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Carsten Schneider	Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱.	ISSAC	2023	DBLP DOI BibTeX RDF
38	George Labahn, Cordian Riener, Mohab Safey El Din, Éric Schost, Thi Xuan Vu	Faster real root decision algorithm for symmetric polynomials.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Tian Chen, Michael B. Monagan	A New Black Box Factorization Algorithm - the Non-monic Case.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Nikhil Srivastava	The Complexity of Diagonalization.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Riccardo Invernizzi, Daniele Taufer	Multiplication polynomials for elliptic curves over finite local rings.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Michael A. Burr, Kisun Lee, Anton Leykin	Isolating clusters of zeros of analytic systems using arbitrary-degree inflation.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Shaoshi Chen, Lixin Du, Manuel Kauers	Hermite Reduction for D-finite Functions via Integral Bases.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Laura Kovács	Algebra-Based Loop Analysis.	ISSAC	2023	DBLP DOI BibTeX RDF
38	George Kenison, Klara Nosan, Mahsa Shirmohammadi, James Worrell 0001	The Membership Problem for Hypergeometric Sequences with Quadratic Parameters.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Christian Eder, Pierre Lairez, Rafael Mohr, Mohab Safey El Din	A Direttissimo Algorithm for Equidimensional Decomposition.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Bo Huang	Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Stephen Michael Watt	Efficient Generic Quotients Using Exact Arithmetic.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Thomas Cluzeau, Camille Pinto, Alban Quadrat	Further results on the computation of the annihilators of integro-differential operators.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Kosaku Nagasaka	SLRA Interpolation for Approximate GCD of Several Multivariate Polynomials.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Gorav Jindal, Louis Gaillard	On the Order of Power Series and the Sum of Square Roots Problem.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Sander Gribling, Sven C. Polak, Lucas Slot	A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Thierry Combot	Hyperelliptic Integrals to Elliptic Integrals.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Jose Divasón, Fatemeh Mohammadi, Eduardo Sáenz-de-Cabezón, Henry P. Wynn	Sensitivity analysis of discrete preference functions using Koszul simplicial complexes.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Florent Bréhard, Adrien Poteaux, Léo Soudant	Validated Root Enclosures for Interval Polynomials with Multiplicities.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Tor Hadas, Oded Schwartz	Towards Practical Fast Matrix Multiplication based on Trilinear Aggregation.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Saúl A. Blanco, Daniel E. Skora	An Algorithm to Enumerate Grid Signed Permutation Classes.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Timothy Duff, Viktor Korotynskiy, Tomás Pajdla, Margaret H. Regan	Using monodromy to recover symmetries of polynomial systems.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Robert M. Corless	Blendstrings: an environment for computing with smooth functions.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Frank Vallentin, Philippe Moustrou	Least distortion Euclidean embeddings of flat tori.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Shaoshi Chen, Ruyong Feng, Zewang Guo, Wei Lu	Stability Problems on D-finite Functions.	ISSAC	2023	DBLP DOI BibTeX RDF
38	James Harold Davenport, Akshar Sajive Nair, Gregory Kumar Sankaran, Ali Kemal Uncu	Lazard-style CAD and Equational Constraints.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Peter Bürgisser	Real zeros of mixed random fewnomial systems.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Yulia Alexandr, Joe Kileel 0001, Bernd Sturmfels	Moment Varieties for Mixtures of Products.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din	Refined F5 Algorithms for Ideals of Minors of Square Matrices.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Éric Schost, Catherine St-Pierre	p-adic algorithm for bivariate Gröbner bases.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Przemyslaw Koprowski	Factorization and root-finding for polynomials over division quaternion algebras.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Aditya Ravi, Ilya Volkovich	New Characterization of the Factor Refinement Algorithm with Applications.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Gilles Villard	Elimination ideal and bivariate resultant over finite fields.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet	Algorithm for Connectivity Queries on Real Algebraic Curves.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Hao Du 0001, Yiman Gao, Jing Guo, Ziming Li 0002	Computing Logarithmic Parts by Evaluation Homomorphisms✱.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Rémi Imbach, Guillaume Moroz	Fast evaluation and root finding for polynomials with floating-point coefficients.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Ruiwen Dong 0001	Termination of linear loops under commutative updates.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Qiao-Long Huang, Xiao-Shan Gao	New Sparse Multivariate Polynomial Factorization Algorithms over Integers.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Rekha R. Thomas	Two Views of ℙ3.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Sayak Chakrabarti, Nitin Saxena 0001	An effective description of the roots of bivariates mod pk and the related Igusa's local zeta function.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Yossef Musleh, Éric Schost	Computing the Characteristic Polynomial of Endomorphisms of a finite Drinfeld Module using Crystalline Cohomology.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Manuel Kauers, Christoph Koutschan, Thibaut Verron	Transcendence Certificates for D-finite Functions.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Clément Pernet, Hippolyte Signargout, Gilles Villard	Exact computations with quasiseparable matrices.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Manuel Kauers, Philipp Nuspl, Veronika Pillwein	Order bounds for C2-finite sequences.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Marianne Akian, Antoine Béreau, Stéphane Gaubert	The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Alin Bostan, Vincent Neiger, Sergey Yurkevich	Beating binary powering for polynomial matrices.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Dominic Bunnett, Michael Joswig, Julian Pfeifle	Generalised cone complexes and tropical moduli in polymake.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Adam Kurpisz, Elias Samuel Wirth	Sum of Squares Bounds for the Empty Integral Hull Problem.	ISSAC	2023	DBLP DOI BibTeX RDF
38	George Kenison, Laura Kovács, Anton Varonka	From Polynomial Invariants to Linear Loops.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Clemens Hofstadler, Thibaut Verron	Signature Gröbner bases in free algebras over rings.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Paola Boito	Matrix Structures and Matrix Functions.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Christoph Koutschan, Ali Kemal Uncu, Elaine Wong	A Unified Approach to Unimodality of Gaussian Polynomials.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Rizeng Chen, Bican Xia	Deciding first-order formulas involving univariate mixed trigonometric-polynomials.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Manuel Kauers, Jakob Moosbauer	Flip Graphs for Matrix Multiplication.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Christina Katsamaki, Fabrice Rouillier	On Isolating Roots in a Multiple Field Extension.	ISSAC	2023	DBLP DOI BibTeX RDF
38	Marc Moreno Maza, Lihong Zhi (eds.)	ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022	ISSAC	2022	DBLP DOI BibTeX RDF
38	Erich L. Kaltofen	The GKR Protocol Revisited: Nearly Optimal Prover-Complexity for Polynomial-Time Wiring Algorithms and for Primality Testing in n1/2+o(1) Rounds.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Nathalie Verdière, Sébastien Orange	Applications of Computer Algebra to Parameter Analysis of Dynamical Systems.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Manuel Kauers, Christoph Koutschan	Guessing with Little Data.	ISSAC	2022	DBLP DOI BibTeX RDF
38	André Galligo	Modeling Complex Root Motion of Real Random Polynomials under Differentiation.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Thi Xuan Vu	Computing Critical Points for Algebraic Systems Defined by Hyperoctahedral Invariant Polynomials.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Sebastian Falkensteiner	Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko	On Linear Dependence of Rows and Columns in Matrices over Non-commutative Domains.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Yi Zhou, Mark van Hoeij	Desingularization and p-Curvature of Recurrence Operators.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Xavier Caruso, Tristan Vaccon, Thibaut Verron	On Polynomial Ideals and Overconvergence in Tate Algebras.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Shaoshi Chen	Stability Problems in Symbolic Integration.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Erich L. Kaltofen	Sparse Polynomial Hermite Interpolation.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Haomin Li, Arne Storjohann	Computing a Basis for an Integer Lattice: A Special Case.	ISSAC	2022	DBLP DOI BibTeX RDF
38	François Morain	Implementing the Thull-Yap Algorithm for Computing Euclidean Remainder Sequences.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche	Sparse Polynomial Interpolation and Division in Soft-linear Time.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Philipp Nuspl, Veronika Pillwein	Simple C2-finite Sequences: a Computable Generalization of C-finite Sequences.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos	Bounding the Number of Roots of Multi-Homogeneous Systems.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba	Symbolic-Numeric Factorization of Differential Operators.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Michael Figelius, Markus Lohrey	Exponent Equations in HNN-extensions.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Apostolos Chalkis, Christina Katsamaki, Josué Tonelli-Cueto	On the Error of Random Sampling: Uniformly Distributed Random Points on Parametric Curves.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Dong Lu, Dingkang Wang, Fanghui Xiao, Xiaopeng Zheng	A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din	Algorithms for Discrete Differential Equations of Order 1.	ISSAC	2022	DBLP DOI BibTeX RDF
38	François Ollivier	Extending Flat Motion Planning to Non-flat Systems. Experiments on Aircraft Models Using Maple.	ISSAC	2022	DBLP DOI BibTeX RDF
38	Klara Nosan, Amaury Pouly, Mahsa Shirmohammadi, James Worrell 0001	The Membership Problem for Hypergeometric Sequences with Rational Parameters.	ISSAC	2022	DBLP DOI BibTeX RDF