• Gündem
  • YaCevap
  • Video
  • Görsel
  • Ana Sayfa
  • İnsanlar
  • Sinema
  • Coğrafya
  • Kurum
  • Bilim
  • Aygıt
  • Müzik
  • Yazılım
  • Canlılar
  • İlaç
  • Olay
  • Gida
  • Otomobil
  • Kimyasal Bileşim
  • Hastalık
  • Diğerleri
  • Buradasın
    • Yawiki ›
    • Yazılım ›

    Axiom

    Bilgisayarlı Cebir Sistemi

    Genel bilgiler

    Axiom, özgür, genel amaçlı bir bilgisayarlı cebir sistemidir. Bir yorumlayıcı ortamı, bir derleyici ve güçlü tipleme hiyerarşisi tanımlayan bir kütüphaneden oluşur.

    Axiom, bir kolay anlaşılır programdır. Kaynak kodu, axiom-developer.org web sitesinde bulunan bir dizi cilt halinde kullanıma sunulmaktadır. Bu ciltler sistemin gerçek kaynak kodunu içermektedir.

    Axiom, algoritmaların doğruluğunu kanıtlamak için kanıt teknolojisini kullanmayı planlamaktadır (Coq ve ACL2 gibi).

    tr.wikipedia.org

    Kısa bilgiler

    • Web sitesi:
      axiom-developer.org

    Bilgisayarlı cebir sistemleri

    MATLAB
    Mathcad
    SageMath
    Maple
    SMath
    Studio
    Maxima
    Mathematica
    Reduce
    MuPAD
    Bilgisayarlı
    cebir
    sistemi
    Tüm liste
    Kaynak veriler bazında Yandex nöral ağları tarafından oluşturuldu; yanlışlıklar olabilir. Lütfen önemli bilgileri kontrol ediniz
    tr.wikipedia.org
    • © 2025 Yandex
    • Gizlilik politikası
    • Kullanıcı sözleşmesi
    • Hata bildir
    • Şirket hakkında
    {"3vms0":{"state":{"logoProps":{"url":"https://yandex.com.tr"},"formProps":{"action":"https://yandex.com.tr/search","searchLabel":"Bul"},"services":{"activeItemId":"yawiki","items":[{"url":"https://yandex.com.tr/gundem","title":"Gündem","id":"agenda"},{"url":"https://yandex.com.tr/yacevap","title":"YaCevap","id":"answers"},{"url":"https://yandex.com.tr/video/search?text=popüler+videolar","title":"Video","id":"video"},{"url":"https://yandex.com.tr/gorsel","title":"Görsel","id":"images"}]},"userProps":{"loggedIn":false,"ariaLabel":"Menü","plus":false,"birthdayHat":false,"child":false,"className":"PortalHeader-User"},"userIdProps":{"flag":"skin","lang":"tr","host":"yandex.com.tr","project":"yawiki","queryParams":{"utm_source":"portal-yawiki"},"retpath":"https%3A%2F%2Fyandex.com.tr%2Fyawiki%2Fsoftware%2Faxiom%2F0oCgpydXcxNzUxMTYwGATc7D4u%3Ftext%3Dyawiki%26lr%3D213%26ncrnd%3D7186","tld":"com.tr"},"suggestProps":{"selectors":{"form":".HeaderForm","input":".HeaderForm-Input","submit":".HeaderForm-Submit","clear":".HeaderForm-Clear","layout":".HeaderForm-InputWrapper"},"suggestUrl":"https://yandex.com.tr/suggest/suggest-ya.cgi?show_experiment=222&show_experiment=224","deleteUrl":"https://yandex.com.tr/suggest-delete-text?srv=web&text_to_delete=","suggestPlaceholder":"Yapay zeka ile bul","platform":"desktop","hideKeyboardOnScroll":false,"additionalFormClasses":["mini-suggest_theme_tile","mini-suggest_overlay_tile","mini-suggest_expanding_yes","mini-suggest_prevent-empty_yes","mini-suggest_type-icon_yes","mini-suggest_personal_yes","mini-suggest_type-icon_yes","mini-suggest_rich_yes","mini-suggest_overlay_dark","mini-suggest_large_yes","mini-suggest_copy-fact_yes","mini-suggest_clipboard_yes","mini-suggest_turboapp_yes","mini-suggest_expanding_yes","mini-suggest_affix_yes","mini-suggest_carousel_yes","mini-suggest_traffic_yes","mini-suggest_re-request_yes","mini-suggest_source_yes","mini-suggest_favicon_yes","mini-suggest_more","mini-suggest_long-fact_yes","mini-suggest_hide-keyboard_yes","mini-suggest_clear-on-submit_yes","mini-suggest_focus-on-change_yes","mini-suggest_short-fact_yes","mini-suggest_app_yes","mini-suggest_grouping_yes","mini-suggest_entity-suggest_yes","mini-suggest_redesigned-navs_yes","mini-suggest_title-multiline_yes","mini-suggest_type-icon-wrapped_yes","mini-suggest_fulltext-highlight_yes","mini-suggest_fulltext-insert_yes","mini-suggest_lines_multi"],"counter":{"service":"yawiki_com_tr_desktop","url":"//yandex.ru/clck/jclck","timeout":300,"params":{"dtype":"stred","pid":"0","cid":"2873"}},"noSubmit":false,"formAction":"https://yandex.com.tr/search","tld":"com.tr","suggestParams":{"srv":"serp_com_tr_desktop","wiz":"TrWth","yu":"1815061291750052126","lr":213,"uil":"tr","fact":1,"v":4,"use_verified":1,"safeclick":1,"skip_clickdaemon_host":1,"rich_nav":1,"verified_nav":1,"rich_phone":1,"use_favicon":1,"nav_favicon":1,"mt_wizard":1,"history":1,"nav_text":1,"maybe_ads":1,"icon":1,"hl":1,"n":10,"portal":1,"platform":"desktop","mob":0,"extend_fw":1,"suggest_entity_desktop":"1","entity_enrichment":"1","entity_max_count":"5"},"disableWebSuggest":false},"context":{"query":"","reqid":"1750052142996027-2110782280381810792-balancer-l7leveler-kubr-yp-vla-254-BAL","lr":"213"},"baobab":{"parentNode":{"context":{"genInfo":{"prefix":"3vmsw01-0-1"},"ui":"desktop","service":"yawiki","fast":{"name":"entitysearch","subtype":"header"}}}}},"type":"entitysearch","subtype":"header"},"3vms1":{"state":{"links":[{"id":"main","title":"Ana Sayfa","url":"/yawiki","target":"_self"},{"id":"people","title":"İnsanlar","url":"/yawiki/people","target":"_self"},{"id":"film","title":"Sinema","url":"/yawiki/film","target":"_self"},{"id":"geography","title":"Coğrafya","url":"/yawiki/geography","target":"_self"},{"id":"organization","title":"Kurum","url":"/yawiki/organization","target":"_self"},{"id":"science","title":"Bilim","url":"/yawiki/science","target":"_self"},{"id":"device","title":"Aygıt","url":"/yawiki/device","target":"_self"},{"id":"music","title":"Müzik","url":"/yawiki/music","target":"_self"},{"id":"software","title":"Yazılım","url":"/yawiki/software","target":"_self"},{"id":"organism","title":"Canlılar","url":"/yawiki/organism","target":"_self"},{"id":"medicine","title":"İlaç","url":"/yawiki/medicine","target":"_self"},{"id":"event","title":"Olay","url":"/yawiki/event","target":"_self"},{"id":"food","title":"Gida","url":"/yawiki/food","target":"_self"},{"id":"auto","title":"Otomobil","url":"/yawiki/auto","target":"_self"},{"id":"chemical_compound","title":"Kimyasal Bileşim","url":"/yawiki/chemical_compound","target":"_self"},{"id":"disease","title":"Hastalık","url":"/yawiki/disease","target":"_self"},{"id":"others","title":"Diğerleri","url":"/yawiki/others","target":"_self"}],"activeLinkId":"software","title":"Kategoriler","baobab":{"parentNode":{"context":{"genInfo":{"prefix":"3vmsw02-0-1"},"ui":"desktop","service":"yawiki","fast":{"name":"entitysearch","subtype":"header-categories"}}}}},"type":"entitysearch","subtype":"header-categories"},"3vms2":{"state":{"className":"YawikiEntity-Breadcrumbs","items":[{"name":"Yawiki","url":"//yandex.com.tr/yawiki"},{"name":"Yazılım","url":"//yandex.com.tr/yawiki/software"}],"baobab":{"parentNode":{"context":{"genInfo":{"prefix":"3vmsw03-0-1"},"ui":"desktop","service":"yawiki","fast":{"name":"entitysearch","subtype":"OBJECT"}}}}},"type":"entitysearch","subtype":"OBJECT"},"3vms3":{"state":{"baobab":{"parentNode":{"context":{"genInfo":{"prefix":"3vmsw03-0-2"},"ui":"desktop","service":"yawiki","fast":{"name":"entitysearch","subtype":"OBJECT"}}}}},"type":"entitysearch","subtype":"OBJECT"},"3vms4":{"state":{"title":{"search_request":"Axiom (bilgisayarlı cebir sistemi) bilgisayarlı cebir sistemleri","entref":"0oEhNydXcxNzUxMTYwOmN1c3RvbTowGAR6HkJpbGdpc2F5YXJsxLEgY2ViaXIgc2lzdGVtbGVyacLCSv0","text":"Bilgisayarlı cebir sistemleri","url":"//yandex.com.tr/search?text=Axiom%20%28bilgisayarl%C4%B1%20cebir%20sistemi%29%20bilgisayarl%C4%B1%20cebir%20sistemleri&noreask=1&ento=0oEhNydXcxNzUxMTYwOmN1c3RvbTowGAR6HkJpbGdpc2F5YXJsxLEgY2ViaXIgc2lzdGVtbGVyacLCSv0"},"logAttrs":{"subtype":"upper"},"items":[{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/69916/113308581/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/matlab/0oCghydXcxNjUwMxgE_huyfg","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw16503"},"index":0},"title":{"text":"MATLAB","lines":3,"maxLettersPerLine":9},"tooltipText":"MATLAB"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/5499684/551851459/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/mathcad/0oCglydXc5NTIxNTkYBP1rmIo","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw952159"},"index":1},"title":{"text":"Mathcad","lines":3,"maxLettersPerLine":9},"tooltipText":"Mathcad"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/1965934/611490076/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/sagemath/0oCgpydXcyMzE2OTY1GASEbW4b","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw2316965"},"index":2},"title":{"text":"SageMath","lines":3,"maxLettersPerLine":9},"tooltipText":"SageMath"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/8129943/601390076/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/maple/0oCglydXcxNTc2NDIYBNS8NN0","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw157642"},"index":3},"title":{"text":"Maple","lines":3,"maxLettersPerLine":9},"tooltipText":"Maple"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/5488405/551768693/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/smath_studio/0oCgpydXcxNTc0MDY5GAR8YiYP","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw1574069"},"index":4},"title":{"text":"SMath Studio","lines":3,"maxLettersPerLine":9},"tooltipText":"SMath Studio"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/135316/106502906/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/maxima/0oCglydXcxNzA2MDUYBOqwk5M","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw170605"},"index":5},"title":{"text":"Maxima","lines":3,"maxLettersPerLine":9},"tooltipText":"Maxima"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/5574192/551758356/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/mathematica/0oCglydXcyNDM1OTUYBM04TfA","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw243595"},"index":6},"title":{"text":"Mathematica","lines":3,"maxLettersPerLine":9},"tooltipText":"Mathematica"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/99532/1055215650/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"//yandex.com.tr/search?text=Reduce%20%28computer%20algebra%20system%29&noreask=1&ento=0oCgpydXc0OTgyOTAyEhNydXcxNzUxMTYwOmN1c3RvbTowGAR6HkJpbGdpc2F5YXJsxLEgY2ViaXIgc2lzdGVtbGVyaYVaJXQ","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw4982902"},"index":7},"title":{"text":"Reduce","lines":3,"maxLettersPerLine":9},"tooltipText":"Reduce"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/365997/295370722/S88x88FitScale_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/mupad/0oCgp0cnc0NDE3MDgzGATP1r7G","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"trw4417083"},"index":8},"title":{"text":"MuPAD","lines":3,"maxLettersPerLine":9},"tooltipText":"MuPAD"},{"thumb":{"width":88,"height":88,"image":"//avatars.mds.yandex.net/get-entity_search/50912/914801487/S88x88_2x","placeholder":"","hover":{"type":"fade"}},"url":"/yawiki/software/bilgisayarl%C4%B1_cebir_sistemi/0oCgpydXczMDc0Njk2GAREsdOx","logNodeAttrs":{"externalId":{"entity":"entity-collection","id":"ruw3074696"},"index":9},"title":{"text":"Bilgisayarlı cebir sistemi","lines":3,"maxLettersPerLine":9},"tooltipText":"Bilgisayarlı cebir sistemi"}],"list":{"scroller":{"arrowsAlignHeight":88},"type":"upper"},"more":{"text":"Tüm liste","logNode":{"name":"more","attrs":{"id":"ruw1751160:custom:0","type":"custom:0"}},"height":88,"url":"//yandex.com.tr/search?text=Axiom%20%28bilgisayarl%C4%B1%20cebir%20sistemi%29%20bilgisayarl%C4%B1%20cebir%20sistemleri&noreask=1&ento=0oEhNydXcxNzUxMTYwOmN1c3RvbTowGAR6HkJpbGdpc2F5YXJsxLEgY2ViaXIgc2lzdGVtbGVyacLCSv0"},"lazyLimit":6,"wrapInItem":false,"baobab":{"parentNode":{"context":{"genInfo":{"prefix":"3vmsw03-0-6"},"ui":"desktop","service":"yawiki","fast":{"name":"entitysearch","subtype":"OBJECT"}}}}},"type":"entitysearch","subtype":"OBJECT"},"3vms5":{"state":{"generalLinks":[{"id":"privacy-policy","text":"Gizlilik politikası","url":"https://yandex.com.tr/legal/privacy_policy/"},{"id":"terms-of-service","text":"Kullanıcı sözleşmesi","url":"https://yandex.com.tr/legal/tos/"},{"id":"report-error","text":"Hata bildir","url":"https://forms.yandex.com.tr/surveys/13748122.01a6645a1ef15703c9b82a7b6c521932ddc0e3f7/"},{"id":"about-company","text":"Şirket hakkında","url":"https://yandex.com.tr/project/portal/contacts/"}],"copyright":{"url":"https://yandex.com.tr","currentYear":2025},"socialLinks":[{"type":"tiktok","url":"https://redirect.appmetrica.yandex.com/serve/677728751613663494","title":"TikTok"},{"url":"https://redirect.appmetrica.yandex.com/serve/173325632992778150","type":"youtube","title":"Youtube"},{"url":"https://redirect.appmetrica.yandex.com/serve/677728793472889615","type":"facebook","title":"Facebook"},{"url":"https://redirect.appmetrica.yandex.com/serve/1182131906657966033","type":"instagram","title":"Instagram"},{"url":"https://redirect.appmetrica.yandex.com/serve/893945194569821080","type":"x","title":"X"}],"baobab":{"parentNode":{"context":{"genInfo":{"prefix":"3vmsw04-0-1"},"ui":"desktop","service":"yawiki","fast":{"name":"portal","subtype":"footer"}}}}},"type":"portal","subtype":"footer"}}