Výsledky vyhľadávania - "[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2505.00620
https://hal.science /hal-05127957v1/document
https://hal.science /hal-05127957v1
https://doi.org/10.1145/3735544.3735581 -
2
Autori:
Prispievatelia:
Zdroj: Mathematics of Computation. 95:415-455
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, Anderson motives, Number Theory (math.NT), Symbolic Computation (cs.SC), algorithms, Drinfeld modules, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2307.02879
https://hal.science /hal-04151171v4
https://doi.org/10.48550/arxiv.2307.02879
https://hal.science /hal-04151171v4/document -
3
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Natural Computing.
Predmety: Busy beaver game, Theoretical biology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Reaction systems
Popis súboru: application/pdf
Prístupová URL adresa: https://univ-evry.hal.
science /hal-05205514v1
https://univ-evry.hal.science /hal-05205514v1/document
https://doi.org/10.1007/s11047-025-10037-6 -
4
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :419-428
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Krylov iteration, Frobenius normal form, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Polynomial linear algebra, Symbolic Computation (cs.SC)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2402.07345
https://cnrs.hal.science /hal-04445355v2/document
https://doi.org/10.1145/3666000.3669715
https://cnrs.hal.science /hal-04445355v2 -
5
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :117-125
Predmety: Coherent rings, Semisimple modules, Noncommutative polynomial rings, Elimination theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Linear systems of integro-differential equations, Rings of integro-differential operators
Popis súboru: application/pdf
-
6
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :254-263
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), 0102 computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, 01 natural sciences
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2402.05630
-
7
Autori:
Prispievatelia:
Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :307-315
Predmety: [MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, polynomial system solving, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], FOS: Mathematics, change of monomial order, Symbolic Computation (cs.SC), Hensel lifting, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Gröbner basis
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2402.03144
-
8
Autori:
Prispievatelia:
Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :447-456
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Algebraic Geometry, Real algebraic geometry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], FOS: Mathematics, Gröbner bases, Symbolic Computation (cs.SC), Polynomial system solving, Algebraic Geometry (math.AG)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2402.07782
https://hal.science /hal-04454309v2/document
https://hal.science /hal-04454309v2
https://doi.org/10.1145/3666000.3669718 -
9
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Journal of Guidance, Control, and Dynamics. :1-14
Predmety: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Laplace transform, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, debris risk management, 7. Clean energy, Holonomic Functions, Error bounds, Saddle-point approximation, Integration algorithm, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], probability of collision, Numerical accuracy, Cancellation Problem, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Power series approximation, [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Popis súboru: application/pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Journal of Algebra
Predmety: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Algebraic Geometry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], FOS: Mathematics, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], Symbolic Computation (cs.SC), Algebraic Geometry (math.AG)
Prístupová URL adresa: http://arxiv.org/abs/2305.07439
-
11
Autori:
Prispievatelia:
Zdroj: Experimental Mathematics. 34:384-403
Predmety: Racah and Hahn polynomials, [MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], Jacobi continued fractions, experimental mathematics, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], guess-and-prove, moments, Dirichlet series, orthogonal polynomials, hypergeometric functions
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.
science /hal-03832808v3/document
https://hal.science /hal-03832808v3
https://doi.org/10.1080/10586458.2024.2379793 -
12
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Research in Number Theory. 11
Predmety: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, L-series, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 11Y99, Symbolic Computation (cs.SC), algorithms, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT], 11R58, FOS: Mathematics, Anderson motives, Number Theory (math.NT), 11G09, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2401.12618
https://hal.science /hal-04410981v2/document
https://doi.org/10.1007/s40993-024-00588-5
https://hal.science /hal-04410981v2 -
13
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ACM Transactions on Mathematical Software. 50:1-38
Predmety: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], limit cycles, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], Abelian integral, Newton-like operator, [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], 37M20, rigorous numerics, Hilbert's 16th problem, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], Secondary: 37G15, 01 natural sciences, 2020 AMS classification: Primary: 34C07, [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, 42A10, trigonometric polynomial interpolation, 0101 mathematics, 42A15, 65G20
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.
science /hal-03561096v2/document
https://hal.science /hal-03561096v2
https://doi.org/10.1145/3637550 -
14
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Predmety: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Àrees temàtiques de la UPC::Matemàtiques i estadística, Classificació AMS::14 Algebraic geometry::14Q Computational aspects in algebraic geometry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Newton polygon, Classificació AMS::12 Field theory and polynomials::12Y05 Computational aspects of field theory and polynomials, 0102 computer and information sciences, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Classificació AMS::13 Commutative rings and algebras::13P Computational aspects of commutative algebra, 01 natural sciences, OM-algorithm, Valuation, Henselian field, Key polynomial, FOS: Mathematics, Classificació AMS::13 Commutative rings and algebras::13A General commutative ring theory, 0101 mathematics
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2207.02139
https://hdl.handle.net/2117/429176
https://doi.org/10.1007/s10208-024-09646-x
https://inria.hal.science /hal-03962819v1
https://doi.org/10.1007/s10208-024-09646-x -
15
Autori:
Prispievatelia:
Predmety: Elimination theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Nonlinear equations Integral equations Elimination theory, Nonlinear equations, Integral equations
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.
science /hal-04965642v2 -
16
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Lecture Notes in Computer Science ISBN: 9783032019004
Predmety: Symmetric cryptanalysis, Rescue Prime, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Griffin, Anemoi, Arion, Gröbner Bases, Algebraic attacks, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
Popis súboru: application/pdf
Prístupová URL adresa: https://inria.hal.
science /hal-05233805v1
https://doi.org/10.1007/978-3-032-01901-1_11
https://inria.hal.science /hal-05233805v1/document -
17
Autori: Robert, Damien
Prispievatelia: Robert, Damien
Zdroj: Lecture Notes in Computer Science ISBN: 9783031823794
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.
science /hal-04848010v1 -
18
Autori:
Prispievatelia:
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], subrings, Polynomial rings, Symbolic Computation (cs.SC), Computational Complexity (cs.CC), complexity analysis, invriant polynomials, Computer Science - Computational Complexity, Mathematics - Algebraic Geometry, lifting techniques, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], Polynomial rings subrings invriant polynomials complexity analysis lifting techniques, FOS: Mathematics, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Algebraic Geometry (math.AG)
Popis súboru: application/pdf
Prístupová URL adresa: http://arxiv.org/abs/2504.21708
https://hal.science /hal-05052659v1 -
19
Autori:
Prispievatelia:
Zdroj: Lecture Notes in Computer Science ISBN: 9783031906428
Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Algebraic Reasoning, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Hardware Verification, Gröbner Basis, Symbolic Computation (cs.SC), Logic in Computer Science (cs.LO)
Popis súboru: application/pdf
-
20
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Lecture Notes in Computer Science ISBN: 9783031853555
Predmety: ERTMS/ETCS, FORMAL MODELING, VERIFICATION AND VALIDATION, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], REQUIREMENT ENGINEERING, Railway safety, [INFO] Computer Science [cs], MOVING BLOCK
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.
science /hal-04997909v1/document
https://doi.org/10.1007/978-3-031-85356-2_12
https://hal.science /hal-04997909v1
Nájsť tento článok vo Web of Science
Full Text Finder